| appearance as argument number 1 |
|
|
| (subclass VocalCords Organ) | Mid-level-ontology.kif 768-768 | 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 769-772 | Vocal cords is a subclass of organ |
| (typicalPart VocalCords Human) | Mid-level-ontology.kif 774-774 | A vocal cords is typically a part of a human |
| (typicallyContainsPart VocalCords Human) | Mid-level-ontology.kif 775-775 | A human typically has a part vocal cords |
| (initialPart VocalCords Human) | Mid-level-ontology.kif 776-776 | 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 787-787 | 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 792-805 | 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 778-785 | 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 7114-7120 | 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 |
|
|
|