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