ViralDisease |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5942-5943 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5941-5941 | ViralDisease e' uma sub-classe de InfectiousDisease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1234-1234 | Covid19 e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1646-1646 | DengueFever e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1696-1696 | EasternEquineEncephalitis e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1517-1517 | HerpesB e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1710-1710 | JapaneseEncephalitis e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1666-1666 | LaCrosseEncephalitis e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1863-1863 | LassaFever e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1740-1740 | MarburgDisease e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1238-1238 | Mixomatosis e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1228-1228 | Monkeypox e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1822-1822 | RotavirusGastroenteritis e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1680-1680 | SaintLouisEncephalitis e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1220-1220 | Smallpox e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1631-1631 | WestNileFever e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1169-1169 | YellowSkin e' uma instancia de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1119-1119 | HemorrhagicFever e' uma sub-classe de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1777-1777 | Hepatitis e' uma sub-classe de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1447-1447 | Influenza e' uma sub-classe de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1423-1423 | RiftValleyFever e' uma sub-classe de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2036-2036 | TickBorneEncephalitis e' uma sub-classe de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1408-1408 | VenezuelanEquineEncephalitis e' uma sub-classe de ViralDisease |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61708-61708 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61707-61707 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61706-61706 |
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 1259-1266 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1131-1136 |
|