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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GSeriesNerveAgent
GSeriesNerveAgent(G series nerve agent)

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


(disjoint GSeriesNerveAgent VSeriesNerveAgent) WMD.kif 568-568 G series nerve agent is disjoint from V series nerve agent
(documentation GSeriesNerveAgent EnglishLanguage "Earliest sort of NerveAgent (developed in the 1930's). This subclass of NerveAgents tends to be less persistent, more volatile, and less toxic than VSeriesNerveAgents, which were developed later. GSeriesNerveAgents include Tabun, Sarin, and Soman.") WMD.kif 569-573 G series nerve agent is disjoint from V series nerve agent
(roomTempState GSeriesNerveAgent Liquid) Mid-level-ontology.kif 31875-31875 roomTempState G series nerve agent and liquid
(subclass GSeriesNerveAgent NerveAgent) WMD.kif 567-567 G series nerve agent is a subclass of nerve agent

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


(subclass GF GSeriesNerveAgent) WMD.kif 589-589 GF is a subclass of G series nerve agent
(subclass Sarin GSeriesNerveAgent) WMD.kif 585-585 Sarin is a subclass of G series nerve agent
(subclass Soman GSeriesNerveAgent) WMD.kif 580-580 Soman is a subclass of G series nerve agent
(subclass Tabun GSeriesNerveAgent) WMD.kif 575-575 Tabun is a subclass of G series nerve agent
(termFormat ChineseLanguage GSeriesNerveAgent "G系列神经毒剂") domainEnglishFormat.kif 26866-26866 Tabun is a subclass of G series nerve agent
(termFormat ChineseTraditionalLanguage GSeriesNerveAgent "G系列神經毒劑") domainEnglishFormat.kif 26865-26865 Tabun is a subclass of G series nerve agent
(termFormat EnglishLanguage GSeriesNerveAgent "G series nerve agent") domainEnglishFormat.kif 26864-26864 Tabun is a subclass of G series nerve agent


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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