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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Anthrax

 Sigma KEE - Anthrax
Anthrax(anthrax)
anthrax, anthrax_pneumonia, cutaneous_anthrax, inhalation_anthrax, malignant_pustule, pulmonary_anthrax, ragpicker's_disease, ragsorter's_disease, splenic_fever, woolsorter's_disease, woolsorter's_pneumonia

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1141-1141 Anthrax disease incubation 1 hour duration(s) for 2 hour duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1140-1140 Anthrax is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1139-1139 Anthrax is disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1142-1143
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6103-6103
No TPTP formula. May not be expressible in strict first order. WMD.kif 1138-1138 Anthrax is an instance of bacterial disease

appearance as argument number 2
-------------------------


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 1145-1145 Inhalational anthrax is a subattribute of anthrax
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7812-7812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7811-7811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7810-7810


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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