No TPTP formula. May not be expressible in strict first order. | Economy.kif 4732-4735 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3689-3689 | Wine grape is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3690-3690 | Wine grape is a subclass of grape |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4730-4730 | Wine grape is a subclass of fruit |