ChocolateCandy - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ChocolateCandy

ChocolateCandy(chocolate candy)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2494-2494
No TPTP formula. May not be expressible in strict first order.	Food.kif 2495-2495	Chocolate candy is a subclass of chocolate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2497-2497
No TPTP formula. May not be expressible in strict first order.	Food.kif 2498-2498
No TPTP formula. May not be expressible in strict first order.	Food.kif 2496-2496

antecedent

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

consequent

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

Food.kif 2515-2522

If a collection is an instance of box of chocolate,
then there exist a self connected object and an object such that the self connected object is an instance of box and the object is an instance of chocolate candy and the self connected object contains the object and the object is a member of the collection

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