No TPTP formula. May not be expressible in strict first order. | Food.kif 2281-2281 | Avocado est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2282-2282 | Avocado est une sous-classe de FoodForFn animal |
![]() |