BFO
(
)
265 Axioms 39 Classes