InfectiousDisease - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - InfectiousDisease

InfectiousDisease(infectious disease)

cross_infection, epidemic_disease, foot_rot, infection, infectious, infectious_disease, infective, listeria_meningitis, listeriosis, lower_respiratory_infection, nonsocial_infection, paronychia, protozoal_infection, respiratory_infection, respiratory_tract_infection, upper_respiratory_infection, viral_infection, virus_infection

appearance as argument number 1

(documentation InfectiousDisease EnglishLanguage "Any DiseaseOrSyndrome that is caused by a Microorganism.")	Mid-level-ontology.kif 6783-6784
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ d/ d7/ CulexNil.jpg")	pictureList.kif 7108-7108
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ e/ ea/ 4microssopes4.jpg")	pictureList.kif 7109-7109
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Mallon_Mary_01.jpg")	pictureList.kif 7110-7110
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ K_pneumoniae_M_morganii_providencia_styphimuriuma.JPG")	pictureList.kif 7111-7111
(subclass InfectiousDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 6782-6782	Infectious disease is a subclass of disease or syndrome

appearance as argument number 2

(instance Malaria InfectiousDisease)	WMD.kif 1607-1607	Malaria is an instance of infectious disease
(range InfectionFn InfectiousDisease)	Medicine.kif 2001-2001	The range of infection is an instance of infectious disease
(subclass BacterialDisease InfectiousDisease)	Mid-level-ontology.kif 6778-6778	Bacterial disease is a subclass of infectious disease
(subclass VaccinatableDisease InfectiousDisease)	WMD.kif 1042-1042	Vaccinatable disease is a subclass of infectious disease
(subclass ViralDisease InfectiousDisease)	Mid-level-ontology.kif 6903-6903	Viral disease is a subclass of infectious disease
(termFormat ChineseLanguage InfectiousDisease "传染病")	domainEnglishFormat.kif 29999-29999	Viral disease is a subclass of infectious disease
(termFormat ChineseTraditionalLanguage InfectiousDisease "傳染病")	domainEnglishFormat.kif 29998-29998	Viral disease is a subclass of infectious disease
(termFormat EnglishLanguage InfectiousDisease "infectious disease")	domainEnglishFormat.kif 29997-29997	Viral disease is a subclass of infectious disease

antecedent

(=> (and (instance ?I InfectiousDisease) (attribute ?A ?I)) (exists (?P ?O) (and (instance ?P PathologicProcess) (agent ?P ?O) (instance ?O Microorganism) (experiencer ?P ?A))))	Mid-level-ontology.kif 6786-6795	If an attribute is an instance of infectious disease and the attribute is an attribute of an agent, then there exist a process and another agent such that the process is an instance of pathologic process and the other agent is an agent of the process and the other agent is an instance of microorganism and the agent experiences the process
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting)))	Medicine.kif 1366-1373	If infectious disease is an attribute of an entity and diabetes mellitus is an attribute of the entity and impaired body part fn foot is an attribute of the entity holds during a time position, then infectious disease is disease treatment ertapenem for injecting holds during the time position

consequent

(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting)))	Medicine.kif 1366-1373	If infectious disease is an attribute of an entity and diabetes mellitus is an attribute of the entity and impaired body part fn foot is an attribute of the entity holds during a time position, then infectious disease is disease treatment ertapenem for injecting holds during the time position
(=> (holdsDuring ?T (attribute ?H Reinfection)) (and (holdsDuring ?T (and (instance ?D InfectiousDisease) (attribute ?H ?D))) (holdsDuring ?TEARLY (attribute ?H ?D)) (earlier ?TEARLY ?T)))	Medicine.kif 5317-5327	If reinfection is an attribute of an entity holds during a time interval, then another entity is an instance of infectious disease and the other entity is an attribute of the entity holds during the time interval and the other entity is an attribute of the entity holds during the time intervalEARLY and the time intervalEARLY happens earlier than the time interval

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