CocoaButter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CocoaButter

CocoaButter(cocoa butter)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4690-4691
No TPTP formula. May not be expressible in strict first order.	Food.kif 2490-2491
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4702-4704
No TPTP formula. May not be expressible in strict first order.	Food.kif 2492-2492	Every cocoa butter is initially part of a cocoa liquor
No TPTP formula. May not be expressible in strict first order.	Food.kif 2487-2487	roomTempState cocoa butter and emulsion
No TPTP formula. May not be expressible in strict first order.	Food.kif 2489-2489	roomTempState cocoa butter and solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2488-2488	Cocoa butter is a subclass of chocolate
No TPTP formula. May not be expressible in strict first order.	Food.kif 2486-2486	Cocoa butter is a subclass of vegetable oil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4689-4689	Cocoa bean is internally related to cocoa butter
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15456-15456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15455-15455
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15454-15454

antecedent

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

Food.kif 2463-2478

If a self connected object is an instance of cocoa liquor and 100.0 gram(s) is a weight of the self connected object and another self connected object is an instance of cocoa solid and the other self connected object is a part of the self connected object and a real number gram(s) is a weight of the other self connected object and a third self connected object is an instance of cocoa butter and the third self connected object is a part of the self connected object and another real number gram(s) is a weight of the third self connected object,
then the approximate value of the real number is 50.0 and the approximate value of the other real number is 50.0

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