Sigma KB Term Intersection

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 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 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 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
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 1009-1009	Life threatening agent is a subclass of biochemical agent
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

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