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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VX
VX

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


(documentation VX EnglishLanguage "One of the V-series nerve agents.") WMD.kif 595-595
(externalImage VX "http://upload.wikimedia.org/wikipedia/commons/1/1d/VX-solvolysis-P-O-2D-skeletal.png") pictureList.kif 10354-10354
(externalImage VX "http://upload.wikimedia.org/wikipedia/commons/1/1e/VX-3D-balls.png") pictureList.kif 12176-12176
(externalImage VX "http://upload.wikimedia.org/wikipedia/commons/6/63/VX-3D-vdW.png") pictureList.kif 12177-12177
(externalImage VX "http://upload.wikimedia.org/wikipedia/commons/d/d1/VX-2D-skeletal.png") pictureList.kif 12178-12178
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 594-594 lethalDose VX and PerFn MeasureFn 15.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram
(subclass VX VSeriesNerveAgent) WMD.kif 593-593 subclass VX and VSeriesNerveAgent

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


(termFormat ChineseLanguage VX "VX") domainEnglishFormat.kif 61912-61912
(termFormat ChineseTraditionalLanguage VX "VX") domainEnglishFormat.kif 61911-61911
(termFormat EnglishLanguage VX "VX") domainEnglishFormat.kif 61910-61910


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