No TPTP formula. May not be expressible in strict first order. | Economy.kif 4277-4281 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4223-4227 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2175-2175 | Fruit e' uma sub-classe de Fruta ou Vegetal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2179-2179 | Apple e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2188-2188 | DateFruit e' uma sub-classe de Fruit |
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 2198-2198 | Berry e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2281-2281 | Avocado e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2286-2286 | Tomato e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2288-2288 | Grape e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2290-2290 | Melon e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2294-2294 | Olive e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2325-2325 | CitrusFruit e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2364-2364 | TropicalFruit e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2758-2758 | Peach e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3481-3481 | Strawberry e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3487-3487 | TamarindFruit e' uma sub-classe de Fruit |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4730-4730 | WineGrape e' uma sub-classe de Fruit |