(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]