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

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 10517-10517
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10516-10516
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8981-8981
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8982-8982
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8983-8983
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8984-8984
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 97-97 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 444-444 Chemical agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1009-1009 Life threatening agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11036-11036 Life threatening agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11035-11035 Life threatening agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11034-11034 Life threatening agent is a subclass of biochemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 913-913 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 782-782 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 761-761 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 796-796 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 843-843 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 110-115


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 3.0 is open source software produced by Articulate Software and its partners