FoodFromPlant
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 295-296 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | Food from plant is a subclass of food |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 292-292 | Meat is disjoint from food from plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4307-4307 | Cereal starch is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4625-4625 | Coffee bean is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1029-1029 | Coffee grind is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4469-4469 | Edible nut is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1470-1470 | Flour is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4149-4149 | Grain is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3323-3323 | Raisin is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4312-4312 | Root starch is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4360-4360 | Spice is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3509-3509 | Tofu is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4556-4556 | Vegetable oil is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Food.kif 297-297 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 |
|