| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4321-4321 | Edible tuber is a subclass of root vegetable |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4322-4322 | Potato tuber is a subclass of edible tuber |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4323-4323 | Sweet potato tuber is a subclass of edible tuber |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4324-4324 | Taro tuber is a subclass of edible tuber |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4325-4325 | Yam tuber is a subclass of edible tuber |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4326-4326 | Ginger is a subclass of edible tuber |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4328-4328 | Cassava is a subclass of edible tuber |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4487-4487 | Groundnut is a subclass of edible tuber |
|
|