Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  VocalCords

Sigma KEE - VocalCords
VocalCords(vocal cords)
false_vocal_cord, false_vocal_fold, inferior_vocal_cord, inferior_vocal_fold, plica_vocalis, superior_vocal_cord, true_vocal_cord, true_vocal_fold, ventricular_fold, vestibular_fold, vocal_band, vocal_cord, vocal_fold

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 786-789
(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 793-793 Every vocal cords is initially part of a human
(subclass VocalCords Organ) Mid-level-ontology.kif 785-785 Vocal cords is a subclass of organ
(typicalPart VocalCords Human) Mid-level-ontology.kif 791-791 A vocal cords is typically a part of a human
(typicallyContainsPart VocalCords Human) Mid-level-ontology.kif 792-792 A human typically has a part vocal cords

appearance as argument number 2
-------------------------


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

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

consequent
-------------------------


(=>
    (instance ?G Glottis)
    (exists (?VC)
        (and
            (instance ?VC VocalCords)
            (equal ?VC
                (HoleHostFn ?G)))))
Mid-level-ontology.kif 6148-6154
(=>
    (instance ?VOCAL Vocalizing)
    (exists (?CORD ?ORGANISM)
        (and
            (instance ?CORD VocalCords)
            (instrument ?VOCAL ?CORD)
            (part ?CORD ?ORGANISM)
            (instance ?ORGANISM Organism))))
Mid-level-ontology.kif 795-802


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