No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4328-4328 |
木薯 是 食用块茎 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4326-4326 |
生姜 是 食用块茎 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4487-4487 |
花生 是 食用块茎 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4322-4322 |
马铃薯块茎 是 食用块茎 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4323-4323 |
甘薯块茎 是 食用块茎 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4324-4324 |
芋头块茎 是 食用块茎 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4325-4325 |
山药块茎 是 食用块茎 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21240-21240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21239-21239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21238-21238 |
|