| RawAttribute(raw food)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 47-48 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 911-911 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 46-46 | Raw food is an instance of prepared food attribute |
| appearance as argument number 2 |
|
|
| 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 48851-48851 | HulledAttribute is internally related to raw food |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48850-48850 | HulledAttribute is internally related to raw food |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48849-48849 | HulledAttribute is internally related to raw food |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 49-49 | HulledAttribute is internally related to raw food |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 51-53 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 55-61 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1605-1607 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1485-1487 |
|
|
|