Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   VocalFold
|
|
|
| appearance as argument number 1 |
|
|
| (initialPart VocalFold VocalCords) | Mid-level-ontology.kif 787-787 | Every vocal fold is initially part of a vocal cords |
| (subclass VocalFold BodyPart) | Mid-level-ontology.kif 788-788 | Vocal fold is a subclass of body part |
| (documentation VocalFold EnglishLanguage "A smooth muscle found in pairs and comprising the VocalCords.") | Mid-level-ontology.kif 789-790 | Vocal fold is a subclass of body part |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VocalFold "vocal fold") | domainEnglishFormat.kif 65711-65711 |
| 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 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 |
|