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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VocalCords

Sigma KEE - VocalCords
VocalCords

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 1176-1179
(externalImage VocalCords "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 50/ Gray956.png/ 250px-Gray956.png") pictureList.kif 12219-12219
(initialPart VocalCords Human) Mid-level-ontology.kif 1183-1183 initialPart VocalCords and Human
(subclass VocalCords Organ) Mid-level-ontology.kif 1175-1175 subclass VocalCords and Organ
(typicalPart VocalCords Human) Mid-level-ontology.kif 1181-1181 typicalPart VocalCords and Human
(typicallyContainsPart VocalCords Human) Mid-level-ontology.kif 1182-1182 typicallyContainsPart VocalCords and Human

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


(initialPart VocalFold VocalCords) Mid-level-ontology.kif 1194-1194 initialPart VocalFold and 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 1198-1211

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


(=>
    (instance ?VOCAL Vocalizing)
    (exists (?CORD ?ORGANISM)
        (and
            (instance ?CORD VocalCords)
            (instrument ?VOCAL ?CORD)
            (part ?CORD ?ORGANISM)
            (instance ?ORGANISM Organism))))
Mid-level-ontology.kif 1185-1192


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