mixtureRatio - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - mixtureRatio

mixtureRatio

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1238-1239
No TPTP formula. May not be expressible in strict first order.	Food.kif 1241-1241	The number 1 argument of mixture ratio is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1242-1242	The number 2 argument of mixture ratio is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1243-1243	The number 3 argument of mixture ratio is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 1244-1244	The number 4 argument of mixture ratio is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 1245-1245	The number 5 argument of mixture ratio is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Food.kif 1237-1237	mixture ratio is an instance of quintary relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1246-1246
No TPTP formula. May not be expressible in strict first order.	Food.kif 1240-1240

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	If an object is an instance of americano 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 potable water and the measure of the other substance is 90.0 celsius degree(s) and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance, then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15
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 1440-1450	If an object is an instance of long black 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 potable water and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance, then the approximate value of the real number is 0.06 and the approximate value of the other real number is 0.12
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	If an object is an instance of mixture and an unit of measure is an instance of unit of measure and A Mixture containing a real number unit the unit of measure of a substance and another real number unit the unit of measure of another substance and the measure of the object is a third real number the unit of measure(s) and the substance is a part of the object and the other substance is a part of the object and the measure of the substance is the real number the unit of measure(s) and the measure of the other substance is the other real number the unit of measure(s), then the third real number is equal to (the real number and the other real number)

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