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 758-760
No TPTP formula. May not be expressible in strict first order. WMD.kif 757-757 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 756-756 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 755-755 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 11063-11063
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11062-11062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11061-11061

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 770-774
No TPTP formula. May not be expressible in strict first order. WMD.kif 1045-1049
No TPTP formula. May not be expressible in strict first order. WMD.kif 988-992
No TPTP formula. May not be expressible in strict first order. WMD.kif 1051-1055
No TPTP formula. May not be expressible in strict first order. WMD.kif 1639-1641

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 770-774
No TPTP formula. May not be expressible in strict first order. WMD.kif 1846-1851

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 879-887 ?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 762-768 ?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 1695-1695 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 1452-1452 Pertussis is a biochemical agent syndrome of bordetella pertussis
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 1461-1461 Psittacosis is a biochemical agent syndrome of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. WMD.kif 609-609 Gastroenteritis is a biochemical agent syndrome of chloropicrin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1411-1411 Tetanus is a biochemical agent syndrome of clostridium tetani
No TPTP formula. May not be expressible in strict first order. WMD.kif 1301-1301 Rift valley fever is a biochemical agent syndrome of coccidiodes posadasii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1294-1294 Rift valley fever is a biochemical agent syndrome of coccidioides immitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1374-1374 Paralytic shellfish poisoning is a biochemical agent syndrome of conotoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1763-1763 Diphtheria is a biochemical agent syndrome of corynebacterium diphtheriae
No TPTP formula. May not be expressible in strict first order. WMD.kif 1168-1168 Q fever is a biochemical agent syndrome of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1786-1786 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 1505-1505 Dengue fever is a biochemical agent syndrome of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1506-1506 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 1557-1557 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 1115-1115 Ebola hemorrhagic fever is a biochemical agent syndrome of ebola virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1125-1125 Tularemia is a biochemical agent syndrome of francisella tularensis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1282-1282 Gastroenteritis is a biochemical agent syndrome of giardia lamblia
No TPTP formula. May not be expressible in strict first order. WMD.kif 1816-1816 Venezuelan hemorrhagic fever is a biochemical agent syndrome of guanarito virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1267-1267 Acquired immuno deficiency syndrome is a biochemical agent syndrome of HIV 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