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 10538-10538
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") pictureList.kif 10537-10537
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ 1GZX_Haemoglobin.png") pictureList.kif 8986-8986
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Cellulose-2D-skeletal.png") pictureList.kif 8987-8987
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Amino_acids_1.png") pictureList.kif 8988-8988
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Glucose-2D-skeletal.png") pictureList.kif 8989-8989
(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 997-997
(termFormat ChineseLanguage BiochemicalAgent "生化剂") domainEnglishFormat.kif 11036-11036
(termFormat ChineseTraditionalLanguage BiochemicalAgent "生化劑") domainEnglishFormat.kif 11035-11035
(termFormat EnglishLanguage BiochemicalAgent "biochemical agent") domainEnglishFormat.kif 11034-11034

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


(domain biochemicalAgentAntidote 1 BiochemicalAgent) WMD.kif 904-904
(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 838-838

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 3.0 is open source software produced by Articulate Software and its partners