Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViralDisease
ViralDisease

appearance as argument number 1
-------------------------


(documentation ViralDisease EnglishLanguage "A disease that is caused by instances of a Virus.") Mid-level-ontology.kif 5948-5949
(subclass ViralDisease InfectiousDisease) Mid-level-ontology.kif 5947-5947 ViralDisease e' uma sub-classe de InfectiousDisease

appearance as argument number 2
-------------------------


(instance Covid19 ViralDisease) VirusProteinAndCellPart.kif 1233-1233 Covid19 e' uma instancia de ViralDisease
(instance DengueFever ViralDisease) WMD.kif 1646-1646 DengueFever e' uma instancia de ViralDisease
(instance EasternEquineEncephalitis ViralDisease) WMD.kif 1696-1696 EasternEquineEncephalitis e' uma instancia de ViralDisease
(instance HerpesB ViralDisease) WMD.kif 1517-1517 HerpesB e' uma instancia de ViralDisease
(instance JapaneseEncephalitis ViralDisease) WMD.kif 1710-1710 JapaneseEncephalitis e' uma instancia de ViralDisease
(instance LaCrosseEncephalitis ViralDisease) WMD.kif 1666-1666 LaCrosseEncephalitis e' uma instancia de ViralDisease
(instance LassaFever ViralDisease) WMD.kif 1863-1863 LassaFever e' uma instancia de ViralDisease
(instance MarburgDisease ViralDisease) WMD.kif 1740-1740 MarburgDisease e' uma instancia de ViralDisease
(instance Mixomatosis ViralDisease) WMD.kif 1238-1238 Mixomatosis e' uma instancia de ViralDisease
(instance Monkeypox ViralDisease) WMD.kif 1228-1228 Monkeypox e' uma instancia de ViralDisease
(instance RotavirusGastroenteritis ViralDisease) WMD.kif 1822-1822 RotavirusGastroenteritis e' uma instancia de ViralDisease
(instance SaintLouisEncephalitis ViralDisease) WMD.kif 1680-1680 SaintLouisEncephalitis e' uma instancia de ViralDisease
(instance Smallpox ViralDisease) WMD.kif 1220-1220 Smallpox e' uma instancia de ViralDisease
(instance WestNileFever ViralDisease) WMD.kif 1631-1631 WestNileFever e' uma instancia de ViralDisease
(instance YellowSkin ViralDisease) WMD.kif 1169-1169 YellowSkin e' uma instancia de ViralDisease
(subclass HemorrhagicFever ViralDisease) WMD.kif 1119-1119 HemorrhagicFever e' uma sub-classe de ViralDisease
(subclass Hepatitis ViralDisease) WMD.kif 1777-1777 Hepatitis e' uma sub-classe de ViralDisease
(subclass Influenza ViralDisease) WMD.kif 1447-1447 Influenza e' uma sub-classe de ViralDisease
(subclass RiftValleyFever ViralDisease) WMD.kif 1423-1423 RiftValleyFever e' uma sub-classe de ViralDisease
(subclass TickBorneEncephalitis ViralDisease) WMD.kif 2036-2036 TickBorneEncephalitis e' uma sub-classe de ViralDisease
(subclass VenezuelanEquineEncephalitis ViralDisease) WMD.kif 1408-1408 VenezuelanEquineEncephalitis e' uma sub-classe de ViralDisease
(termFormat ChineseLanguage ViralDisease "病毒性疾病") domainEnglishFormat.kif 61706-61706
(termFormat ChineseTraditionalLanguage ViralDisease "病毒性疾病") domainEnglishFormat.kif 61705-61705
(termFormat EnglishLanguage ViralDisease "viral disease") domainEnglishFormat.kif 61704-61704

antecedent
-------------------------


(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseMedicine ?DISEASE Antibiotic ?PROCESS))))		 WMD.kif 1278-1282

consequent
-------------------------


(=>
    (and
        (instance ?AVM AntiViralMedicine)
        (instance ?AVM ?CLASS))
    (exists (?D)
        (and
            (instance ?D ViralDisease)
            (medicine ?CLASS ?D))))		 VirusProteinAndCellPart.kif 1258-1265
(=>
    (and
        (instance ?VIRUS ViralAgent)
        (instance ?VIRUS ?CLASS)
        (biochemicalAgentSyndrome ?CLASS ?SYNDROME))
    (instance ?SYNDROME ViralDisease))		 WMD.kif 1131-1136


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners