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 10519-10519
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") pictureList.kif 10518-10518
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ 1GZX_Haemoglobin.png") pictureList.kif 8982-8982
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Cellulose-2D-skeletal.png") pictureList.kif 8983-8983
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Amino_acids_1.png") pictureList.kif 8984-8984
(externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Glucose-2D-skeletal.png") pictureList.kif 8985-8985
(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82 BiochemicalAgent est compl�tement d�compos� en BiologicalAgent + ChemicalAgent
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 BiochemicalAgent est une sous-classe de substance biologique active

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


(subclass AerosolizedAgent BiochemicalAgent) WMD.kif 97-97 AerosolizedAgent est une sous-classe de BiochemicalAgent
(subclass BiologicalAgent BiochemicalAgent) WMD.kif 152-152 BiologicalAgent est une sous-classe de BiochemicalAgent
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 444-444 ChemicalAgent est une sous-classe de BiochemicalAgent
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 1009-1009 LifeThreateningAgent est une sous-classe de BiochemicalAgent
(termFormat ChineseLanguage BiochemicalAgent "生化剂") domainEnglishFormat.kif 11027-11027
(termFormat ChineseTraditionalLanguage BiochemicalAgent "生化劑") domainEnglishFormat.kif 11026-11026
(termFormat EnglishLanguage BiochemicalAgent "biochemical agent") domainEnglishFormat.kif 11025-11025

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


(domain biochemicalAgentAntidote 1 BiochemicalAgent) WMD.kif 913-913 Le nombre 1 argument de biochemicalAgentAntidote est une instance de BiochemicalAgent
(domainSubclass biochemicalAgentDelivery 1 BiochemicalAgent) WMD.kif 782-782 Le nombre 1 argument de biochemicalAgentDelivery est une sous-classe de BiochemicalAgent
(domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) WMD.kif 761-761 Le nombre 1 argument de biochemicalAgentSyndrome est une sous-classe de BiochemicalAgent
(domainSubclass effectiveDose 1 BiochemicalAgent) WMD.kif 796-796 Le nombre 1 argument de effectiveDose est une sous-classe de BiochemicalAgent
(domainSubclass lethalDose 1 BiochemicalAgent) WMD.kif 843-843 Le nombre 1 argument de lethalDose est une sous-classe de BiochemicalAgent

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


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


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