Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Eardrum
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Eardrum BodyPart) | Anatomy.kif 1645-1645 | Myringa is a subclass of body part |
| (documentation Eardrum EnglishLanguage "In the anatomy of humans and various other tetrapods, the eardrum, also called the tympanic membrane or myringa, is a thin, cone_shaped membrane that separates the external ear from the middle ear. Its function is to transmit sound from the air to the ossicles inside the middle ear, and then to the oval window in the fluid_filled cochlea. Hence, it ultimately converts and amplifies vibration in the air to vibration in cochlear fluid. The MalleusBone bridges the gap between the eardrum and the other ossicles. Rupture or perforation of the eardrum can lead to conductive hearing loss. Collapse or retraction of the eardrum can cause conductive hearing loss or cholesteatoma. [from Wikipedia]") | Anatomy.kif 1646-1652 | Myringa is a subclass of body part |
| (externalImage Eardrum "https://upload.wikimedia.org/wikipedia/commons/0/ 0d/ Blausen_0328_EarAnatomy.png") | Anatomy.kif 1656-1656 | Myringa is a subclass of body part |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?E Eardrum) (part ?E ?H) (experiencer ?HEAR ?H) (attribute ?H Healthy) (instance ?HEAR Hearing)) (instrument ?HEAR ?E)) |
Anatomy.kif 1658-1665 | If X is an instance of myringa, X is a part of Y, Y experiences Z, healthy is an attribute of Y, and Z is an instance of hearing, then X is an instrument for Z |
| (=> (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Eardrum))) (modalAttribute (not (exists (?HEAR) (and (instance ?HEAR Hearing) (during (WhenFn ?HEAR) ?T) (experiencer ?HEAR ?H)))) Likely)) |
Anatomy.kif 1667-1678 | If impaired body part fn myringa is an attribute of X holds during Y, then the statement there doesn't exist Z such that Z is an instance of hearing, the time of existence of Z takes place during Y, and X experiences Z has the modal force of likely |
|
