No TPTP formula. May not be expressible in strict first order. | Economy.kif 4321-4321 | EdibleTuber e' uma sub-classe de RootVegetable |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4322-4322 | PotatoTuber e' uma sub-classe de EdibleTuber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4323-4323 | SweetPotatoTuber e' uma sub-classe de EdibleTuber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4324-4324 | TaroTuber e' uma sub-classe de EdibleTuber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4325-4325 | YamTuber e' uma sub-classe de EdibleTuber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4326-4326 | Ginger e' uma sub-classe de EdibleTuber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4328-4328 | Cassava e' uma sub-classe de EdibleTuber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4487-4487 | Groundnut e' uma sub-classe de EdibleTuber |