TreeView Knowledge Base Browser - mixtureRatio

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	mixtureRatio 的 1 数量是物质的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1242-1242	mixtureRatio 的 2 数量是物质的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1243-1243	mixtureRatio 的 3 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1244-1244	mixtureRatio 的 4 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1245-1245	mixtureRatio 的 5 数量是测量单位的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1237-1237	mixtureRatio 是五元关系的 instance

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	如果客体是 Americano 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是饮用水的 instance 和那个另外物质的 measure 是 90.0 摄氏度和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	如果客体是 Cappuccino 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是 MilkFoam 的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升和自身连接物体是那个另外物质的 part 和那个自身连接物体是气泡的 instance 和那个自身连接物体是那个另外物质的 top 和那个自身连接物体的 measure 是第三实数毫米，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15 和 approximateValue 那个第三实数 and 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	如果客体是 FlatWhite 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是 MilkFoam 的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升和自身连接物体是那个另外物质的 part 和那个自身连接物体是那个物质的 part 和那个自身连接物体是那个另外物质的 top 和那个自身连接物体是气泡的 instance 和那个自身连接物体的 measure 是第三实数毫米，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15 和那个第三实数是 greaterThanOrEqualTo 1.0 和那个第三实数是 lessThanOrEqualTo 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1399-1415	如果客体是 Latte 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是 MilkFoam 的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升和自身连接物体是那个另外物质的 part 和那个自身连接物体是气泡的 instance 和那个自身连接物体是那个另外物质的 top 和那个自身连接物体的 measure 是第三实数毫米，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.21 和 approximateValue 那个第三实数 and 12.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1440-1450	如果客体是 LongBlack 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是饮用水的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升，然后 approximateValue 那个实数 and 0.06 和 approximateValue 那个另外实数 and 0.12
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	如果客体是混合物的 instance 和测量单位是测量单位的 instance 和 mixtureRatio 物质, 另一个物质, 实数, 另一个实数 and 那个测量单位和那个客体的 measure 是第三实数那个测量单位和那个物质是那个客体的 part 和那个另外物质是那个客体的 part 和那个物质的 measure 是那个实数那个测量单位和那个另外物质的 measure 是那个另外实数那个测量单位，然后那个第三实数 equal (那个实数和那个另外实数)

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