TreeView Knowledge Base Browser - Sugar

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sugar

Sugar(sugar)

beet_sugar, brown_sugar, cane_sugar, caramel, caramelized_sugar, caster_sugar, castor_sugar, demerara, demerara_sugar, granulated_sugar, icing_sugar, loaf_sugar, lump_sugar, powdered_sugar, refined_sugar, sugar, sugar_loaf, sugarloaf, wood_sugar, xylose

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9228-9229
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 885-885
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9227-9227	Sugar is a subclass of carbohydrate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4157-4157	Sugar is a subclass of plant product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4158-4158	Sugar is a subclass of substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55951-55951
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55950-55950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55949-55949

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2500-2505	If a corpuscular object is an instance of chocolate candy, then the corpuscular object is made of cocoa liquor and the corpuscular object is made of oil and the corpuscular object is made of sugar
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
No TPTP formula. May not be expressible in strict first order.	Food.kif 2644-2646	If a corpuscular object is an instance of liqueur, then the corpuscular object is made of sugar
No TPTP formula. May not be expressible in strict first order.	Food.kif 3452-3454	If a corpuscular object is an instance of sorbet, then the corpuscular object is made of sugar

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