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 は InfectiousDisease の subclass では %n

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


(instance Covid19 ViralDisease) VirusProteinAndCellPart.kif 1233-1233 Covid19 は ViralDisease の instance では %n
(instance DengueFever ViralDisease) WMD.kif 1646-1646 DengueFever は ViralDisease の instance では %n
(instance EasternEquineEncephalitis ViralDisease) WMD.kif 1696-1696 EasternEquineEncephalitis は ViralDisease の instance では %n
(instance HerpesB ViralDisease) WMD.kif 1517-1517 HerpesB は ViralDisease の instance では %n
(instance JapaneseEncephalitis ViralDisease) WMD.kif 1710-1710 JapaneseEncephalitis は ViralDisease の instance では %n
(instance LaCrosseEncephalitis ViralDisease) WMD.kif 1666-1666 LaCrosseEncephalitis は ViralDisease の instance では %n
(instance LassaFever ViralDisease) WMD.kif 1863-1863 LassaFever は ViralDisease の instance では %n
(instance MarburgDisease ViralDisease) WMD.kif 1740-1740 MarburgDisease は ViralDisease の instance では %n
(instance Mixomatosis ViralDisease) WMD.kif 1238-1238 Mixomatosis は ViralDisease の instance では %n
(instance Monkeypox ViralDisease) WMD.kif 1228-1228 Monkeypox は ViralDisease の instance では %n
(instance RotavirusGastroenteritis ViralDisease) WMD.kif 1822-1822 RotavirusGastroenteritis は ViralDisease の instance では %n
(instance SaintLouisEncephalitis ViralDisease) WMD.kif 1680-1680 SaintLouisEncephalitis は ViralDisease の instance では %n
(instance Smallpox ViralDisease) WMD.kif 1220-1220 Smallpox は ViralDisease の instance では %n
(instance WestNileFever ViralDisease) WMD.kif 1631-1631 WestNileFever は ViralDisease の instance では %n
(instance YellowSkin ViralDisease) WMD.kif 1169-1169 YellowSkin は ViralDisease の instance では %n
(subclass HemorrhagicFever ViralDisease) WMD.kif 1119-1119 HemorrhagicFever は ViralDisease の subclass では %n
(subclass Hepatitis ViralDisease) WMD.kif 1777-1777 Hepatitis は ViralDisease の subclass では %n
(subclass Influenza ViralDisease) WMD.kif 1447-1447 Influenza は ViralDisease の subclass では %n
(subclass RiftValleyFever ViralDisease) WMD.kif 1423-1423 RiftValleyFever は ViralDisease の subclass では %n
(subclass TickBorneEncephalitis ViralDisease) WMD.kif 2036-2036 TickBorneEncephalitis は ViralDisease の subclass では %n
(subclass VenezuelanEquineEncephalitis ViralDisease) WMD.kif 1408-1408 VenezuelanEquineEncephalitis は ViralDisease の subclass では %n
(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