Jam - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Jam

Jam(jam)

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	Every jam is initially part of a fruit
(subclass Jam Colloid)	Food.kif 1755-1755	Jam is a subclass of colloid
(subclass Jam PreparedFood)	Food.kif 1754-1754	Jam is a subclass of prepared food

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	If a collection is an instance of meal and a physical is a member of the collection and the physical is an instance of coffee or the physical is an instance of tea and another physical is a member of the collection and the other physical is an instance of juice and a third physical is a member of the collection and the third physical is an instance of bread or biscuit and the third physical is a member of the collection and the third physical is an instance of butter and the other physicalA is a member of the collection and the other physicalA is an instance of jam, then continental breakfast is an attribute of the collection
(=> (instance ?J Jam) (attribute ?J CookedAttribute))	Food.kif 1762-1764	If an object is an instance of jam, then cooked is an attribute of the object
(=> (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	If an entity is an instance of jam, then there exist a process, another entity and a third entity such that the process is an instance of boiling and the other entity is a patient of the process and the other entity is an instance of fruit and the third entity is a patient of the process and the third entity is an instance of sugar and the entity is a result of the process

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