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


KB Term:  Term intersection
English Word: 

  Ulcer

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