|
|
  FermentedAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FermentedAttribute EnglishLanguage "FermentedAttribute describes how Fermentation is involved in the making of something.") | Food.kif 207-208 | |
| (instance FermentedAttribute PreparedFoodAttribute) | Food.kif 205-205 | FermentedAttribute ist ein fall von PreparedFoodAttribute %n{nicht} |
| (relatedInternalConcept FermentedAttribute RawAttribute) | Food.kif 206-206 | FermentedAttribute ist innerlich verwandt mit RawAttribute %n{nicht} |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept CuredAttribute FermentedAttribute) | Food.kif 64-64 | CuredAttribute ist innerlich verwandt mit FermentedAttribute %n{nicht} |
| (relatedInternalConcept HulledAttribute FermentedAttribute) | Food.kif 154-154 | HulledAttribute ist innerlich verwandt mit FermentedAttribute %n{nicht} |
| (termFormat EnglishLanguage FermentedAttribute "fermented") | Food.kif 209-209 |
| antecedent |
|
|
| (=> (attribute ?FOOD FermentedAttribute) (exists (?F) (and (instance ?F Fermentation) (result ?F ?FOOD)))) |
Food.kif 211-216 |
|
| consequent |
|
|
|
|
|