Julius Caesar @en | |||
Verdi’s Requiem @en | |||
the Second World War @en | |||
your body mass index @en | |||
BFO 2 Reference: In all areas ...... alled ‘specializations’ in [81 @en | |||
Entity doesn't have a closure ...... pers/CeustersICbookRevised.pdf @en | |||
An entity is anything that exi ...... in BFO2 Reference: [001-001]) @en | |||
entity @en | |||
continuant | |||
Continuant | |||
BFO 2 Reference: Continuant en ...... is a continuant.’ [60, p. 240 @en | |||
Continuant doesn't have a clos ...... her universals are continuants @en | |||
A continuant is an entity that ...... in BFO2 Reference: [008-002]) @en | |||
if b is a continuant and if, f ...... in BFO2 Reference: [126-001]) @en | |||
if b is a continuant and if, f ...... in BFO2 Reference: [009-002]) @en | |||
if b is a material entity, the ...... in BFO2 Reference: [011-002]) @en | |||
(forall (x y) (if (and (Contin ...... label in BFO2 CLIF: [009-002] | |||
(forall (x y) (if (and (Contin ...... label in BFO2 CLIF: [126-001] | |||
(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] | |||
(forall (x) (if (Material Enti ...... label in BFO2 CLIF: [011-002] | |||
continuant @en | |||
BFO 2 Reference: every occurre ...... t that is not a spatial region @en | |||
BFO 2 Reference: s-dependence ...... n on only some of the players. @en | |||
Occurrent doesn't have a closu ...... s boundary of another process. @en | |||
Simons uses different terminol ...... omitting mention of the frame. | |||
An occurrent is an entity that ...... in BFO2 Reference: [077-002]) @en | |||
Every occurrent occupies_spati ...... in BFO2 Reference: [108-001]) @en | |||
b is an occurrent entity iff b ...... in BFO2 Reference: [079-001]) @en | |||
(forall (x) (if (Occurrent x) ...... label in BFO2 CLIF: [108-001] | |||
(forall (x) (iff (Occurrent x) ...... label in BFO2 CLIF: [079-001] | |||
occurrent @en | |||
IndependentContinuant | |||
a chair @en | |||
a heart @en | |||
a leg @en |