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 BiochemicalAgentBiologicalAgent + ChemicalAgentexhaustively partitioned %n
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 BiochemicalAgent生物活性物質subclass では %n

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


(subclass AerosolizedAgent BiochemicalAgent) WMD.kif 97-97 AerosolizedAgentBiochemicalAgentsubclass では %n
(subclass BiologicalAgent BiochemicalAgent) WMD.kif 152-152 BiologicalAgentBiochemicalAgentsubclass では %n
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 444-444 ChemicalAgentBiochemicalAgentsubclass では %n
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 1009-1009 LifeThreateningAgentBiochemicalAgentsubclass では %n
(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 biochemicalAgentAntidote の数値 1 引数は BiochemicalAgentinstance では %n
(domainSubclass biochemicalAgentDelivery 1 BiochemicalAgent) WMD.kif 782-782 biochemicalAgentDelivery の数値 1 引数は BiochemicalAgentsubclass では %n
(domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) WMD.kif 761-761 biochemicalAgentSyndrome の数値 1 引数は BiochemicalAgentsubclass では %n
(domainSubclass effectiveDose 1 BiochemicalAgent) WMD.kif 796-796 effectiveDose の数値 1 引数は BiochemicalAgentsubclass では %n
(domainSubclass lethalDose 1 BiochemicalAgent) WMD.kif 843-843 lethalDose の数値 1 引数は BiochemicalAgentsubclass では %n

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