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 600-600
(externalImage VX "http://upload.wikimedia.org/wikipedia/commons/1/1d/VX-solvolysis-P-O-2D-skeletal.png") pictureList.kif 10333-10333
(externalImage VX "http://upload.wikimedia.org/wikipedia/commons/1/1e/VX-3D-balls.png") pictureList.kif 12149-12149
(externalImage VX "http://upload.wikimedia.org/wikipedia/commons/6/63/VX-3D-vdW.png") pictureList.kif 12150-12150
(externalImage VX "http://upload.wikimedia.org/wikipedia/commons/d/d1/VX-2D-skeletal.png") pictureList.kif 12151-12151
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 599-599
(roomTempState VX Gas) Mid-level-ontology.kif 31702-31702
(subclass VX VSeriesNerveAgent) WMD.kif 598-598

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


(termFormat ChineseLanguage VX "VX") domainEnglishFormat.kif 62027-62027
(termFormat ChineseTraditionalLanguage VX "VX") domainEnglishFormat.kif 62026-62026
(termFormat EnglishLanguage VX "VX") domainEnglishFormat.kif 62025-62025


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