TreeView Knowledge Base Browser - InfectiousDisease

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

InfectiousDisease

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5826-5827
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7109-7109
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7110-7110
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7111-7111
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7112-7112
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5825-5825	Infectious disease is a subclass of disease or syndrome

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1607-1607	Malaria is an instance of infectious disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2001-2001	The range of InfectionFn is an instance of infectious disease
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5821-5821	Bacterial disease is a subclass of infectious disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1042-1042	Vaccinatable disease is a subclass of infectious disease
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5946-5946	Viral disease is a subclass of infectious disease
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29971-29971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29970-29970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29969-29969

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5829-5838	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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