No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12587-12587 | Bee is a subclass of insect |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12591-12591 | Bumble bee is a subclass of bee |
![]() |