Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AuditoryCanal
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AuditoryCanal BodyCavity) | Anatomy.kif 1580-1580 | Auditory canal is a subclass of body cavity |
| (documentation AuditoryCanal EnglishLanguage "The ear canal (external acoustic meatus, external auditory meatus, EAM) is a pathway running from the outer ear to the middle ear. The adult human ear canal extends from the pinna to the eardrum and is about 2.5 centimetres (1 in) in length and 0.7 centimetres (0.3 in) in diameter.[from Wikipedia]") | Anatomy.kif 1581-1584 | Auditory canal is a subclass of body cavity |
| (documentation AuditoryCanal EnglishLanguage "outer ear") | Anatomy.kif 1585-1585 | Auditory canal is a subclass of body cavity |
| (connectedBodyPartTypes AuditoryCanal TympanicCavity Human) | Anatomy.kif 1587-1587 | connected body parts auditory canal, middle ear and human |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AuditoryCanal "auditory canal") | Anatomy.kif 1586-1586 | |
| (connectedBodyPartTypes Auricle AuditoryCanal Human) | Anatomy.kif 1637-1637 | connected body parts pinna, auditory canal and human |
| (partTypes MalleusBone AuditoryCanal) | Anatomy.kif 1638-1638 | Every malleus bone is a part of a auditory canal |
| (partTypes IncusBone AuditoryCanal) | Anatomy.kif 1639-1639 | Every incus bone is a part of a auditory canal |
| (partTypes StapesBone AuditoryCanal) | Anatomy.kif 1640-1640 | Every stapes bone is a part of a auditory canal |
| antecedent |
|
|
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 2.5)) |
Anatomy.kif 1589-1596 | If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the length of X is Z centimeter(s), then the approximate value of Z is 2.5 |
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7)) |
Anatomy.kif 1598-1605 | If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 0.7 |
|