Object Property: 'has continuant part at all times that part exists'
http://purl.obolibrary.org/obo/BFO_0000187
Annotations (13)
-
'BFO OWL specification label' "c-has-part-object_at" ()
-
'example of usage' "[copied from inverse property 'part of continuant at all times'] Mary’s arm continuant_part_of Mary in the time of her life prior to her operation" ()
-
'example of usage' "[copied from inverse property 'part of continuant at all times'] the Northern hemisphere of the planet Earth is a part of the planet Earth at all times at which the planet Earth exists." ()
-
definition "forall(t) exists_at(y,t) -> exists_at(x,t) and 'has continuant part'(x,y,t)" ()
-
'editor note' "This is a binary version of a ternary time-indexed, instance level, relation. Unlike the rest of the temporalized relations which temporally quantify over existence of the subject of the relation, this relation temporally quantifies over the existence of the object of the relation. The relation is provided tentatively, to assess whether the GO needs such a relation. It is inverse of 'part of continuant at all times'" ()
-
'editor note' "[copied from inverse property 'part of continuant at all times'] Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'part of continuant at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'part of continuant@en(x,y,t)'." ()
-
'editor note' "[copied from inverse property 'part of continuant at all times'] BFO 2 Reference: Immaterial entities are in some cases continuant parts of their material hosts. Thus the hold of a ship, for example, is a part of the ship; it may itself have parts, which may have names (used for example by ship stow planners, customs inspectors, and the like). Immaterial entities under both 1. and 2. can be of zero, one, two or three dimensions. We define:a(immaterial entity)[Definition: a is an immaterial entity = Def. a is an independent continuant that has no material entities as parts. (axiom label in BFO2 Reference: [028-001])" ()
-
'editor note' "[copied from inverse property 'part of continuant at all times'] BFO 2 Reference: a (continuant or occurrent) part of itself. We appreciate that this is counterintuitive for some users, since it implies for example that President Obama is a part of himself. However it brings benefits in simplifying the logical formalism, and it captures an important feature of identity, namely that it is the limit case of mereological inclusion." ()
-
'editor note' "[copied from inverse property 'part of continuant at all times'] BFO2 Reference: continuant" ()
-
'editor note' "[copied from inverse property 'part of continuant at all times'] BFO2 Reference: continuantThe range for ‘t’ (as in all cases throughout this document unless otherwise specified) is: temporal region." ()
-
elucidation "[copied from inverse property 'part of continuant at all times'] b continuant_part_of c at t =Def. b is a part of c at t & t is a time & b and c are continuants. (axiom label in BFO2 Reference: [002-001])" ()
-
isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
-
label "has continuant part at all times that part exists" (en)
Property Characteristics (1)
-
Transitive ('has continuant part at all times that part exists')'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/501
Domains (1)
Ranges (1)
Inverses (1)
Superproperties (1)
Usage (13)