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
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 153-156
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10545-10545 "http://upload.wikimedia.org/wikipedia/commons/0/0d/ 1993_Kameido_site_fluid_petri.jpg" is a URL depicting biological agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9926-9926 "http://upload.wikimedia.org/wikipedia/commons/3/32/ EscherichiaColi_NIAID.jpg" is a URL depicting biological agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10543-10543 "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Botox-structure.png" is a URL depicting biological agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10542-10542 "http://upload.wikimedia.org/wikipedia/commons/6/68/ Saxitoxin_structure.png" is a URL depicting biological agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10541-10541 "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Ricin_structure.png" is a URL depicting biological agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10544-10544 "http://upload.wikimedia.org/wikipedia/en/e/e1/Hiv-1_pdb_1ebz.png" is a URL depicting biological agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 157-157 Biological agent is exhaustively partitioned into toxin and toxic organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 1462-1462 The biological agent of malarial plasmodium is a subclass of biological agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 152-152 Biological agent is a subclass of biochemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 88-88 The values returned by AgentOfOrganismFn are subclasses of biological agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 159-159 Toxin is a subclass of biological agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2273-2273 "biological agent" is the printable form of biological agent in english language

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 916-916 The number 1 argument of biological agent carrier is a subclass of biological agent

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


No TPTP formula. May not be expressible in strict first order. 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners