has continuant part at some time
[copied from inverse property 'part of continuant at some time'] 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 some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'part of continuant@en'(x,y,t)
[copied from inverse property 'part of continuant at some time'] 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])
(iff (hasContinuantPartAt a b t) (continuantPartOfAt b a t)) // axiom label in BFO2 CLIF: [006-001]
[copied from inverse property 'part of continuant at some time'] Mary’s arm continuant_part_of Mary in the time of her life prior to her operation
c-has-part_st
Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'has continuant part at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'has continuant part@en'(x,y,t)
[copied from inverse property 'part of continuant at some time'] BFO2 Reference: continuant
[copied from inverse property 'part of continuant at some time'] 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.
[copied from inverse property 'part of continuant at some time'] BFO2 Reference: continuantThe range for ‘t’ (as in all cases throughout this document unless otherwise specified) is: temporal region.
hasContinuantPartAt
[copied from inverse property 'part of continuant at some time'] 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])
[copied from inverse property 'part of continuant at some time'] the Northern hemisphere of the planet Earth is a part of the planet Earth at all times at which the planet Earth exists.
b has_continuant_part c at t = Def. c continuant_part_of b at t. (axiom label in BFO2 Reference: [006-001])
continuant
continuant