No TPTP formula. May not be expressible in strict first order. |
Food.kif 31-31 |
CookedAttribute e' relacionado internamente por SUMO a RawAttribute |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 65-65 |
CuredAttribute e' relacionado internamente por SUMO a RawAttribute |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 206-206 |
FermentedAttribute e' relacionado internamente por SUMO a RawAttribute |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 155-155 |
HulledAttribute e' relacionado internamente por SUMO a RawAttribute |
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 |
|