Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Glottis(glottis) |
| appearance as argument number 1 |
|
| (subclass Glottis HoleRegion) | Mid-level-ontology.kif 7261-7261 | Glottis is a subclass of hole |
| (documentation Glottis EnglishLanguage "The glottis is the opening between the vocal folds (the rima glottidis). The glottis is crucial in producing vowels and voiced consonants.[from Wikipedia]") | Mid-level-ontology.kif 7262-7264 | Glottis is a subclass of hole |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Glottis "glottis") | Mid-level-ontology.kif 7265-7265 |
| antecedent |
|
|
| (=> (instance ?G Glottis) (exists (?VC) (and (instance ?VC VocalCords) (equal ?VC (HoleHostFn ?G))))) |
Mid-level-ontology.kif 7267-7273 | 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 |
|