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 588-591
(subclass VSeriesNerveAgent NerveAgent) WMD.kif 587-587 V series nerve agent is a subclass of nerve agent

appearance as argument number 2

(disjoint GSeriesNerveAgent VSeriesNerveAgent) WMD.kif 563-563 G series nerve agent is disjoint from V series nerve agent
(subclass VX VSeriesNerveAgent) WMD.kif 593-593 VX is a subclass of V series nerve agent
(termFormat ChineseLanguage VSeriesNerveAgent "V系列神经毒剂") domainEnglishFormat.kif 61894-61894
(termFormat ChineseTraditionalLanguage VSeriesNerveAgent "V系列神經毒劑") domainEnglishFormat.kif 61893-61893
(termFormat EnglishLanguage VSeriesNerveAgent "V series nerve agent") domainEnglishFormat.kif 61892-61892

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