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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChlorineGas

 Sigma KEE - ChlorineGas
ChlorineGas(氯氣)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 624-624
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4600-4600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31610-31610 roomTempState 氯氣 and 加油站
No TPTP formula. May not be expressible in strict first order. WMD.kif 623-623 子類 氯氣 and 窒息劑

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14622-14622
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14621-14621
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14620-14620


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