|
|
   VocalFold
|
|
|
| appearance as argument number 1 |
|
|
| (documentation VocalFold EnglishLanguage "A smooth muscle found in pairs and comprising the VocalCords.") | Mid-level-ontology.kif 799-800 | |
| (initialPart VocalFold VocalCords) | Mid-level-ontology.kif 797-797 | |
| (subclass VocalFold BodyPart) | Mid-level-ontology.kif 798-798 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VocalFold "vocal fold") | domainEnglishFormat.kif 65710-65710 |
| consequent |
|
|
| (=> (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 |
|
|
|