BacterialDisease
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5817-5818 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5816-5816 | BacterialDisease e' uma sub-classe de InfectiousDisease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1138-1138 | Anthrax e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6210-6210 | BacterialPneumonia e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 332-332 | Botulism e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 393-393 | Brucellosis e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1485-1485 | Cholera e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1901-1901 | Diphtheria e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 364-364 | Glanders e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1159-1159 | Gonorrhea e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1883-1883 | Legionellosis e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 271-271 | LouseBorneTyphus e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1404-1404 | LymeDisease e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 380-380 | Melioidosis e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1765-1765 | NecrotizingFaciitis e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1577-1577 | Pertussis e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 411-411 | Plague e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1601-1601 | Psittacosis e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1162-1162 | QFever e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 258-258 | RockyMountainSpottedFever e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1760-1760 | ScarletFever e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1755-1755 | StrepThroat e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1497-1497 | Tetanus e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6178-6178 | Tuberculosis e' uma instancia de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1214-1214 | Tularemia e' uma instancia de BacterialDisease |
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 9698-9703 |
|