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 5821-5822
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ d/ d7/ CulexNil.jpg")	pictureList.kif 7109-7109
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ e/ ea/ 4microssopes4.jpg")	pictureList.kif 7110-7110
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Mallon-Mary_01.jpg")	pictureList.kif 7111-7111
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ K_pneumoniae_M_morganii_providencia_styphimuriuma.JPG")	pictureList.kif 7112-7112
(subclass InfectiousDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5820-5820	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 InfectionFn is an instance of infectious disease
(subclass BacterialDisease InfectiousDisease)	Mid-level-ontology.kif 5816-5816	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 5941-5941	Viral disease is a subclass of infectious disease
(termFormat ChineseLanguage InfectiousDisease "传染病")	domainEnglishFormat.kif 30005-30005	Viral disease is a subclass of infectious disease
(termFormat ChineseTraditionalLanguage InfectiousDisease "傳染病")	domainEnglishFormat.kif 30004-30004	Viral disease is a subclass of infectious disease
(termFormat EnglishLanguage InfectiousDisease "infectious disease")	domainEnglishFormat.kif 30003-30003	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 5824-5833	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 1374-1381	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 1374-1381	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 5308-5318	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