No TPTP formula. May not be expressible in strict first order. | Economy.kif 4486-4486 | Groundnut is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4487-4487 | Groundnut is a subclass of edible tuber |