LifeThreateningAgent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LifeThreateningAgent

LifeThreateningAgent(life threatening agent)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1010-1011
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1009-1009	Life threatening 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 324-324	Botulinum toxin is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1438-1438	Staphylococcal enterotoxin b is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34377-34377	Staphylococcal enterotoxin b is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34376-34376	Staphylococcal enterotoxin b is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34375-34375	Staphylococcal enterotoxin b is a subclass of life threatening agent

antecedent

No TPTP formula. May not be expressible in strict first order.

WMD.kif 1013-1015

If an object is an instance of life threatening agent,
then the object is capable of doing killing as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1017-1023	If an entity is an instance of a kind of biochemical agent and a real number an unit of measure(s) is a lethal dose of a kind of biochemical agent and the real number is greater than 0.0, then the entity is an instance of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1035-1040	If a disease or syndrome is an instance of life threatening disease and an entity is an instance of a kind of biochemical agent and the disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent, then the entity is an instance of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1393-1396	If a kind of biological agent is equal to the biological agent of coccidiodes posadasii, then a kind of biological agent is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1381-1384	If a kind of biological agent is equal to the biological agent of coccidioides immitis, then a kind of biological agent is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1371-1374	If a kind of biological agent is equal to the biological agent of serratia marcenscens, then a kind of biological agent is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2019-2022	If a kind of biological agent is equal to the biological agent of tick borne encephalitis virus, then a kind of biological agent is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 401-404	If a kind of biological agent is equal to the biological agent of yersinia pestis, then a kind of biological agent is a subclass of life threatening agent

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