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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalAgent
BiochemicalAgent
more pictures...

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


(documentation BiochemicalAgent EnglishLanguage "A BiologicalAgent or a ChemicalAgent.") WMD.kif 81-81
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Albania_chemweapcanister.jpg") pictureList.kif 10540-10540
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") pictureList.kif 10539-10539
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ 1GZX_Haemoglobin.png") pictureList.kif 8987-8987
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Cellulose-2D-skeletal.png") pictureList.kif 8988-8988
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Amino_acids_1.png") pictureList.kif 8989-8989
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Glucose-2D-skeletal.png") pictureList.kif 8990-8990
(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80

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


(subclass AerosolizedAgent BiochemicalAgent) WMD.kif 96-96
(subclass BiologicalAgent BiochemicalAgent) WMD.kif 152-152
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 439-439
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 964-964
(termFormat ChineseLanguage BiochemicalAgent "生化剂") domainEnglishFormat.kif 10975-10975
(termFormat ChineseTraditionalLanguage BiochemicalAgent "生化劑") domainEnglishFormat.kif 10974-10974
(termFormat EnglishLanguage BiochemicalAgent "biochemical agent") domainEnglishFormat.kif 10973-10973

appearance as argument number 3
-------------------------


(domain biochemicalAgentAntidote 1 BiochemicalAgent) WMD.kif 871-871
(domainSubclass biochemicalAgentDelivery 1 BiochemicalAgent) WMD.kif 777-777
(domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) WMD.kif 756-756
(domainSubclass effectiveDose 1 BiochemicalAgent) WMD.kif 791-791
(domainSubclass lethalDose 1 BiochemicalAgent) WMD.kif 808-808

consequent
-------------------------


(=>
    (instance ?WEAPON BiochemicalWeapon)
    (exists (?AGENT)
        (and
            (instance ?AGENT BiochemicalAgent)
            (part ?AGENT ?WEAPON))))
WMD.kif 109-114


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