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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - VSeriesNerveAgent
VSeriesNerveAgent(V series nerve agent)

appearance as argument number 1

(documentation VSeriesNerveAgent EnglishLanguage "More advanced sort of NerveAgent (developed in the 1950's). This subclass of NerveAgents tends to be more persistent and toxic than GSeriesNerveAgents, which were developed earlier. VSeriesNerveAgents include VE, VG, VM, VS, and VX.") WMD.kif 593-596
(subclass VSeriesNerveAgent NerveAgent) WMD.kif 592-592 V series nerve agent is a subclass of nerve agent

appearance as argument number 2

(disjoint GSeriesNerveAgent VSeriesNerveAgent) WMD.kif 568-568 G series nerve agent is disjoint from V series nerve agent
(subclass VX VSeriesNerveAgent) WMD.kif 598-598 VX is a subclass of V series nerve agent
(termFormat ChineseLanguage VSeriesNerveAgent "V系列神经毒剂") domainEnglishFormat.kif 61974-61974
(termFormat ChineseTraditionalLanguage VSeriesNerveAgent "V系列神經毒劑") domainEnglishFormat.kif 61973-61973
(termFormat EnglishLanguage VSeriesNerveAgent "V series nerve agent") domainEnglishFormat.kif 61972-61972

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