Ulcer - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Ulcer "ulcer")

Mid-level-ontology.kif 9640-9640

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

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