|
|
   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 | 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 6216-6216 | 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 6184-6184 | 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 9671-9676 |
|
|
|
|