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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalAgent
BiochemicalAgent(biochemical agent)
more pictures...
biochemical_agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 81-81
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10540-10540 "http://upload.wikimedia.org/wikipedia/commons/0/04/ Albania_chemweapcanister.jpg" is a URL depicting biochemical agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10539-10539 "http://upload.wikimedia.org/wikipedia/commons/0/0d/ 1993_Kameido_site_fluid_petri.jpg" is a URL depicting biochemical agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8987-8987 "http://upload.wikimedia.org/wikipedia/commons/3/3d/ 1GZX_Haemoglobin.png" is a URL depicting biochemical agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8988-8988 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Cellulose-2D-skeletal.png" is a URL depicting biochemical agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8989-8989 "http://upload.wikimedia.org/wikipedia/commons/8/82/ Amino_acids_1.png" is a URL depicting biochemical agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8990-8990 "http://upload.wikimedia.org/wikipedia/commons/e/e9/ Glucose-2D-skeletal.png" is a URL depicting biochemical agent
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 80-80 Biochemical agent is a subclass of biologically active substance

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 96-96 Aerosolized agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 152-152 Biological agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 439-439 Chemical agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 955-955 Life threatening agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2262-2262 "biochemical agent" is the printable form of biochemical agent in english language

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 862-862 The number 1 argument of biochemical agent antidote is an instance of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 776-776 The number 1 argument of biochemical agent delivery is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 755-755 The number 1 argument of biochemical agent syndrome is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 790-790 The number 1 argument of effective dose is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 804-804 The number 1 argument of lethal dose is a subclass of biochemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 109-114


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