No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20366-20366 |
Beef e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20371-20371 |
ChickenMeat e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2126-2126 |
CuredMeat e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15048-15048 |
Egg e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2588-2588 |
GoatMeat e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4952-4952 |
LambMeat e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4957-4957 |
Mutton e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20373-20373 |
Pork e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2028-2028 |
PoultryMeat e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1921-1921 |
Seafood e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4970-4970 |
Veal e' uma sub-classe de Carne |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4975-4975 |
WaterBuffaloMeat e' uma sub-classe de Carne |
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 |
|