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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViralDisease
ViralDisease(viral disease)bluetongue, cold, cold_sore, common_cold, fever_blister, genital_herpes, herpangia, herpes, herpes_genitalis, herpes_labialis, herpes_simplex, herpes_zoster, oral_herpes, shingles, zoster

appearance as argument number 1
-------------------------


s__documentation(s__ViralDisease,s__EnglishLanguage,'"A disease that is caused by instances of a Virus."')

Mid-level-ontology.kif 5590-5591
s__instance(s__InfectiousDisease,s__SetOrClass)

s__instance(s__ViralDisease,s__SetOrClass)

s__subclass(s__ViralDisease,s__InfectiousDisease)

Mid-level-ontology.kif 5589-5589 Viral disease is a subclass of infectious disease

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


s__instance(s__Covid19,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

VirusProteinAndCellPart.kif 651-651 Covid is an instance of viral disease
s__instance(s__DengueFever,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1585-1585 Dengue fever is an instance of viral disease
s__instance(s__EasternEquineEncephalitis,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1635-1635 Eastern equine encephalitis is an instance of viral disease
s__instance(s__ViralDisease,s__SetOrClass)

s__instance(s__HerpesB,s__ViralDisease)

WMD.kif 1487-1487 Herpes b is an instance of viral disease
s__instance(s__JapaneseEncephalitis,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1649-1649 Japanese encephalitis is an instance of viral disease
s__instance(s__LaCrosseEncephalitis,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1605-1605 La crosse encephalitis is an instance of viral disease
s__instance(s__ViralDisease,s__SetOrClass)

s__instance(s__LassaFever,s__ViralDisease)

WMD.kif 1802-1802 Lassa fever is an instance of viral disease
s__instance(s__ViralDisease,s__SetOrClass)

s__instance(s__MarburgDisease,s__ViralDisease)

WMD.kif 1679-1679 Marburg disease is an instance of viral disease
s__instance(s__Mixomatosis,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1224-1224 Mixomatosis is an instance of viral disease
s__instance(s__Monkeypox,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1214-1214 Monkeypox is an instance of viral disease
s__instance(s__RotavirusGastroenteritis,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1761-1761 Rotavirus gastroenteritis is an instance of viral disease
s__instance(s__SaintLouisEncephalitis,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1619-1619 Saint louis encephalitis is an instance of viral disease
s__instance(s__Smallpox,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1206-1206 Smallpox is an instance of viral disease
s__instance(s__ViralDisease,s__SetOrClass)

s__instance(s__WestNileFever,s__ViralDisease)

WMD.kif 1570-1570 West nile fever is an instance of viral disease
s__instance(s__YellowSkin,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1155-1155 Yellow skin is an instance of viral disease
s__subclass(s__HemorrhagicFever,s__ViralDisease)

s__instance(s__HemorrhagicFever,s__SetOrClass)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1107-1107 Hemorrhagic fever is a subclass of viral disease
s__subclass(s__Hepatitis,s__ViralDisease)

s__instance(s__Hepatitis,s__SetOrClass)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1716-1716 Hepatitis is a subclass of viral disease
s__subclass(s__Influenza,s__ViralDisease)

s__instance(s__Influenza,s__SetOrClass)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1417-1417 Influenza is a subclass of viral disease
s__instance(s__RiftValleyFever,s__SetOrClass)

s__subclass(s__RiftValleyFever,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1393-1393 Rift valley fever is a subclass of viral disease
s__instance(s__TickBorneEncephalitis,s__SetOrClass)

s__subclass(s__TickBorneEncephalitis,s__ViralDisease)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1970-1970 Tick borne encephalitis is a subclass of viral disease
s__subclass(s__VenezuelanEquineEncephalitis,s__ViralDisease)

s__instance(s__VenezuelanEquineEncephalitis,s__SetOrClass)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1378-1378 Venezuelan equine encephalitis is a subclass of viral disease
s__termFormat(s__ChineseLanguage,s__ViralDisease,'"病毒性疾病"')

domainEnglishFormat.kif 61673-61673
s__termFormat(s__ChineseTraditionalLanguage,s__ViralDisease,'"病毒性疾病"')

domainEnglishFormat.kif 61672-61672
s__termFormat(s__EnglishLanguage,s__ViralDisease,'"viral disease"')

domainEnglishFormat.kif 61671-61671

antecedent
-------------------------


( ! [V__DISEASE] :
   ((s__instance(V__DISEASE,s__ViralDisease) =>
       (( ? [V__PROCESS] :
           ((s__subclass(V__PROCESS,s__Process) &
               ~(s__diseaseTreatment(V__DISEASE,s__Antibiotic,V__PROCESS)))))))
   )
)

WMD.kif 1263-1267

consequent
-------------------------


( ! [V__VIRUS,V__SYNDROME] :
   (((s__subclass(V__VIRUS,s__BiochemicalAgent) &
         s__instance(V__SYNDROME,s__DiseaseOrSyndrome))
       =>
       (((s__instance(V__VIRUS,s__ViralAgent) &
             s__biochemicalAgentSyndrome(V__VIRUS,V__SYNDROME))
         =>
         (s__instance(V__SYNDROME,s__ViralDisease)))))
   )
)

WMD.kif 1118-1122
( ! [V__AVM] :
   ((s__subclass(V__AVM,s__Medicine) =>
       ((s__instance(V__AVM,s__AntiViralMedicine) =>
           (( ? [V__D] :
               ((s__instance(V__D,s__ViralDisease) &
                   s__medicine(V__AVM,V__D))))))))
   )
)

VirusProteinAndCellPart.kif 700-705


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