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	O argumento numero 1 de mixtureRatio e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Food.kif 1242-1242	O argumento numero 2 de mixtureRatio e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Food.kif 1243-1243	O argumento numero 3 de mixtureRatio e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 1244-1244	O argumento numero 4 de mixtureRatio e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 1245-1245	O argumento numero 5 de mixtureRatio e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Food.kif 1237-1237	mixtureRatio e' uma instancia de Relacao Quinquenaria

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	Objeto e' uma instancia de Americano Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de DrinkingWater a medida de Substancia e' 90.0 CelsiusDegree(s) mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.15
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	Objeto e' uma instancia de Cappuccino Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de MilkFoam mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter Objeto auto-conectado e' uma &parte de Substancia Objeto auto-conectado e' uma instancia de Bubble o topo de Substancia e' Objeto auto-conectado a medida de Objeto auto-conectado e' Numero Real Millimeter(s) approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.15 approximateValue Numero Real and 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	Objeto e' uma instancia de FlatWhite Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de MilkFoam mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter Objeto auto-conectado e' uma &parte de Substancia Objeto auto-conectado e' uma &parte de Substancia o topo de Substancia e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Bubble a medida de Objeto auto-conectado e' Numero Real Millimeter(s) approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.15 Numero Real e' maior ou igual a 1.0 Numero Real e' menor ou igual a 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1399-1415	Objeto e' uma instancia de Latte Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de MilkFoam mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter Objeto auto-conectado e' uma &parte de Substancia Objeto auto-conectado e' uma instancia de Bubble o topo de Substancia e' Objeto auto-conectado a medida de Objeto auto-conectado e' Numero Real Millimeter(s) approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.21 approximateValue Numero Real and 12.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1440-1450	Objeto e' uma instancia de LongBlack Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de DrinkingWater mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter approximateValue Numero Real and 0.06 approximateValue Numero Real and 0.12
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	Objeto e' uma instancia de Mistura Unidade de Medida e' uma instancia de Unidade de Medida mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto a medida de Substancia e' Numero Real Unidade de Medida(s) a medida de Substancia e' Numero Real Unidade de Medida(s) Numero Real e' igual a ( Numero Real + Numero Real)

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