TreeView Knowledge Base Browser - MilkFoam

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilkFoam

MilkFoam(milk foam)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1228-1230
No TPTP formula. May not be expressible in strict first order.	Food.kif 1227-1227	Milk foam is a subclass of processed milk

appearance as argument number 2

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

Food.kif 1231-1231

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	If an object is an instance of cappuccino and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the approximate value of the third real number is 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	If an object is an instance of flat white and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is a part of the substance and the top of the other substance is the self connected object and the self connected object is an instance of bubble and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the third real number is greater than or equal to 1.0 and the third real number is less than or equal to 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1399-1415	If an object is an instance of latte and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.21 and the approximate value of the third real number is 12.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1233-1235	If a physical is an instance of milk foam, then the measure of the physical is 70 celsius degree(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1279-1283	If a corpuscular object is an instance of cappuccino, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso
No TPTP formula. May not be expressible in strict first order.	Food.kif 1269-1278	If an entity is an instance of cappuccino, then there exist another entity, a third entity and a process such that the other entity is an instance of espresso and the third entity is an instance of milk foam and the process is an instance of pouring and the third entity is a patient of the process and the process ends up at the other entity and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1343-1347	If a corpuscular object is an instance of flat white, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso
No TPTP formula. May not be expressible in strict first order.	Food.kif 1349-1358	If an entity is an instance of flat white, then there exist another entity, a third entity and a process such that the other entity is an instance of espresso and the third entity is an instance of milk foam and the process is an instance of pouring and the third entity is a patient of the process and the process ends up at the other entity and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1181-1188	If a process is an instance of foaming milk, then there exist an entity and the entityF such that the entity is an instance of processed milk and the entityF is an instance of milk foam and the entity is a patient of the process and the entityF is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1393-1397	If a corpuscular object is an instance of latte, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso

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