No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6193-6193 |
industryProductType FruitFarming and Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1754-1754 |
initialPart Jam and Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2179-2179 |
Apple est une sous-classe de Fruit |
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 2198-2198 |
Berry est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2325-2325 |
CitrusFruit est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2188-2188 |
DateFruit est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2288-2288 |
Grape est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2290-2290 |
Melon est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2294-2294 |
Olive est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2758-2758 |
Peach est une sous-classe de Fruit |
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 3481-3481 |
Strawberry est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3487-3487 |
TamarindFruit est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2286-2286 |
Tomato est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2364-2364 |
TropicalFruit est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4730-4730 |
WineGrape est une sous-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25112-25112 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25111-25111 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25110-25110 |
|