Bubble - Sigma Knowledge base Browser

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 5964-5965
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 5963-5963	子類氣泡 and CorpuscularObject

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12206-12206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12205-12205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12204-12204

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5973-5977	例 Object and 氣泡內飾部分 Object and Object attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5979-5988	例 Object and 氣泡 Object Attribute attribute Object and Attribute 等於 Object and 加油站空間的符合 Object and Object attribute Object and 中凸的圓形
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	例 Object and Cappuccino 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and MilkFoam mixtureRatio Substance, Substance, RealNumber, RealNumber and 升部分 SelfConnectedObject and Substance 例 SelfConnectedObject and 氣泡上 SelfConnectedObject and Substance 測量 SelfConnectedObject and 測量 RealNumber and 毫米 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.15 approximateValue RealNumber and 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	例 Object and FlatWhite 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and MilkFoam mixtureRatio Substance, Substance, RealNumber, RealNumber and 升部分 SelfConnectedObject and Substance 部分 SelfConnectedObject and Substance 上 SelfConnectedObject and Substance 例 SelfConnectedObject and 氣泡測量 SelfConnectedObject and 測量 RealNumber and 毫米 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.15 大於或等於 RealNumber and 1.0 小於或等於 RealNumber and 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1399-1415	例 Object and Latte 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and MilkFoam mixtureRatio Substance, Substance, RealNumber, RealNumber and 升部分 SelfConnectedObject and Substance 例 SelfConnectedObject and 氣泡上 SelfConnectedObject and Substance 測量 SelfConnectedObject and 測量 RealNumber and 毫米 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.21 approximateValue RealNumber and 12.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1360-1365	例 Object and FlatWhite 部分 Object and Object 例 Object and 氣泡 attribute Object and 棕色
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5966-5971	例 SelfConnectedObject and 氣泡 SelfConnectedObject 表面 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 液體

consequent

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

Food.kif 1190-1205

例 Process and FoamingMilk 例 Entity and ProcessedMilk 患者 Process and Entity
Process Process and Entity 例 Process and Heating 患者 Process and Entity 例 Process and 曝氣患者 Process and Entity 結果 Process and Entity 例 Entity and 氣泡期間何時 Process and 何時 Process

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