No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4598-4598 |
Coffee plant is a subclass of shrub |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6270-6270 |
Lilac is a subclass of shrub |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4724-4724 |
TeaPlant is a subclass of shrub |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4551-4551 |
Tea tree is a subclass of 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 |
|