No TPTP formula. May not be expressible in strict first order. | Economy.kif 4866-4866 | Orchid e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4867-4867 | Orchid e' uma sub-classe de Vine |