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 病毒性疾病 是 传染病 的 subclass

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


(instance Covid19 ViralDisease) VirusProteinAndCellPart.kif 1233-1233 Covid19 是 病毒性疾病 的 instance
(instance DengueFever ViralDisease) WMD.kif 1646-1646 登革热 是 病毒性疾病 的 instance
(instance EasternEquineEncephalitis ViralDisease) WMD.kif 1696-1696 东部马脑炎 是 病毒性疾病 的 instance
(instance HerpesB ViralDisease) WMD.kif 1517-1517 疱疹B 是 病毒性疾病 的 instance
(instance JapaneseEncephalitis ViralDisease) WMD.kif 1710-1710 日本脑炎 是 病毒性疾病 的 instance
(instance LaCrosseEncephalitis ViralDisease) WMD.kif 1666-1666 La crosse 脑炎 是 病毒性疾病 的 instance
(instance LassaFever ViralDisease) WMD.kif 1863-1863 拉沙热 是 病毒性疾病 的 instance
(instance MarburgDisease ViralDisease) WMD.kif 1740-1740 马尔堡病 是 病毒性疾病 的 instance
(instance Mixomatosis ViralDisease) WMD.kif 1238-1238 Mixomatosis 是 病毒性疾病 的 instance
(instance Monkeypox ViralDisease) WMD.kif 1228-1228 猴痘 是 病毒性疾病 的 instance
(instance RotavirusGastroenteritis ViralDisease) WMD.kif 1822-1822 轮状病毒肠胃炎 是 病毒性疾病 的 instance
(instance SaintLouisEncephalitis ViralDisease) WMD.kif 1680-1680 圣路易斯脑炎 是 病毒性疾病 的 instance
(instance Smallpox ViralDisease) WMD.kif 1220-1220 天花 是 病毒性疾病 的 instance
(instance WestNileFever ViralDisease) WMD.kif 1631-1631 西尼罗河热 是 病毒性疾病 的 instance
(instance YellowSkin ViralDisease) WMD.kif 1169-1169 黄皮肤 是 病毒性疾病 的 instance
(subclass HemorrhagicFever ViralDisease) WMD.kif 1119-1119 出血热 是 病毒性疾病 的 subclass
(subclass Hepatitis ViralDisease) WMD.kif 1777-1777 肝炎 是 病毒性疾病 的 subclass
(subclass Influenza ViralDisease) WMD.kif 1447-1447 流感 是 病毒性疾病 的 subclass
(subclass RiftValleyFever ViralDisease) WMD.kif 1423-1423 裂谷热 是 病毒性疾病 的 subclass
(subclass TickBorneEncephalitis ViralDisease) WMD.kif 2036-2036 蜱传脑炎 是 病毒性疾病 的 subclass
(subclass VenezuelanEquineEncephalitis ViralDisease) WMD.kif 1408-1408 委内瑞拉马脑炎 是 病毒性疾病 的 subclass
(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