TreeView Knowledge Base Browser - Bubble

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Bubble

Bubble(气泡)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5000-5001
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 889-889
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 850-850
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4999-4999	气泡是躯体性物体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12191-12191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12190-12190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12189-12189

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5009-5013	如果客体是气泡的 instance 和另一个客体是那个客体的 interiorPart，然后加油站是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5015-5024	如果客体是气泡的 instance 和不存在另一个客体和属性这样那个属性是那个另外客体的 attribute 和那个另外客体不 equal 加油站和那个另外客体接上那个客体，然后中凸的圆形是那个客体的 attribute
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 1360-1365	如果客体是 FlatWhite 的 instance 和另一个客体是那个客体的 part 和那个另外客体是气泡的 instance，然后棕色是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5002-5007	如果自身连接物体是气泡的 instance，然后有存在另一个自身连接物体这样那个另外自身连接物体是那个自身连接物体的 surface 和液体是那个另外自身连接物体的 attribute

consequent

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

Food.kif 1190-1205

如果过程是 FoamingMilk 的 instance 和实体是 ProcessedMilk 的 instance 和那个实体是那个过程的 patient，
然后有存在另一个过程，第三过程， and 和另一个实体这样那个另外过程是加热的 instance 和那个实体是那个另外过程的 patient 和那个第三过程是曝气的 instance 和那个实体是那个第三过程的 patient 和那个另外实体是那个第三过程的 result 和那个另外实体是气泡的 instance 和那个第三过程出现的 time 在那个另外过程出现的 time 时段内发生

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