TreeView Knowledge Base Browser - LiquidMixture

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LiquidMixture

LiquidMixture(液體混合物)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3457-3459
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14733-14736
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2484-2484
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14732-14732	劃分液體混合物, Solution and 懸掛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31615-31615	roomTempState 液體混合物 and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14731-14731	子類液體混合物 and Mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14759-14759	不相交的混合氣體 and 液體混合物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21572-21572	子類乳膠 and 液體混合物
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4324-4324	子類土壤溶液 and 液體混合物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21626-21626	子類溶膠 and 液體混合物
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14745-14745	子類 Solution and 液體混合物
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14752-14752	子類懸掛 and 液體混合物
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34649-34649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34648-34648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34647-34647

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21585-21590	例 Object and 液體混合物 attribute Object and 不混溶等於 Object and Entity 例 Entity and 乳膠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21596-21601	例 Object and 液體混合物 attribute Object and 混溶的等於 Object and Entity 例 Entity and Solution
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14738-14743	例 Object and 液體混合物 Object 部分 Object and Object attribute Object and 液體

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19647-19654	例 Process and 色譜 Object 資源 Process and Object 例 Object and 液體混合物例 Object and 混合氣體
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	例 Process and CoffeeMaking Process Object, Object, Object, Object and Entity 子過程 Process and Process 例 Process and Removing 起源 Process and Object 例 Object and 液體混合物部分 Object and Object 例 Object and 飲用水部分 Object and Object 例 Object and CoffeeGrind 儀器 Process and Object 例 Object and 過濾結果 Process and Entity 例 Entity and 咖啡
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1292-1298	例 Object and 莫洛托夫雞尾酒 Object 例 Object and 液體混合物部分 Object and Object 能力 Combustion, 患者 and Object

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