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 5942-5943
(subclass ViralDisease InfectiousDisease) Mid-level-ontology.kif 5941-5941 ViralDisease è una sottoclasse di InfectiousDisease

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


(instance Covid19 ViralDisease) VirusProteinAndCellPart.kif 1234-1234 Covid19 è un' istanza di ViralDisease
(instance DengueFever ViralDisease) WMD.kif 1646-1646 DengueFever è un' istanza di ViralDisease
(instance EasternEquineEncephalitis ViralDisease) WMD.kif 1696-1696 EasternEquineEncephalitis è un' istanza di ViralDisease
(instance HerpesB ViralDisease) WMD.kif 1517-1517 HerpesB è un' istanza di ViralDisease
(instance JapaneseEncephalitis ViralDisease) WMD.kif 1710-1710 JapaneseEncephalitis è un' istanza di ViralDisease
(instance LaCrosseEncephalitis ViralDisease) WMD.kif 1666-1666 LaCrosseEncephalitis è un' istanza di ViralDisease
(instance LassaFever ViralDisease) WMD.kif 1863-1863 LassaFever è un' istanza di ViralDisease
(instance MarburgDisease ViralDisease) WMD.kif 1740-1740 MarburgDisease è un' istanza di ViralDisease
(instance Mixomatosis ViralDisease) WMD.kif 1238-1238 Mixomatosis è un' istanza di ViralDisease
(instance Monkeypox ViralDisease) WMD.kif 1228-1228 Monkeypox è un' istanza di ViralDisease
(instance RotavirusGastroenteritis ViralDisease) WMD.kif 1822-1822 RotavirusGastroenteritis è un' istanza di ViralDisease
(instance SaintLouisEncephalitis ViralDisease) WMD.kif 1680-1680 SaintLouisEncephalitis è un' istanza di ViralDisease
(instance Smallpox ViralDisease) WMD.kif 1220-1220 Smallpox è un' istanza di ViralDisease
(instance WestNileFever ViralDisease) WMD.kif 1631-1631 WestNileFever è un' istanza di ViralDisease
(instance YellowSkin ViralDisease) WMD.kif 1169-1169 YellowSkin è un' istanza di ViralDisease
(subclass HemorrhagicFever ViralDisease) WMD.kif 1119-1119 HemorrhagicFever è una sottoclasse di ViralDisease
(subclass Hepatitis ViralDisease) WMD.kif 1777-1777 Hepatitis è una sottoclasse di ViralDisease
(subclass Influenza ViralDisease) WMD.kif 1447-1447 Influenza è una sottoclasse di ViralDisease
(subclass RiftValleyFever ViralDisease) WMD.kif 1423-1423 RiftValleyFever è una sottoclasse di ViralDisease
(subclass TickBorneEncephalitis ViralDisease) WMD.kif 2036-2036 TickBorneEncephalitis è una sottoclasse di ViralDisease
(subclass VenezuelanEquineEncephalitis ViralDisease) WMD.kif 1408-1408 VenezuelanEquineEncephalitis è una sottoclasse di ViralDisease
(termFormat ChineseLanguage ViralDisease "病毒性疾病") domainEnglishFormat.kif 61708-61708
(termFormat ChineseTraditionalLanguage ViralDisease "病毒性疾病") domainEnglishFormat.kif 61707-61707
(termFormat EnglishLanguage ViralDisease "viral disease") domainEnglishFormat.kif 61706-61706

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 1259-1266
(=>
    (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