| appearance as argument number 1 |
|
| (connectedBodyPartTypes AuditoryCanal TympanicCavity Human) | Anatomy.kif 1600-1600 | connectedBodyPartTypes AuditoryCanal, TympanicCavity and Umano |
| (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 1594-1597 | connectedBodyPartTypes AuditoryCanal, TympanicCavity and Umano |
| (documentation AuditoryCanal EnglishLanguage "outer ear") | Anatomy.kif 1598-1598 | connectedBodyPartTypes AuditoryCanal, TympanicCavity and Umano |
| (subclass AuditoryCanal BodyCavity) | Anatomy.kif 1593-1593 | AuditoryCanal è una sottoclasse di BodyCavity |
| appearance as argument number 2 |
|
|
| (connectedBodyPartTypes Auricle AuditoryCanal Human) | Anatomy.kif 1650-1650 | connectedBodyPartTypes Auricle, AuditoryCanal and Umano |
| (partTypes IncusBone AuditoryCanal) | Anatomy.kif 1652-1652 | partTypes IncusBone and AuditoryCanal |
| (partTypes MalleusBone AuditoryCanal) | Anatomy.kif 1651-1651 | partTypes MalleusBone and AuditoryCanal |
| (partTypes StapesBone AuditoryCanal) | Anatomy.kif 1653-1653 | partTypes StapesBone and AuditoryCanal |
| (termFormat EnglishLanguage AuditoryCanal "auditory canal") | Anatomy.kif 1599-1599 | partTypes StapesBone and AuditoryCanal |
| antecedent |
|
|
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7)) |
Anatomy.kif 1611-1618 |
|
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 2.5)) |
Anatomy.kif 1602-1609 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners