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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VocalCords
VocalCords
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 751-754
(externalImage VocalCords "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 50/ Gray956.png/ 250px-Gray956.png") pictureList.kif 12208-12208
(initialPart VocalCords Human) Mid-level-ontology.kif 758-758 Every VocalCords is initially part of a human
(subclass VocalCords Organ) Mid-level-ontology.kif 750-750 VocalCords is a subclass of organ
(typicalPart VocalCords Human) Mid-level-ontology.kif 756-756 A VocalCords is typically a part of a human
(typicallyContainsPart VocalCords Human) Mid-level-ontology.kif 757-757 A human typically has a part VocalCords

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


(initialPart VocalFold VocalCords) Mid-level-ontology.kif 769-769 Every VocalFold is initially part of a VocalCords

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

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


(=>
    (instance ?G Glottis)
    (exists (?VC)
        (and
            (instance ?VC VocalCords)
            (equal ?VC
                (HoleHostFn ?G)))))
Mid-level-ontology.kif 5832-5838
(=>
    (instance ?VOCAL Vocalizing)
    (exists (?CORD ?ORGANISM)
        (and
            (instance ?CORD VocalCords)
            (instrument ?VOCAL ?CORD)
            (part ?CORD ?ORGANISM)
            (instance ?ORGANISM Organism))))
Mid-level-ontology.kif 760-767


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