Ulcer - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Ulcer "ulcer")

Mid-level-ontology.kif 10318-10318

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 10320-10327

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

(=>
    (attribute ?H PepticUlcers)
    (exists (?S ?U)
        (and
            (instance ?S Stomach)
            (instance ?U Ulcer)
            (part ?S ?H)
            (located ?U ?S))))

Medicine.kif 4960-4967

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 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

KB Term:			Term intersection

English Word: