| No TPTP formula. May not be expressible in strict first order. | Food.kif 2193-2193 | PearFruit est une sous-classe de Fruit |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2194-2194 | PearFruit est une sous-classe de FoodForFn animal |
|
|