Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiochemicalAgent

Sigma KEE - BiochemicalAgent
BiochemicalAgent
more pictures...
biochemical_agent

appearance as argument number 1
-------------------------


s__documentation(s__BiochemicalAgent,s__EnglishLanguage,'A BiologicalAgent or a ChemicalAgent.')

WMD.kif 81-81
s__externalImage(s__BiochemicalAgent,'http://upload.wikimedia.org/wikipedia/commons/0/04/Albania_chemweapcanister.jpg')

pictureList.kif 10540-10540
s__externalImage(s__BiochemicalAgent,'http://upload.wikimedia.org/wikipedia/commons/0/0d/1993_Kameido_site_fluid_petri.jpg')

pictureList.kif 10539-10539
s__externalImage(s__BiochemicalAgent,'http://upload.wikimedia.org/wikipedia/commons/3/3d/1GZX_Haemoglobin.png')

pictureList.kif 8987-8987
s__externalImage(s__BiochemicalAgent,'http://upload.wikimedia.org/wikipedia/commons/3/3e/Cellulose-2D-skeletal.png')

pictureList.kif 8988-8988
s__externalImage(s__BiochemicalAgent,'http://upload.wikimedia.org/wikipedia/commons/8/82/Amino_acids_1.png')

pictureList.kif 8989-8989
s__externalImage(s__BiochemicalAgent,'http://upload.wikimedia.org/wikipedia/commons/e/e9/Glucose-2D-skeletal.png')

pictureList.kif 8990-8990
s__partition_3(s__BiochemicalAgent,s__BiologicalAgent,s__ChemicalAgent)

WMD.kif 82-82
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

WMD.kif 80-80

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


s__subclass(s__AerosolizedAgent,s__BiochemicalAgent)

WMD.kif 96-96
s__subclass(s__BiologicalAgent,s__BiochemicalAgent)

WMD.kif 152-152
s__subclass(s__ChemicalAgent,s__BiochemicalAgent)

WMD.kif 439-439
s__instance(s__LifeThreateningAgent,s__SetOrClass)

WMD.kif 955-955
s__termFormat(s__EnglishLanguage,s__BiochemicalAgent,'biochemical agent')

domainEnglishFormat.kif 2262-2262

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


s__domain(s__biochemicalAgentAntidote__m,1,s__BiochemicalAgent)

WMD.kif 862-862
s__domainSubclass(s__biochemicalAgentDelivery__m,1,s__BiochemicalAgent)

WMD.kif 776-776
s__domainSubclass(s__biochemicalAgentSyndrome__m,1,s__BiochemicalAgent)

WMD.kif 755-755
s__domainSubclass(s__effectiveDose__m,1,s__BiochemicalAgent)

WMD.kif 790-790
s__domainSubclass(s__lethalDose__m,1,s__BiochemicalAgent)

WMD.kif 804-804

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


( ! [V__WEAPON] :
   (s__instance(V__WEAPON,s__BiochemicalWeapon) =>
     (? [V__AGENT] :
       (s__instance(V__AGENT,s__BiochemicalAgent) &
         s__part(V__AGENT,V__WEAPON))))
)

WMD.kif 109-114


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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