vivo/rdf/tbox/filegraph/object-properties2.owl

<?xml version="1.0"?>
<rdf:RDF xmlns="http://purl.obolibrary.org/obo/arg/object-properties.owl#"
     xml:base="http://purl.obolibrary.org/obo/arg/object-properties.owl"
     xmlns:obo="http://purl.obolibrary.org/obo/"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:ns="http://www.w3.org/2003/06/sw-vocab-status/ns#"
     xmlns:skos2="http://www.w3.org/2008/05/skos#"
     xmlns:vitro="http://vitro.mannlib.cornell.edu/ns/vitro/0.7#"
     xmlns:terms="http://purl.org/dc/terms/"
     xmlns:geopolitical="http://aims.fao.org/aos/geopolitical.owl#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">

<!-- http://purl.obolibrary.org/obo/BFO_0000054 -->

    <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000054"><!-- realized in -->

        <!-- has associated axiom(fol) --><obo:IAO_0000602>(forall (x y z t) (if (and (RealizableEntity x) (Process y) (realizesAt y x t) (bearerOfAt z x t)) (hasParticipantAt y z t))) // axiom label in BFO2 CLIF: [106-002] </obo:IAO_0000602>
        <!-- elucidation --><obo:IAO_0000600>[copied from inverse property &apos;realizes&apos;] to say that b realizes c at t is to assert that there is some material entity d &amp; b is a process which has participant d at t &amp; c is a disposition or role of which d is bearer_of at t&amp; the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])</obo:IAO_0000600>
        <!-- has associated axiom(nl) --><obo:IAO_0000601 xml:lang="en">if a realizable entity b is realized in a process p, then p stands in the has_participant relation to the bearer of b. (axiom label in BFO2 Reference: [106-002])</obo:IAO_0000601>
        <!-- BFO OWL specification label --><obo:BFO_0000179>realized-in</obo:BFO_0000179>
        <!-- BFO CLIF specification label --><obo:BFO_0000180>realizedIn</obo:BFO_0000180>
        <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/><!-- process -->
        <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/><!-- realizable entity -->
        <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    </owl:ObjectProperty>


    <!-- http://purl.obolibrary.org/obo/BFO_0000055 -->

    <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000055"><!-- realizes -->

        <!-- has associated axiom(fol) --><obo:IAO_0000602>(forall (x y t) (if (realizesAt x y t) (and (Process x) (or (Disposition y) (Role y)) (exists (z) (and (MaterialEntity z) (hasParticipantAt x z t) (bearerOfAt z y t)))))) // axiom label in BFO2 CLIF: [059-003] </obo:IAO_0000602>
        <!-- BFO OWL specification label --><obo:BFO_0000179>realizes</obo:BFO_0000179>
        <!-- BFO CLIF specification label --><obo:BFO_0000180>realizes</obo:BFO_0000180>
        <!-- elucidation --><obo:IAO_0000600 xml:lang="en">to say that b realizes c at t is to assert that there is some material entity d &amp; b is a process which has participant d at t &amp; c is a disposition or role of which d is bearer_of at t&amp; the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])</obo:IAO_0000600>
        <rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/><!-- process -->
        <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/><!-- realizable entity -->
        <owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000054"/><!-- realized in -->
        <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    </owl:ObjectProperty>

</rdf:RDF>