biochemicalAgentSyndrome - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 763-765
No TPTP formula. May not be expressible in strict first order.	WMD.kif 762-762	The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
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 760-760	biochemical agent syndrome is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 296-296
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 295-295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 294-294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11060-11060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11059-11059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11058-11058

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 775-779	If a disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and another disease or syndrome is a disease symptom of the disease or syndrome, then the other disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1124-1129	If an entity is an instance of bacterial agent and the entity is an instance of a kind of biochemical agent and a disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent, then the disease or syndrome is an instance of bacterial disease
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 1131-1136	If an entity is an instance of viral agent and the entity is an instance of a kind of biochemical agent and a disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent, then the disease or syndrome is an instance of viral disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1773-1775	If a disease or syndrome is a biochemical agent syndrome of hepatitis virus, then the disease or syndrome is an instance of hepatitis

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 775-779	If a disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and another disease or syndrome is a disease symptom of the disease or syndrome, then the other disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2029-2034	If a kind of biochemical agent is a subclass of tick borne encephalitis virus, then there exists a disease or syndrome such that the disease or syndrome is an instance of tick borne encephalitis and the disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 921-929	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
No TPTP formula. May not be expressible in strict first order.	WMD.kif 767-773	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	WMD.kif 293-293	Inhalational anthrax is a biochemical agent syndrome of aerosolized bacillus anthracis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1829-1829	Aflatoxicosis is a biochemical agent syndrome of aflatoxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 280-280	Anthrax is a biochemical agent syndrome of bacillus anthracis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1587-1587	Pertussis is a biochemical agent syndrome of bordetella pertussis
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1410-1410	Lyme disease is a biochemical agent syndrome of borrelia
No TPTP formula. May not be expressible in strict first order.	WMD.kif 327-327	Botulism is a biochemical agent syndrome of botulinum toxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 387-387	Brucellosis is a biochemical agent syndrome of brucella bacterium
No TPTP formula. May not be expressible in strict first order.	WMD.kif 358-358	Glanders is a biochemical agent syndrome of burkholderia mallei
No TPTP formula. May not be expressible in strict first order.	WMD.kif 376-376	Melioidosis is a biochemical agent syndrome of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1596-1596	Psittacosis is a biochemical agent syndrome of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order.	WMD.kif 614-614	Gastroenteritis is a biochemical agent syndrome of chloropicrin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1508-1508	Tetanus is a biochemical agent syndrome of clostridium tetani
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1398-1398	Rift valley fever is a biochemical agent syndrome of coccidiodes posadasii
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1386-1386	Rift valley fever is a biochemical agent syndrome of coccidioides immitis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1471-1471	Paralytic shellfish poisoning is a biochemical agent syndrome of conotoxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1897-1897	Diphtheria is a biochemical agent syndrome of corynebacterium diphtheriae
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1249-1249	Q fever is a biochemical agent syndrome of coxiella burnetii
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1920-1920	Crimean congo hemorrhagic fever is a biochemical agent syndrome of crimean congo hemorrhagic fever virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1639-1639	Dengue fever is a biochemical agent syndrome of dengue fever virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1640-1640	Dengue hemorrhagic fever is a biochemical agent syndrome of dengue fever virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1691-1691	Eastern equine encephalitis is a biochemical agent syndrome of eastern equine encephalitis virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1196-1196	Ebola hemorrhagic fever is a biochemical agent syndrome of ebola virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1206-1206	Tularemia is a biochemical agent syndrome of francisella tularensis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1364-1364	Gastroenteritis is a biochemical agent syndrome of giardia lamblia
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1950-1950	Venezuelan hemorrhagic fever is a biochemical agent syndrome of guanarito virus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: