No TPTP formula. May not be expressible in strict first order. |
WMD.kif 408-408 |
Insect is a biological agent carrier of yersinia pestis |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12608-12608 |
Ant insect is a subclass of insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12615-12615 |
Bee 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 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12622-12622 |
Caterpillar is a subclass of insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12653-12653 |
Fly insect is a subclass of insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12656-12656 |
Grasshopper is a subclass of insect |
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 12663-12663 |
Mosquito is a subclass of insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12660-12660 |
Moth is a subclass of insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12669-12669 |
Queen insect is a subclass of insect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12694-12694 |
Worker insect is a subclass of 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 |
|