VocalCords - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VocalCords EnglishLanguage "The vocal cords, are composed of two folds of mucous membrane stretched horizontally across the larynx. They vibrate, modulating the flow of air being expelled from the lungs during Vocalizing. ")	Mid-level-ontology.kif 779-782
(externalImage VocalCords "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 50/ Gray956.png/ 250px-Gray956.png")	pictureList.kif 12192-12192
(initialPart VocalCords Human)	Mid-level-ontology.kif 786-786	Every vocal cords is initially part of a human
(subclass VocalCords Organ)	Mid-level-ontology.kif 778-778	Vocal cords is a subclass of organ
(typicalPart VocalCords Human)	Mid-level-ontology.kif 784-784	A vocal cords is typically a part of a human
(typicallyContainsPart VocalCords Human)	Mid-level-ontology.kif 785-785	A human typically has a part vocal cords

appearance as argument number 2

(initialPart VocalFold VocalCords)	Mid-level-ontology.kif 797-797	Every vocal fold is initially part of a vocal cords
(termFormat EnglishLanguage VocalCords "vocal cords")	domainEnglishFormat.kif 65755-65755	Every vocal fold is initially part of a vocal cords

antecedent

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

consequent

(=> (instance ?G Glottis) (exists (?VC) (and (instance ?VC VocalCords) (equal ?VC (HoleHostFn ?G)))))	Mid-level-ontology.kif 6142-6148	If a hole is an instance of glottis, then there exists an object such that the object is an instance of vocal cords and the object is equal to the host of the hole the hole
(=> (instance ?VOCAL Vocalizing) (exists (?CORD ?ORGANISM) (and (instance ?CORD VocalCords) (instrument ?VOCAL ?CORD) (part ?CORD ?ORGANISM) (instance ?ORGANISM Organism))))	Mid-level-ontology.kif 788-795	If a process is an instance of vocalizing, then there exist an object and another object such that the object is an instance of vocal cords and the object is an instrument for the process and the object is a part of the other object and the other object is an instance of organism

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: