TreeView Knowledge Base Browser - InflammationFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - InflammationFn

InflammationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12411-12412
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12409-12409	The number 1 argument of inflammation is an instance of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12408-12408	Inflammation is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12410-12410	The range of inflammation is an instance of inflammation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12414-12414
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12413-12413

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6021-6027	If bronchitis is an attribute of an agent, then there exists a process such that the process is an instance of inflammation of bronchial duct and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4389-4395	If atopic dermatitis is an attribute of an agent, then there exists an entity such that the entity is an instance of inflammation of skin and the agent experiences a process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6207-6213	If pneumonia is an attribute of an agent, then there exists a process such that the process is an instance of inflammation of lung and the agent experiences the process

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11411-11411	Pericarditis is equal to inflammation of pericardial sac
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5227-5227	Hay fever is a subattribute of inflammation of nose
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2978-2978	Neuro-inflammation is a subclass of inflammation of nervous system
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5047-5047	Urosepsis is a subclass of inflammation of kidney

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