Edema - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Edema

Edema(swelling)

Quincke's_edema, anasarca, angioedema, atrophedema, bighead, brain_edema, cerebral_edema, chemosis, cystoid_macular_edema, dropsy, edema, giant_hives, hydrops, lump, lymphedema, oedema, papilledema, periodic_edema, puffiness, swelling

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11288-11303
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11286-11286	Swelling is a subclass of pathologic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11327-11327	The values returned by edema are subclasses of swelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11307-11307	The values returned by edema are subclasses of swelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11304-11304	The values returned by edema are subclasses of swelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11306-11306	The values returned by edema are subclasses of swelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11308-11308	The values returned by edema are subclasses of swelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11305-11305	The values returned by edema are subclasses of swelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11309-11309	The values returned by edema are subclasses of swelling

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 11311-11323

If a process is an instance of swelling and an agent experiences the process,
then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process

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