No TPTP formula. May not be expressible in strict first order. |
WMD.kif 408-408 |
Insect 是 鼠疫耶爾森氏菌 的病毒傳遞者 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12581-12581 |
子類 螞蟻昆蟲 and Insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12588-12588 |
子類 蜜蜂 and Insect |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2400-2400 |
子類 Butterfly and Insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12595-12595 |
子類 Caterpillar and Insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12626-12626 |
子類 飛蟲 and Insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12629-12629 |
子類 蚱蜢 and Insect |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1973-1973 |
子類 Louse and Insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12636-12636 |
子類 Mosquito and Insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12633-12633 |
子類 蛾 and Insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12642-12642 |
子類 女王崑蟲 and Insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12667-12667 |
子類 工人昆蟲 and Insect |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 983-983 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1173-1173 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 660-660 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 191-191 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 194-194 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2344-2344 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 612-612 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 228-228 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 681-681 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 195-195 |
|