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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiochemicalAgent

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