TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Ulcer "ulcer")

Mid-level-ontology.kif 9422-9422

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

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

KB Term:			Term intersection

English Word: