No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4598-4598 |
CoffeePlant e' uma sub-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6270-6270 |
Lilac e' uma sub-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4724-4724 |
TeaPlant e' uma sub-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4551-4551 |
TeaTree e' uma sub-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52880-52880 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52879-52879 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52878-52878 |
|