No TPTP formula. May not be expressible in strict first order. |
Food.kif 31-31 |
相關的內部概念 CookedAttribute and 生食 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 65-65 |
相關的內部概念 CuredAttribute and 生食 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 206-206 |
相關的內部概念 FermentedAttribute and 生食 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 155-155 |
相關的內部概念 HulledAttribute and 生食 |
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 |
|