| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14559-14559 | Inseto e' uma sub-classe de Artropode |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1973-1973 | Louse e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12580-12580 | AntInsect e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12587-12587 | Bee e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12594-12594 | Caterpillar e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12625-12625 | FlyInsect e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12628-12628 | Grasshopper e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12632-12632 | Moth e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12635-12635 | Mosquito e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12641-12641 | QueenInsect e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12666-12666 | WorkerInsect e' uma sub-classe de Inseto |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2400-2400 | Butterfly e' uma sub-classe de Inseto |
|
|