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 747-750
(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 754-754	Every VocalCords is initially part of a human
(subclass VocalCords Organ)	Mid-level-ontology.kif 746-746	VocalCords is a subclass of organ
(typicalPart VocalCords Human)	Mid-level-ontology.kif 752-752	A VocalCords is typically a part of a human
(typicallyContainsPart VocalCords Human)	Mid-level-ontology.kif 753-753	A human typically has a part VocalCords

appearance as argument number 2

(initialPart VocalFold VocalCords)

Mid-level-ontology.kif 765-765

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 770-783

If an object is an instance of VocalCords 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 VocalFold and the third object is an instance of VocalFold 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 5828-5834	If a hole is an instance of glottis, then there exists an object such that the object is an instance of VocalCords 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 756-763	If a process is an instance of vocalizing, then there exist an object and another object such that the object is an instance of VocalCords 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: