No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4549-4549 |
Every tea tree oil is initially part of a tea tree |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4725-4725 |
TeaPlant is internally related to tea tree |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57185-57185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57184-57184 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57183-57183 |
|