|
|
   ViralDisease
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5947-5948 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5946-5946 | ViralDisease est une sous-classe de InfectiousDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1232-1232 | Covid19 est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1646-1646 | DengueFever est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1696-1696 | EasternEquineEncephalitis est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1517-1517 | HerpesB est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1710-1710 | JapaneseEncephalitis est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1666-1666 | LaCrosseEncephalitis est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1863-1863 | LassaFever est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1740-1740 | MarburgDisease est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1238-1238 | Mixomatosis est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1228-1228 | Monkeypox est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1822-1822 | RotavirusGastroenteritis est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1680-1680 | SaintLouisEncephalitis est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1220-1220 | Smallpox est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1631-1631 | WestNileFever est une instance de ViralDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1169-1169 | YellowSkin est une instance de ViralDisease |
| 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 1777-1777 | Hepatitis 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 1423-1423 | RiftValleyFever 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 |
| 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. | domainEnglishFormat.kif 61706-61706 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61705-61705 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61704-61704 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1278-1282 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1257-1264 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1131-1136 |
|
|
|
|