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 and "http://upload.wikimedia.org/wikipedia/commons/0/04/ Albania_chemweapcanister.jpg"
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") pictureList.kif 10539-10539 externalImage BiochemicalAgent and "http://upload.wikimedia.org/wikipedia/commons/0/0d/ 1993_Kameido_site_fluid_petri.jpg"
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ 1GZX_Haemoglobin.png") pictureList.kif 8987-8987 externalImage BiochemicalAgent and "http://upload.wikimedia.org/wikipedia/commons/3/3d/ 1GZX_Haemoglobin.png"
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Cellulose-2D-skeletal.png") pictureList.kif 8988-8988 externalImage BiochemicalAgent and "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Cellulose-2D-skeletal.png"
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Amino_acids_1.png") pictureList.kif 8989-8989 externalImage BiochemicalAgent and "http://upload.wikimedia.org/wikipedia/commons/8/82/ Amino_acids_1.png"
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Glucose-2D-skeletal.png") pictureList.kif 8990-8990 externalImage BiochemicalAgent and "http://upload.wikimedia.org/wikipedia/commons/e/e9/ Glucose-2D-skeletal.png"
(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82 partition BiochemicalAgent, BiologicalAgent and ChemicalAgent
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 subclass BiochemicalAgent and BiologicallyActiveSubstance

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


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

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


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

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