No TPTP formula. May not be expressible in strict first order. |
Food.kif 31-31 |
Cooked is internally related to raw food |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 65-65 |
Cured is internally related to raw food |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 206-206 |
Fermented is internally related to raw food |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 155-155 |
HulledAttribute is internally related to raw food |
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 |
|