|
|
   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 | Viral disease is a subclass of infectious disease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1233-1233 | Covid is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1646-1646 | Dengue fever is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1696-1696 | Eastern equine encephalitis is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1517-1517 | Herpes b is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1710-1710 | Japanese encephalitis is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1666-1666 | La crosse encephalitis is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1863-1863 | Lassa fever is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1740-1740 | Marburg disease is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1238-1238 | Mixomatosis is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1228-1228 | Monkeypox is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1822-1822 | Rotavirus gastroenteritis is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1680-1680 | Saint louis encephalitis is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1220-1220 | Smallpox is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1631-1631 | West nile fever is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1169-1169 | Yellow skin is an instance of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1119-1119 | Hemorrhagic fever is a subclass of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1777-1777 | Hepatitis is a subclass of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1447-1447 | Influenza is a subclass of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1423-1423 | Rift valley fever is a subclass of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2036-2036 | Tick borne encephalitis is a subclass of viral disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1408-1408 | Venezuelan equine encephalitis is a subclass of viral disease |
| 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 |
|
|
|
|