| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5946-5946 | ViralDisease est une sous-classe de InfectiousDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1119-1119 | HemorrhagicFever est une sous-classe de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1408-1408 | VenezuelanEquineEncephalitis est une sous-classe de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1423-1423 | RiftValleyFever est une sous-classe de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1447-1447 | Influenza est une sous-classe de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1777-1777 | Hepatitis est une sous-classe de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2036-2036 | TickBorneEncephalitis est une sous-classe de ViralDisease |
|
|