TreeView Knowledge Base Browser - Jam

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

No TPTP formula. May not be expressible in strict first order.	Food.kif 1750-1752
No TPTP formula. May not be expressible in strict first order.	Food.kif 1754-1754	Every jam is initially part of a fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 1749-1749	Jam is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 1748-1748	Jam is a subclass of prepared food

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Food.kif 1753-1753

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1731-1746	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 1756-1758	If an object is an instance of jam, then cooked is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1760-1769	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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