No TPTP formula. May not be expressible in strict first order. | Economy.kif 4486-4486 | Groundnut e' uma sub-classe de Fruta ou Vegetal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4487-4487 | Groundnut e' uma sub-classe de EdibleTuber |
![]() |