|
|
   ViralDisease
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5948-5949 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5947-5947 | 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 1233-1233 | 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 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 1258-1265 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1131-1136 |
|
|
|
|