| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14559-14559 | Insect is a subclass of arthropod |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1973-1973 | Lice is a subclass of insect |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12580-12580 | Ant insect is a subclass of insect |
| 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 12594-12594 | Caterpillar is a subclass of insect |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12625-12625 | Fly insect is a subclass of insect |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12628-12628 | Grasshopper is a subclass of insect |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12632-12632 | Moth is a subclass of insect |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12635-12635 | Mosquito is a subclass of insect |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12641-12641 | Queen insect is a subclass of insect |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12666-12666 | Worker insect is a subclass of insect |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2400-2400 | Butterfly is a subclass of insect |
|
|