No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4549-4549 |
%每个 TeaTreeOil 是 茶树 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4725-4725 |
TeaPlant 和 茶树 是 内部相关 |
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 |
|