No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4712-4712 |
花茶 是 茶树空中部分 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4711-4711 |
茶叶 是 茶树空中部分 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4713-4713 |
茎茶 是 茶树空中部分 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57177-57177 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57176-57176 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57175-57175 |
|