Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Ulcer
Ulcer(ulcer)

appearance as argument number 1
-------------------------


(subclass Ulcer AbnormalAnatomicalStructure) Mid-level-ontology.kif 10912-10912 Ulcer is a subclass of abnormal anatomical structure
(documentation Ulcer EnglishLanguage "A HoleRegion in a body surface.") Mid-level-ontology.kif 10913-10913 Ulcer is a subclass of abnormal anatomical structure

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Ulcer "ulcer") Mid-level-ontology.kif 10914-10914

antecedent
-------------------------


(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H HoleRegion)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))		 Mid-level-ontology.kif 10916-10923 If X is an instance of ulcer, then there exist Y, Z such that Y is an instance of hole, Z is an instance of body part, equal Z, the host of the hole Y, and Z is a part of X

consequent
-------------------------


(=>
    (attribute ?H PepticUlcers)
    (exists (?S ?U)
        (and
            (instance ?S Stomach)
            (instance ?U Ulcer)
            (part ?S ?H)
            (located ?U ?S))))		 Medicine.kif 4993-5000 If stomach ulcers is an attribute of X, then there exist Y, Z such that Y is an instance of stomach, Z is an instance of ulcer, Y is a part of X, and Z is located at Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners