No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6193-6193 |
Fruit is an industry product type of fruit farming |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1754-1754 |
Every jam is initially part of a fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2179-2179 |
Apple is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2281-2281 |
Avocado is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2198-2198 |
Berry is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2325-2325 |
Citrus fruit is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2188-2188 |
Date fruit is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2288-2288 |
Grape is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2290-2290 |
Melon is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2294-2294 |
Olive is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2758-2758 |
Peach is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2193-2193 |
Pear fruit is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3481-3481 |
Strawberry is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3487-3487 |
Tamarind fruit is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2286-2286 |
Tomato is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2364-2364 |
Tropical fruit is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4730-4730 |
Wine grape is a subclass of 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 |
|