No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4598-4598 |
CoffeePlant est une sous-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6270-6270 |
Lilac est une sous-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4724-4724 |
TeaPlant est une sous-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4551-4551 |
TeaTree est une sous-classe de Shrub |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52882-52882 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52881-52881 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52880-52880 |
|