No TPTP formula. May not be expressible in strict first order. |
Food.kif 31-31 |
CookedAttribute 和 生食 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 65-65 |
CuredAttribute 和 生食 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 206-206 |
FermentedAttribute 和 生食 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 155-155 |
HulledAttribute 和 生食 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48818-48818 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48817-48817 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48816-48816 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 49-49 |
|