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 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 initialPart VocalCords and 人[人間]
(subclass VocalCords Organ) Mid-level-ontology.kif 778-778 VocalCords臓器subclass では %n
(typicalPart VocalCords Human) Mid-level-ontology.kif 784-784 typicalPart VocalCords and 人[人間]
(typicallyContainsPart VocalCords Human) Mid-level-ontology.kif 785-785 typicallyContainsPart VocalCords and 人[人間]

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


(initialPart VocalFold VocalCords) Mid-level-ontology.kif 797-797 initialPart VocalFold and VocalCords
(termFormat EnglishLanguage VocalCords "vocal cords") domainEnglishFormat.kif 65709-65709

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

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


(=>
    (instance ?G Glottis)
    (exists (?VC)
        (and
            (instance ?VC VocalCords)
            (equal ?VC
                (HoleHostFn ?G)))))
Mid-level-ontology.kif 6142-6148
(=>
    (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


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