5c14c1355d
Conflicts: productMods/WEB-INF/filegraph/tbox/geopolitical.tbox.ver1.1-11-18-11.owl productMods/WEB-INF/filegraph/tbox/isDefinedBy-1.5.owl productMods/WEB-INF/filegraph/tbox/scires-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-bibo-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-c4o-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-core-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-dcelements-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-dcterms-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-event-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-fabio-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-foaf-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-pws-1.5.owl productMods/WEB-INF/filegraph/tbox/vivo-skos-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/geopolitical.tbox.ver1.1-11-18-11.owl productMods/WEB-INF/ontologies/update/oldVersion/isDefinedBy-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/scires-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-bibo-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-c4o-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-core-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-dcelements-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-dcterms-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-event-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-fabio-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-foaf-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-pws-1.5.owl productMods/WEB-INF/ontologies/update/oldVersion/vivo-skos-1.5.owl productMods/templates/freemarker/body/partials/individual/individual-positions.ftl rdf/abox/filegraph/us-states.rdf rdf/tbox/filegraph/geopolitical.tbox.ver1.1-11-18-11.owl rdf/tbox/filegraph/isDefinedBy-1.5.owl rdf/tbox/filegraph/scires-1.5.owl rdf/tbox/filegraph/vivo-bibo-1.5.owl rdf/tbox/filegraph/vivo-c4o-1.5.owl rdf/tbox/filegraph/vivo-core-1.5.owl rdf/tbox/filegraph/vivo-dcelements-1.5.owl rdf/tbox/filegraph/vivo-dcterms-1.5.owl rdf/tbox/filegraph/vivo-event-1.5.owl rdf/tbox/filegraph/vivo-fabio-1.5.owl rdf/tbox/filegraph/vivo-foaf-1.5.owl rdf/tbox/filegraph/vivo-pws-1.5.owl rdf/tbox/filegraph/vivo-skos-1.5.owl
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#">
|
|
<owl:Ontology rdf:about="http://purl.obolibrary.org/obo/arg/object-properties.owl"/>
|
|
|
|
<!-- 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>
|