TreeView Knowledge Base Browser - Ulcer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ulcer

Ulcer(ulcer)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9420-9420
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9419-9419	Ulcer is a subclass of abnormal anatomical structure

appearance as argument number 2

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

Mid-level-ontology.kif 9421-9421

antecedent

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

Mid-level-ontology.kif 9423-9430

If an object is an instance of ulcer,
then there exist a hole and another object such that the hole is an instance of hole and the other object is an instance of body part and the other object is equal to the host of the hole the hole and the other object is a part of the object

consequent

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

Medicine.kif 4972-4979

If stomach ulcers is an attribute of an object,
then there exist another object and a physical such that the other object is an instance of stomach and the physical is an instance of ulcer and the other object is a part of the object and the physical is located at the other object

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