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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ViralDisease

 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 est une sous-classe de InfectiousDisease

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


(instance Covid19 ViralDisease) VirusProteinAndCellPart.kif 1233-1233 Covid19 est une instance de ViralDisease
(instance DengueFever ViralDisease) WMD.kif 1646-1646 DengueFever est une instance de ViralDisease
(instance EasternEquineEncephalitis ViralDisease) WMD.kif 1696-1696 EasternEquineEncephalitis est une instance de ViralDisease
(instance HerpesB ViralDisease) WMD.kif 1517-1517 HerpesB est une instance de ViralDisease
(instance JapaneseEncephalitis ViralDisease) WMD.kif 1710-1710 JapaneseEncephalitis est une instance de ViralDisease
(instance LaCrosseEncephalitis ViralDisease) WMD.kif 1666-1666 LaCrosseEncephalitis est une instance de ViralDisease
(instance LassaFever ViralDisease) WMD.kif 1863-1863 LassaFever est une instance de ViralDisease
(instance MarburgDisease ViralDisease) WMD.kif 1740-1740 MarburgDisease est une instance de ViralDisease
(instance Mixomatosis ViralDisease) WMD.kif 1238-1238 Mixomatosis est une instance de ViralDisease
(instance Monkeypox ViralDisease) WMD.kif 1228-1228 Monkeypox est une instance de ViralDisease
(instance RotavirusGastroenteritis ViralDisease) WMD.kif 1822-1822 RotavirusGastroenteritis est une instance de ViralDisease
(instance SaintLouisEncephalitis ViralDisease) WMD.kif 1680-1680 SaintLouisEncephalitis est une instance de ViralDisease
(instance Smallpox ViralDisease) WMD.kif 1220-1220 Smallpox est une instance de ViralDisease
(instance WestNileFever ViralDisease) WMD.kif 1631-1631 WestNileFever est une instance de ViralDisease
(instance YellowSkin ViralDisease) WMD.kif 1169-1169 YellowSkin est une instance de ViralDisease
(subclass HemorrhagicFever ViralDisease) WMD.kif 1119-1119 HemorrhagicFever est une sous-classe de ViralDisease
(subclass Hepatitis ViralDisease) WMD.kif 1777-1777 Hepatitis est une sous-classe de ViralDisease
(subclass Influenza ViralDisease) WMD.kif 1447-1447 Influenza est une sous-classe de ViralDisease
(subclass RiftValleyFever ViralDisease) WMD.kif 1423-1423 RiftValleyFever est une sous-classe de ViralDisease
(subclass TickBorneEncephalitis ViralDisease) WMD.kif 2036-2036 TickBorneEncephalitis est une sous-classe de ViralDisease
(subclass VenezuelanEquineEncephalitis ViralDisease) WMD.kif 1408-1408 VenezuelanEquineEncephalitis est une sous-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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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