BacterialDisease
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5823-5824 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5822-5822 | Bacterial disease is a subclass of infectious disease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1138-1138 | Anthrax is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6216-6216 | Bacterial pneumonia is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 332-332 | Botulism is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 393-393 | Brucellosis is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1485-1485 | Cholera is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1901-1901 | Diphtheria is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 364-364 | Glanders is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1159-1159 | Gonorrhea is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1883-1883 | Legionellosis is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 271-271 | Louse borne typhus is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1404-1404 | Lyme disease is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 380-380 | Melioidosis is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1765-1765 | Necrotizing faciitis is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1577-1577 | Pertussis is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 411-411 | Plague is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1601-1601 | Psittacosis is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1162-1162 | Q fever is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 258-258 | Rocky mountain spotted fever is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1760-1760 | Scarlet fever is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1755-1755 | Strep throat is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1497-1497 | Tetanus is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6184-6184 | Tuberculosis is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1214-1214 | Tularemia is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9528-9528 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9527-9527 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
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 1274-1276 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1322-1326 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9671-9676 |
|