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 子類 病毒性疾病 and 傳染病

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


(instance Covid19 ViralDisease) VirusProteinAndCellPart.kif 1233-1233 例 Covid19 and 病毒性疾病
(instance DengueFever ViralDisease) WMD.kif 1646-1646 例 登革熱 and 病毒性疾病
(instance EasternEquineEncephalitis ViralDisease) WMD.kif 1696-1696 例 東部馬腦炎 and 病毒性疾病
(instance HerpesB ViralDisease) WMD.kif 1517-1517 例 皰疹B and 病毒性疾病
(instance JapaneseEncephalitis ViralDisease) WMD.kif 1710-1710 例 日本腦炎 and 病毒性疾病
(instance LaCrosseEncephalitis ViralDisease) WMD.kif 1666-1666 例 la crosse 腦炎 and 病毒性疾病
(instance LassaFever ViralDisease) WMD.kif 1863-1863 例 拉沙熱 and 病毒性疾病
(instance MarburgDisease ViralDisease) WMD.kif 1740-1740 例 馬爾堡病 and 病毒性疾病
(instance Mixomatosis ViralDisease) WMD.kif 1238-1238 例 mixomatosis and 病毒性疾病
(instance Monkeypox ViralDisease) WMD.kif 1228-1228 例 猴痘 and 病毒性疾病
(instance RotavirusGastroenteritis ViralDisease) WMD.kif 1822-1822 例 輪狀病毒腸胃炎 and 病毒性疾病
(instance SaintLouisEncephalitis ViralDisease) WMD.kif 1680-1680 例 聖路易斯腦炎 and 病毒性疾病
(instance Smallpox ViralDisease) WMD.kif 1220-1220 例 天花 and 病毒性疾病
(instance WestNileFever ViralDisease) WMD.kif 1631-1631 例 西尼羅河熱 and 病毒性疾病
(instance YellowSkin ViralDisease) WMD.kif 1169-1169 例 黃皮膚黃 and 病毒性疾病
(subclass HemorrhagicFever ViralDisease) WMD.kif 1119-1119 子類 出血熱 and 病毒性疾病
(subclass Hepatitis ViralDisease) WMD.kif 1777-1777 子類 肝炎 and 病毒性疾病
(subclass Influenza ViralDisease) WMD.kif 1447-1447 子類 流感 and 病毒性疾病
(subclass RiftValleyFever ViralDisease) WMD.kif 1423-1423 子類 裂谷熱 and 病毒性疾病
(subclass TickBorneEncephalitis ViralDisease) WMD.kif 2036-2036 子類 蜱傳腦炎 and 病毒性疾病
(subclass VenezuelanEquineEncephalitis ViralDisease) WMD.kif 1408-1408 子類 委內瑞拉馬腦炎 and 病毒性疾病
(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