TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ViralDisease EnglishLanguage "A disease that is caused by instances of a Virus.")	Mid-level-ontology.kif 6881-6882
(subclass ViralDisease InfectiousDisease)	Mid-level-ontology.kif 6880-6880	Viral disease is a subclass of infectious disease

appearance as argument number 2

(instance Covid19 ViralDisease)	VirusProteinAndCellPart.kif 1241-1241	Covid is an instance of viral disease
(instance DengueFever ViralDisease)	WMD.kif 1646-1646	Dengue fever is an instance of viral disease
(instance EasternEquineEncephalitis ViralDisease)	WMD.kif 1696-1696	Eastern equine encephalitis is an instance of viral disease
(instance HerpesB ViralDisease)	WMD.kif 1517-1517	Herpes b is an instance of viral disease
(instance JapaneseEncephalitis ViralDisease)	WMD.kif 1710-1710	Japanese encephalitis is an instance of viral disease
(instance LaCrosseEncephalitis ViralDisease)	WMD.kif 1666-1666	La crosse encephalitis is an instance of viral disease
(instance LassaFever ViralDisease)	WMD.kif 1863-1863	Lassa fever is an instance of viral disease
(instance MarburgDisease ViralDisease)	WMD.kif 1740-1740	Marburg disease is an instance of viral disease
(instance Mixomatosis ViralDisease)	WMD.kif 1238-1238	Mixomatosis is an instance of viral disease
(instance Monkeypox ViralDisease)	WMD.kif 1228-1228	Monkeypox is an instance of viral disease
(instance RotavirusGastroenteritis ViralDisease)	WMD.kif 1822-1822	Rotavirus gastroenteritis is an instance of viral disease
(instance SaintLouisEncephalitis ViralDisease)	WMD.kif 1680-1680	Saint louis encephalitis is an instance of viral disease
(instance Smallpox ViralDisease)	WMD.kif 1220-1220	Smallpox is an instance of viral disease
(instance WestNileFever ViralDisease)	WMD.kif 1631-1631	West nile fever is an instance of viral disease
(instance YellowSkin ViralDisease)	WMD.kif 1169-1169	Yellow skin is an instance of viral disease
(subclass HemorrhagicFever ViralDisease)	WMD.kif 1119-1119	Hemorrhagic fever is a subclass of viral disease
(subclass Hepatitis ViralDisease)	WMD.kif 1777-1777	Hepatitis is a subclass of viral disease
(subclass Influenza ViralDisease)	WMD.kif 1447-1447	Influenza is a subclass of viral disease
(subclass RiftValleyFever ViralDisease)	WMD.kif 1423-1423	Rift valley fever is a subclass of viral disease
(subclass TickBorneEncephalitis ViralDisease)	WMD.kif 2036-2036	Tick borne encephalitis is a subclass of viral disease
(subclass VenezuelanEquineEncephalitis ViralDisease)	WMD.kif 1408-1408	Venezuelan equine encephalitis is a subclass of viral disease
(termFormat ChineseLanguage ViralDisease "病毒性疾病")	domainEnglishFormat.kif 61699-61699	Venezuelan equine encephalitis is a subclass of viral disease
(termFormat ChineseTraditionalLanguage ViralDisease "病毒性疾病")	domainEnglishFormat.kif 61698-61698	Venezuelan equine encephalitis is a subclass of viral disease
(termFormat EnglishLanguage ViralDisease "viral disease")	domainEnglishFormat.kif 61697-61697	Venezuelan equine encephalitis is a subclass of viral disease

antecedent

(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseMedicine ?DISEASE Antibiotic ?PROCESS))))

WMD.kif 1278-1282

If a disease or syndrome is an instance of viral disease,
then there exists a kind of process such that the disease or syndrome isn't disease treatment antibiotic for a kind of process

consequent

(=> (and (instance ?AVM AntiViralMedicine) (instance ?AVM ?CLASS)) (exists (?D) (and (instance ?D ViralDisease) (medicine ?CLASS ?D))))	VirusProteinAndCellPart.kif 1266-1273	If an entity is an instance of anti viral medicine and the entity is an instance of a kind of medicine, then there exists a disease or syndrome such that the disease or syndrome is an instance of viral disease and a kind of medicine is medicine for the disease or syndrome
(=> (and (instance ?VIRUS ViralAgent) (instance ?VIRUS ?CLASS) (biochemicalAgentSyndrome ?CLASS ?SYNDROME)) (instance ?SYNDROME ViralDisease))	WMD.kif 1131-1136	If an entity is an instance of viral agent and the entity is an instance of a kind of biochemical agent and a disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent, then the disease or syndrome is an instance of viral disease

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

KB Term:			Term intersection

English Word: