| appearance as argument number 1 |
|
| (documentation Jam EnglishLanguage "Jam are Fruit preserves which are preparations of fruits whose main preserving agent is sugar and sometimes acid, often stored in glass jars and used as a condiment or spread.[Wikipedia]") | Food.kif 1750-1752 | |
| (initialPart Jam Fruit) | Food.kif 1754-1754 | |
| (subclass Jam Colloid) | Food.kif 1749-1749 | |
| (subclass Jam PreparedFood) | Food.kif 1748-1748 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Jam "jam") | Food.kif 1753-1753 |
| antecedent |
|
|
| (=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast)) |
Food.kif 1731-1746 | |
| (=> (instance ?J Jam) (attribute ?J CookedAttribute)) |
Food.kif 1756-1758 | |
| (=> (instance ?J Jam) (exists (?B ?F ?S) (and (instance ?B Boiling) (patient ?B ?F) (instance ?F Fruit) (patient ?B ?S) (instance ?S Sugar) (result ?B ?J)))) |
Food.kif 1760-1769 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners