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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalAgent
BiologicalAgent(biological agent)
more pictures...
biohazard, biological_agent, grandaunt, grandnephew, grandniece, granduncle, great-aunt, great-nephew, great-niece, great-uncle, great_granddaughter, great_grandfather, great_grandmother, great_grandparent, great_grandson

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


s__documentation(s__BiologicalAgent,s__EnglishLanguage,'"A naturally occurring Substance, or a synthetic analogue of such a substance or an Organism that is capable of inflicting severe harm on other Organisms. All BiologicalWeapons contain a BiologicalAgent."')

WMD.kif 153-156
s__externalImage(s__BiologicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg"')

pictureList.kif 10543-10543
s__externalImage(s__BiologicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ EscherichiaColi_NIAID.jpg"')

pictureList.kif 9925-9925
s__externalImage(s__BiologicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Botox-structure.png"')

pictureList.kif 10541-10541
s__externalImage(s__BiologicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Saxitoxin_structure.png"')

pictureList.kif 10540-10540
s__externalImage(s__BiologicalAgent,'"http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Ricin_structure.png"')

pictureList.kif 10539-10539
s__externalImage(s__BiologicalAgent,'"http://upload.wikimedia.org/wikipedia/en/ e/ e1/ Hiv-1_pdb_1ebz.png"')

pictureList.kif 10542-10542
s__partition__3(s__BiologicalAgent,s__Toxin,s__ToxicOrganism)

WMD.kif 157-157 Biological agent is exhaustively partitioned into toxin and toxic organism
s__subclass(s__AgentOfOrganismFn(s__MalarialPlasmodium),s__BiologicalAgent)

s__instance(s__BiologicalAgent,s__Class)

WMD.kif 1552-1552 The biological agent of malarial plasmodium is a subclass of biological agent
s__subclass(s__BiologicalAgent,s__BiochemicalAgent)

s__instance(s__BiochemicalAgent,s__Class)

s__instance(s__BiologicalAgent,s__Class)

WMD.kif 152-152 Biological agent is a subclass of biochemical agent

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


s__partition__3(s__BiochemicalAgent,s__BiologicalAgent,s__ChemicalAgent)

WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
s__rangeSubclass(s__AgentOfOrganismFn__m,s__BiologicalAgent)

WMD.kif 88-88 The values returned by AgentOfOrganismFn are subclasses of biological agent
s__subclass(s__Toxin,s__BiologicalAgent)

s__instance(s__Toxin,s__Class)

s__instance(s__BiologicalAgent,s__Class)

WMD.kif 159-159 Toxin is a subclass of biological agent
s__termFormat(s__ChineseLanguage,s__BiologicalAgent,'"生物制剂"')

domainEnglishFormat.kif 11102-11102
s__termFormat(s__ChineseTraditionalLanguage,s__BiologicalAgent,'"生物製劑"')

domainEnglishFormat.kif 11101-11101
s__termFormat(s__EnglishLanguage,s__BiologicalAgent,'"biological agent"')

domainEnglishFormat.kif 11100-11100

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


s__domainSubclass(s__biologicalAgentCarrier__m,n__1,s__BiologicalAgent)

WMD.kif 958-958 The number 1 argument of biological agent carrier is a subclass of biological agent

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


( ! [V__WEAPON] :
   ((s__instance(V__WEAPON,s__BiologicalWeapon) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__BiologicalAgent) &
               s__part(V__AGENT,V__WEAPON))))))
   )
)

WMD.kif 145-150


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