TreeView Knowledge Base Browser

appearance as argument number 1

(documentation VocalFold EnglishLanguage "A smooth muscle found in pairs and comprising the VocalCords.")	Mid-level-ontology.kif 799-800
(initialPart VocalFold VocalCords)	Mid-level-ontology.kif 797-797	Every vocal fold is initially part of a vocal cords
(subclass VocalFold BodyPart)	Mid-level-ontology.kif 798-798	Vocal fold is a subclass of body part

appearance as argument number 2

(termFormat EnglishLanguage VocalFold "vocal fold")

domainEnglishFormat.kif 65710-65710

consequent

(=>
    (and
        (instance ?V VocalCords)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?V ?D)))
    (exists (?F1 ?F2)
        (and
            (instance ?F1 VocalFold)
            (instance ?F2 VocalFold)
            (not
                (equal ?F1 ?F2))
            (part ?F1 ?V)
            (part ?F2 ?V))))

Mid-level-ontology.kif 802-815

If an object is an instance of vocal cords and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object,
then there exist another object and a third object such that the other object is an instance of vocal fold and the third object is an instance of vocal fold and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the 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: