No TPTP formula. May not be expressible in strict first order. | Food.kif 2193-2193 | PearFruit e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2194-2194 | PearFruit e' uma sub-classe de FoodForFn Animal |