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 O conceito BiochemicalAgent e' completamente decomposto em BiologicalAgent + ChemicalAgent
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 BiochemicalAgent e' uma sub-classe de Substancia Biologica Ativa

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


(subclass AerosolizedAgent BiochemicalAgent) WMD.kif 97-97 AerosolizedAgent e' uma sub-classe de BiochemicalAgent
(subclass BiologicalAgent BiochemicalAgent) WMD.kif 152-152 BiologicalAgent e' uma sub-classe de BiochemicalAgent
(subclass ChemicalAgent BiochemicalAgent) WMD.kif 444-444 ChemicalAgent e' uma sub-classe de BiochemicalAgent
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 1009-1009 LifeThreateningAgent e' uma sub-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 O argumento numero 1 de biochemicalAgentAntidote e' uma instancia de BiochemicalAgent
(domainSubclass biochemicalAgentDelivery 1 BiochemicalAgent) WMD.kif 782-782 O argumento numero 1 de biochemicalAgentDelivery e' uma sub-classe de BiochemicalAgent
(domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) WMD.kif 761-761 O argumento numero 1 de biochemicalAgentSyndrome e' uma sub-classe de BiochemicalAgent
(domainSubclass effectiveDose 1 BiochemicalAgent) WMD.kif 796-796 O argumento numero 1 de effectiveDose e' uma sub-classe de BiochemicalAgent
(domainSubclass lethalDose 1 BiochemicalAgent) WMD.kif 843-843 O argumento numero 1 de lethalDose e' uma sub-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