_:b665079264 . _:b665079264 . _:b665079264 . _:b665079264 . _:b665079264 "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " . _:b665079264 . _:b665079264 .