No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20367-20367 |
牛肉 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20372-20372 |
鸡肉 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2126-2126 |
CuredMeat 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15026-15026 |
蛋 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2588-2588 |
GoatMeat 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4952-4952 |
羔羊肉 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4957-4957 |
羊肉 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20374-20374 |
猪肉 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2028-2028 |
PoultryMeat 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1921-1921 |
海鲜 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4970-4970 |
小牛肉 是 meat 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4975-4975 |
水牛肉 是 meat 的 subclass |
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 |
|