| VocalCords(vocal cords)
|
| appearance as argument number 1 |
|
| (subclass VocalCords Organ) | Mid-level-ontology.kif 781-781 | Vocal cords is a subclass of organ |
| (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 782-785 | Vocal cords is a subclass of organ |
| (typicalPart VocalCords Human) | Mid-level-ontology.kif 787-787 | A vocal cords is typically a part of a human |
| (typicallyContainsPart VocalCords Human) | Mid-level-ontology.kif 788-788 | A human typically has a part vocal cords |
| (initialPart VocalCords Human) | Mid-level-ontology.kif 789-789 | Every vocal cords is initially part of a human |
| (externalImage VocalCords "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 50/ Gray956.png/ 250px_Gray956.png") | pictureList.kif 12181-12181 | Every vocal cords is initially part of a human |
| appearance as argument number 2 |
|
|
| (initialPart VocalFold VocalCords) | Mid-level-ontology.kif 800-800 | Every vocal fold is initially part of a vocal cords |
| (termFormat EnglishLanguage VocalCords "vocal cords") | domainEnglishFormat.kif 65710-65710 | Every vocal fold is initially part of a vocal cords |
| 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 805-818 | If X is an instance of vocal cords, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of vocal fold (3) W is an instance of vocal fold (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X |
| consequent |
|
|
| (=> (instance ?VOCAL Vocalizing) (exists (?CORD ?ORGANISM) (and (instance ?CORD VocalCords) (instrument ?VOCAL ?CORD) (part ?CORD ?ORGANISM) (instance ?ORGANISM Organism)))) |
Mid-level-ontology.kif 791-798 | If X is an instance of vocalizing, then there exist Y, Z such that Y is an instance of vocal cords, Y is an instrument for X, Y is a part of Z, and Z is an instance of organism |
| (=> (instance ?G Glottis) (exists (?VC) (and (instance ?VC VocalCords) (equal ?VC (HoleHostFn ?G))))) |
Mid-level-ontology.kif 7104-7110 | If X is an instance of glottis, then there exists Y such that Y is an instance of vocal cords, equal Y, and the host of the hole X |
|
|
|