TreeView Knowledge Base Browser - CocoaLiquor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CocoaLiquor

CocoaLiquor(cocoa liquor)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2443-2446
No TPTP formula. May not be expressible in strict first order.	Food.kif 2442-2442	roomTempState cocoa liquor and solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2441-2441	Cocoa liquor is a subclass of chocolate

appearance as argument number 2

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 2484-2484	Every cocoa solid is initially part of a cocoa liquor
No TPTP formula. May not be expressible in strict first order.	Food.kif 2447-2447

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
No TPTP formula. May not be expressible in strict first order.	Food.kif 2449-2461	If an entity is an instance of cocoa liquor, then there exist a process and an object such that the process is an instance of heating and the object is a patient of the process and the object is an instance of cocoa bean and hulled is an attribute of the object and HulledAttribute is an attribute of the object and fermented is an attribute of the object and the entity is a result of the process and liquid is an attribute of the entity holds during the process

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

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