No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20367-20367 |
Beef is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20372-20372 |
Chicken meat is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2126-2126 |
Cured meat is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15026-15026 |
Egg is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2588-2588 |
Goat meat is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4952-4952 |
Lamb meat is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4957-4957 |
Mutton is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20374-20374 |
Pork is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2028-2028 |
Poultry is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1921-1921 |
Seafood is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4970-4970 |
Veal is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4975-4975 |
Water buffalo meat is a subclass of 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 |
|