| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14559-14559 | 昆虫 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1973-1973 | Louse 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12580-12580 | 蚂蚁昆虫 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12587-12587 | 蜜蜂 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12594-12594 | Caterpillar 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12625-12625 | 飞虫 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12628-12628 | 蚱蜢 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12632-12632 | 蛾 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12635-12635 | Mosquito 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12641-12641 | 女王昆虫 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12666-12666 | 工人昆虫 是 昆虫 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2400-2400 | Butterfly 是 昆虫 的 subclass |
|
|