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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectronVolt

 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 病毒解毒制剂 吡啶斯的明溴化物 对于 放
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 公克 的一千倍 是 64.0 公克 的百万分之一 的 per 是 梭曼 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31685-31685 roomTempState 梭曼 and 液体
No TPTP formula. May not be expressible in strict first order. WMD.kif 580-580 梭曼 是 G系列神经毒剂 的 subclass

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


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


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