expand assertion to leaf node


URI

http://purl.obolibrary.org/obo/IAO_0000425

Label

expand assertion to

Description

A macro expansion tag applied to an annotation property which can be expanded into a more detailed axiom.

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) expand assertion to owl:Thing (inferred)

Implementation

@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

obo:IAO_0000425 a owl:AnnotationProperty ;
    rdfs:label "expand assertion to"@en ;
    obo:IAO_0000111 "expand assertion to"@en ;
    obo:IAO_0000112 """ObjectProperty: RO???
Label: spatially disjoint from
Annotations: expand_assertion_to "DisjointClasses: (http://purl.obolibrary.org/obo/BFO_0000051 some ?X)  (http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)"
"""@en ;
    obo:IAO_0000117 "Chris Mungall"@en ;
    rdfs:isDefinedBy <http://purl.bioontology.org/ontology/emro/imports/omo_import.owl> ;
    skos:definition "A macro expansion tag applied to an annotation property which can be expanded into a more detailed axiom."@en .