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 | WineGrape est une sous-classe de FoodForFn animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3690-3690 | WineGrape est une sous-classe de Grape |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4730-4730 | WineGrape est une sous-classe de Fruit |