| BacterialDisease | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5822-5823 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5821-5821 | BacterialDisease est une sous-classe de InfectiousDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1138-1138 | Anthrax est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6215-6215 | BacterialPneumonia est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 332-332 | Botulism est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 393-393 | Brucellosis est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1485-1485 | Cholera est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1901-1901 | Diphtheria est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 364-364 | Glanders est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1159-1159 | Gonorrhea est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1883-1883 | Legionellosis est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 271-271 | LouseBorneTyphus est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1404-1404 | LymeDisease est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 380-380 | Melioidosis est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1765-1765 | NecrotizingFaciitis est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1577-1577 | Pertussis est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 411-411 | Plague est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1601-1601 | Psittacosis est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1162-1162 | QFever est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 258-258 | RockyMountainSpottedFever est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1760-1760 | ScarletFever est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1755-1755 | StrepThroat est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1497-1497 | Tetanus est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6183-6183 | Tuberculosis est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1214-1214 | Tularemia est une instance 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 9670-9675 |
|
|
|
|