| 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 1756-1758 | |
| (initialPart Jam Fruit) | Food.kif 1760-1760 | |
| (subclass Jam Colloid) | Food.kif 1755-1755 | |
| (subclass Jam PreparedFood) | Food.kif 1754-1754 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Jam "jam") | Food.kif 1759-1759 |
| 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 1737-1752 | |
| (=> (instance ?J Jam) (attribute ?J CookedAttribute)) |
Food.kif 1762-1764 | |
| (=> (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 1766-1775 |
|
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