| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14583-14583 | Insecte est une sous-classe de arthropode |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1973-1973 | Louse est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12608-12608 | AntInsect est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12615-12615 | Bee est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12622-12622 | Caterpillar est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12653-12653 | FlyInsect est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12656-12656 | Grasshopper est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12660-12660 | Moth est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12663-12663 | Mosquito est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12669-12669 | QueenInsect est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12694-12694 | WorkerInsect est une sous-classe de insecte |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2400-2400 | Butterfly est une sous-classe de insecte |
|
|