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 563-563 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 564-568
(subclass GSeriesNerveAgent NerveAgent) WMD.kif 562-562 G series nerve agent is a subclass of nerve agent

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


(subclass GF GSeriesNerveAgent) WMD.kif 584-584 GF is a subclass of G series nerve agent
(subclass Sarin GSeriesNerveAgent) WMD.kif 580-580 Sarin is a subclass of G series nerve agent
(subclass Soman GSeriesNerveAgent) WMD.kif 575-575 Soman is a subclass of G series nerve agent
(subclass Tabun GSeriesNerveAgent) WMD.kif 570-570 Tabun is a subclass of G series nerve agent
(termFormat ChineseLanguage GSeriesNerveAgent "G系列神经毒剂") domainEnglishFormat.kif 26755-26755
(termFormat ChineseTraditionalLanguage GSeriesNerveAgent "G系列神經毒劑") domainEnglishFormat.kif 26754-26754
(termFormat EnglishLanguage GSeriesNerveAgent "G series nerve agent") domainEnglishFormat.kif 26753-26753


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners