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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Soman

 Sigma KEE - Soman
Soman(梭曼)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 581-581 梭曼 biochemical 病毒解毒製劑 吡啶斯的明溴化物 對於 Putting
No TPTP formula. May not be expressible in strict first order. WMD.kif 583-583
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6873-6873
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7925-7925
No TPTP formula. May not be expressible in strict first order. WMD.kif 582-582 測量 1.0 and 千 公克 是 測量 64.0 and 微 公克 的 per 是 梭曼 的 lethal 劑量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31653-31653 roomTempState 梭曼 and 液體
No TPTP formula. May not be expressible in strict first order. WMD.kif 580-580 子類 梭曼 and G系列神經毒劑

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53928-53928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53927-53927
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53926-53926


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