No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4549-4549 |
initialPart TeaTreeOil and TeaTree |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4725-4725 |
TeaPlant est reli� � l'int�rieur de SUMO � TeaTree |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57183-57183 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57182-57182 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57181-57181 |
|