No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20394-20394 |
子類 牛肉 and Meat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20399-20399 |
子類 雞肉 and Meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2126-2126 |
子類 CuredMeat and Meat |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15072-15072 |
子類 蛋 and Meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2588-2588 |
子類 GoatMeat and Meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4952-4952 |
子類 羔羊肉 and Meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4957-4957 |
子類 羊肉 and Meat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20401-20401 |
子類 豬肉 and Meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2028-2028 |
子類 PoultryMeat and Meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1921-1921 |
子類 海鮮 and Meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4970-4970 |
子類 小牛肉 and Meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4975-4975 |
子類 水牛肉 and Meat |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1013-1013 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1238-1238 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 691-691 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 222-222 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 225-225 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2374-2374 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 643-643 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 227-227 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 260-260 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 712-712 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 226-226 |
|