Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidMixture

 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 液体混合物 详尽无遗地 partition 成 溶液 和 悬挂
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 液体混合物 是 混合物 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14759-14759 混合气体 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21572-21572 乳胶 是 液体混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4324-4324 土壤溶液 是 液体混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21626-21626 溶胶 是 液体混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14745-14745 溶液 是 液体混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14752-14752 悬挂 是 液体混合物 的 subclass
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21596-21601
No TPTP formula. May not be expressible in strict first order. Merge.kif 14738-14743

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19647-19654
No TPTP formula. May not be expressible in strict first order. Food.kif 686-701
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1292-1298


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