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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GasMixture

 Sigma KEE - GasMixture
GasMixture(混合氣體)

appearance as argument number 1
-------------------------


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. chinese_format.kif 3465-3466
No TPTP formula. May not be expressible in strict first order. Merge.kif 14760-14763
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4480-4480
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31598-31598 roomTempState 混合氣體 and 加油站
No TPTP formula. May not be expressible in strict first order. Merge.kif 14758-14758 子類 混合氣體 and Mixture

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7542-7542 子類 Aerosal and 混合氣體
No TPTP formula. May not be expressible in strict first order. Merge.kif 14817-14817 子類 空氣 and 混合氣體
No TPTP formula. May not be expressible in strict first order. Merge.kif 14772-14772 子類 雲 and 混合氣體
No TPTP formula. May not be expressible in strict first order. Cars.kif 67-67 子類 FuelVapor and 混合氣體
No TPTP formula. May not be expressible in strict first order. Merge.kif 14753-14753 子類 懸掛 and 混合氣體
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25532-25532
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25531-25531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25530-25530

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1379-1389
No TPTP formula. May not be expressible in strict first order. Merge.kif 14765-14770

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. MilitaryDevices.kif 1368-1376
No TPTP formula. May not be expressible in strict first order. Cars.kif 1092-1103


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