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
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
a chair
@en
a heart
@en
a leg
@en