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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - biochemicalAgentSyndrome
biochemicalAgentSyndrome

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 11045-11045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11044-11044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11043-11043

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 775-779
No TPTP formula. May not be expressible in strict first order. WMD.kif 1124-1129
No TPTP formula. May not be expressible in strict first order. WMD.kif 1035-1040
No TPTP formula. May not be expressible in strict first order. WMD.kif 1131-1136
No TPTP formula. May not be expressible in strict first order. WMD.kif 1773-1775

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 775-779
No TPTP formula. May not be expressible in strict first order. WMD.kif 2029-2034

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