No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1597-1597 |
Bird 是 衣原體鸚鵡熱 的病毒傳遞者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1673-1673 |
Bird 是 聖路易斯腦炎病毒 的病毒傳遞者 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2033-2033 |
PoultryMeat 是 Bird 的 meat |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1977-1977 |
parasitic Louse and Bird |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1988-1988 |
parasitic Tick and Bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20254-20254 |
子類 貓頭鷹 and Bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30436-30436 |
子類 Parrot and Bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20258-20258 |
子類 鴿子 and Bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20223-20223 |
子類 家禽 and Bird |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2049-2049 |
子類 QuailBird and Bird |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20261-20261 |
子類 禿鷲 and Bird |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 988-988 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1183-1183 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 665-665 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 199-199 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2349-2349 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 617-617 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 201-201 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 233-233 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 686-686 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 200-200 |
|