45 lines
3.8 KiB
Text
45 lines
3.8 KiB
Text
|
<?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 -->
|
||
|
|
<rdfs:label xml:lang="en">realized in</rdfs:label>
|
||
|
|
<!-- 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 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& 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 -->
|
||
|
|
<rdfs:label xml:lang="en">realizes</rdfs:label>
|
||
|
|
<!-- 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 & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& 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>
|