@prefix : .
@prefix dc: .
@prefix dct: .
@prefix owl: .
@prefix rdf: .
@prefix xml: .
@prefix xsd: .
@prefix foaf: .
@prefix rdfs: .
@prefix skos: .
@prefix time: .
@base .
rdf:type owl:Ontology ;
owl:versionIRI ;
rdfs:seeAlso ;
dc:contributor "Mathias Brochhausen" ;
"BFO 2 Reference: BFO does not claim to be a complete coverage of all entities. It seeks only to provide coverage of those entities studied by empirical science together with those entities which affect or are involved in human activities such as data processing and planning – coverage that is sufficiently broad to provide assistance to those engaged in building domain ontologies for purposes of data annotation [17" ;
dc:contributor "Ron Rudnicki" ,
"Janna Hastings" ,
"Leonard Jacuzzo" ,
"Randall Dipert" ,
"Barry Smith" ,
"Stefan Schulz" ,
"Larry Hunter" ,
"Werner Ceusters" ;
rdfs:seeAlso ;
rdfs:isDefinedBy ;
dc:contributor "Jonathan Bona" ,
"Robert Rovetto" ,
"Albert Goldfain" ,
"Yongqun \"Oliver\" He" ,
"Melanie Courtot" ,
"Bjoern Peters" ,
"Alan Ruttenberg" ,
"Bill Duncan" ,
"Ludger Jansen" ;
rdfs:seeAlso ;
dc:contributor "Thomas Bittner" ;
rdfs:seeAlso ;
dc:contributor "Chris Mungall" ,
"Jie Zheng" ,
"Mauricio Almeida" ,
"Mark Ressler" ;
rdfs:seeAlso ;
rdfs:comment """The http://purl.obolibary.org/obo/bfo/classes-only.owl variant of BFO (\"bfo_classes_only.owl\") includes only the class hierarchy and annotations from the full OWL version of BFO 2: http://purl.obolibary.org/obo/bfo.owl (\"bfo.owl\"). There are no object properties or logical axioms that use the object properties in bfo_classes_only.owl. As the logical axioms in the bfo_classes_only.owl variant are limited to subclass and disjoint assertions they are much weaker than the logical axioms in bfo.owl.
If you plan to use the relations that define BFO 2, you should import bfo.owl instead of bfo_classes_only.owl. To the extent that the relations are used without importing bfo.owl, be mindful that they should be used in a manner consistent with their use in bfo.owl. Otherwise if your ontology is imported by a another ontology that imports bfo.owl there may be inconsistencies.
See the BFO 2 release notes for further information about BFO 2. Please note that the current release of bfo.owl uses temporal relations when the subject or object is a continuant, a major change from BFO 1.""" ,
"This is an early version of BFO version 2 and has not yet been extensively reviewed by the project team members. Please see the project site http://code.google.com/p/bfo/ , the bfo2 owl discussion group http://groups.google.com/group/bfo-owl-devel , the bfo2 discussion group http://groups.google.com/group/bfo-devel, the tracking google doc http://goo.gl/IlrEE, and the current version of the bfo2 reference http://purl.obolibrary.org/obo/bfo/dev/bfo2-reference.docx . This ontology is generated from a specification at http://bfo.googlecode.com/svn/trunk/src/ontology/owl-group/specification/ and with the code that generates the OWL version in http://bfo.googlecode.com/svn/trunk/src/tools/. A very early version of BFO version 2 in CLIF is at http://purl.obolibrary.org/obo/bfo/dev/bfo.clif" ;
dc:contributor "David Osumi-Sutherland" ,
"Pierre Grenon" ;
rdfs:isDefinedBy ;
dc:contributor "James A. Overton" ,
"Fabian Neuhaus" ;
"BFO 2 Reference: BFO’s treatment of continuants and occurrents – as also its treatment of regions, rests on a dichotomy between space and time, and on the view that there are two perspectives on reality – earlier called the ‘SNAP’ and ‘SPAN’ perspectives, both of which are essential to the non-reductionist representation of reality as we understand it from the best available science [30" ;
rdfs:isDefinedBy ;
"BFO 2 Reference: For both terms and relational expressions in BFO, we distinguish between primitive and defined. ‘Entity’ is an example of one such primitive term. Primitive terms in a highest-level ontology such as BFO are terms that are so basic to our understanding of reality that there is no way of defining them in a non-circular fashion. For these, therefore, we can provide only elucidations, supplemented by examples and by axioms." ;
dct:license ;
rdfs:isDefinedBy .
#################################################################
#
# Annotation properties
#
#################################################################
### http://purl.obolibrary.org/obo/BFO_0000179
rdf:type owl:AnnotationProperty ;
"Relates an entity in the ontology to the name of the variable that is used to represent it in the code that generates the BFO OWL file from the lispy specification." ;
"Really of interest to developers only" ;
rdfs:label "BFO OWL specification label" ;
rdfs:subPropertyOf rdfs:label .
### http://purl.obolibrary.org/obo/BFO_0000180
rdf:type owl:AnnotationProperty ;
"Relates an entity in the ontology to the term that is used to represent it in the the CLIF specification of BFO2" ;
"Person:Alan Ruttenberg" ;
"Really of interest to developers only" ;
rdfs:label "BFO CLIF specification label" ;
rdfs:subPropertyOf rdfs:label .
### http://purl.obolibrary.org/obo/IAO_0000112
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "example of usage" .
### http://purl.obolibrary.org/obo/IAO_0000115
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "definition" .
### http://purl.obolibrary.org/obo/IAO_0000116
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "editor note" .
### http://purl.obolibrary.org/obo/IAO_0000117
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "term editor" .
### http://purl.obolibrary.org/obo/IAO_0000118
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "alternative term" .
### http://purl.obolibrary.org/obo/IAO_0000119
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "definition source" .
### http://purl.obolibrary.org/obo/IAO_0000232
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "curator note" .
### http://purl.obolibrary.org/obo/IAO_0000412
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "imported from" .
### http://purl.obolibrary.org/obo/IAO_0000600
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "elucidation" .
### http://purl.obolibrary.org/obo/IAO_0000601
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "has associated axiom(nl)" .
### http://purl.obolibrary.org/obo/IAO_0000602
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "has associated axiom(fol)" .
### http://purl.obolibrary.org/obo/IAO_0010000
rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy ;
rdfs:label "has axiom label" .
### http://www.w3.org/2000/01/rdf-schema#isDefinedBy
rdfs:isDefinedBy rdf:type owl:AnnotationProperty .
### http://www.w3.org/2000/01/rdf-schema#seeAlso
rdfs:seeAlso rdf:type owl:AnnotationProperty .
### http://www.w3.org/2004/02/skos/core#altLabel
skos:altLabel rdf:type owl:AnnotationProperty .
### http://www.w3.org/2004/02/skos/core#definition
skos:definition rdf:type owl:AnnotationProperty .
### http://www.w3.org/2004/02/skos/core#example
skos:example rdf:type owl:AnnotationProperty .
### http://www.w3.org/2004/02/skos/core#prefLabel
skos:prefLabel rdf:type owl:AnnotationProperty .
### http://www.w3.org/2004/02/skos/core#scopeNote
skos:scopeNote rdf:type owl:AnnotationProperty .
#################################################################
#
# Object Properties
#
#################################################################
### http://xmlns.com/foaf/0.1/homepage
foaf:homepage rdf:type owl:ObjectProperty .
### http://xmlns.com/foaf/0.1/mbox
foaf:mbox rdf:type owl:ObjectProperty .
#################################################################
#
# Data properties
#
#################################################################
### http://xmlns.com/foaf/0.1/name
foaf:name rdf:type owl:DatatypeProperty .
#################################################################
#
# Classes
#
#################################################################
### http://purl.obolibrary.org/obo/BFO_0000001
rdf:type owl:Class ;
"entity" ;
"Entity" ;
"Julius Caesar"@en ,
"Verdi’s Requiem"@en ,
"the Second World War"@en ,
"your body mass index" ;
"BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81"@en ,
"Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf" ;
"An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])" ;
rdfs:isDefinedBy ;
rdfs:label "entity" ;
skos:definition "An entity is anything that exists or has existed or will exist. [BFO]" ;
skos:prefLabel "entity" .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf" ;
;
rdfs:comment "per discussion with Barry Smith" ;
rdfs:seeAlso
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])" ;
] .
### http://purl.obolibrary.org/obo/BFO_0000002
rdf:type owl:Class ;
rdfs:subClassOf ;
owl:disjointWith ;
"continuant" ;
"Continuant" ;
"BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240"@en ,
"Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants" ;
"A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])" ;
"if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])" ,
"if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])"@en ,
"if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])" ,
"if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])"@en ,
"if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])" ;
"(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] " ,
"(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " ,
"(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " ,
"(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " ;
rdfs:isDefinedBy ;
rdfs:label "continuant" ;
skos:definition "A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. [BFO]" ;
skos:prefLabel "continuant" .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] " ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " ;
] .
### http://purl.obolibrary.org/obo/BFO_0000003
rdf:type owl:Class ;
rdfs:subClassOf ;
"occurrent" ;
"Occurrent" ;
"BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region"@en ,
"BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players."@en ,
"Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process." ,
"Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process."@en ,
"Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame." ;
"An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])" ;
"Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])" ,
"Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])"@en ,
"b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])" ;
"(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] " ,
"(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] " ;
rdfs:isDefinedBy ;
rdfs:label "occurrent" ;
skos:definition "An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies a temporal region or occupies a spatiotemporal region. [BFO]" ;
skos:prefLabel "occurrent" .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process." ;
;
rdfs:comment "per discussion with Barry Smith"
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame." ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] " ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] " ;
] .
### http://purl.obolibrary.org/obo/BFO_0000004
rdf:type owl:Class ;
rdfs:subClassOf ;
owl:disjointWith ,
;
"ic" ;
"IndependentContinuant" ;
"a chair"@en ,
"a heart"@en ,
"a leg"@en ,
"a molecule"@en ,
"a spatial region"@en ,
"an atom"@en ,
"an orchestra."@en ,
"an organism"@en ,
"the bottom right portion of a human torso"@en ,
"the interior of your mouth" ;
"b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])" ;
"For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])" ,
"For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])"@en ,
"For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])" ;
"(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] " ,
"(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] " ,
"(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " ;
rdfs:isDefinedBy ;
rdfs:label "independent continuant" ;
skos:definition "b is an independent continuant if b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. [BFO]" ;
skos:prefLabel "independent continuant" .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] " ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] " ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " ;
] .
### http://purl.obolibrary.org/obo/BFO_0000006
rdf:type owl:Class ;
rdfs:subClassOf ;
owl:disjointWith ,
;
"s-region" ;
"SpatialRegion" ;
"BFO 2 Reference: Spatial regions do not participate in processes."@en ,
"Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional." ;
"A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])" ;
"All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])" ;
"(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] " ,
"(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " ;
rdfs:isDefinedBy ;
rdfs:label "spatial region" ;
skos:definition "A spatial region is a continuant entity that is a continuant part of space R as defined relative to some frame R. [BFO]" ;
skos:prefLabel "spatial region" .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional." ;
;
rdfs:comment "per discussion with Barry Smith"
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] " ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " ;
] .
### http://purl.obolibrary.org/obo/BFO_0000008
rdf:type owl:Class ;
rdfs:subClassOf ;
owl:disjointWith ,
,
;
"t-region" ;
"TemporalRegion" ;
"Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional" ;
"A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])" ;
"All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])" ,
"All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])"@en ,
"Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])" ;
"(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] " ,
"(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] " ,
"(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " ;
rdfs:isDefinedBy ;
rdfs:label "temporal region" ;
skos:definition "A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. [BFO]" ;
skos:prefLabel "temporal region" .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional" ;
;
rdfs:comment "per discussion with Barry Smith"
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])" ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource ;
owl:annotatedProperty ;
owl:annotatedTarget "(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] " ;
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource