TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Ulcer EnglishLanguage "A HoleRegion in a body surface.")	Mid-level-ontology.kif 9448-9448
(subclass Ulcer AbnormalAnatomicalStructure)	Mid-level-ontology.kif 9447-9447	Ulcer ist eine teilkategorie von AbnormalAnatomicalStructure

appearance as argument number 2

(termFormat EnglishLanguage Ulcer "ulcer")

Mid-level-ontology.kif 9449-9449

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

Wenn Object ist ein fall von Ulcer %n{nicht},
dann es gibt HoleRegion und ** Object um ** HoleRegion ist ein fall von HoleRegion %n{nicht} und ** ** Object ist ein fall von BodyPart %n{nicht} und ** ** Object ist gleich HoleHostFn ** HoleRegion %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}

consequent

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

Medicine.kif 4972-4979

Wenn PepticUlcers ist ein attribut von Object %n{nicht},
dann es gibt ** Object und Physical um ** ** Object ist ein fall von Stomach %n{nicht} und ** Physical ist ein fall von Ulcer %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** Physical befindet sich an %n{nicht}

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: