| appearance as argument number 1 |
|
| (connectedBodyPartTypes AuditoryCanal TympanicCavity Human) | Anatomy.kif 1564-1564 | connectedBodyPartTypes AuditoryCanal, TympanicCavity and 人类 |
| (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 1558-1561 | connectedBodyPartTypes AuditoryCanal, TympanicCavity and 人类 |
| (documentation AuditoryCanal EnglishLanguage "outer ear") | Anatomy.kif 1562-1562 | connectedBodyPartTypes AuditoryCanal, TympanicCavity and 人类 |
| (subclass AuditoryCanal BodyCavity) | Anatomy.kif 1557-1557 | AuditoryCanal 是 体腔 的 subclass |
| appearance as argument number 2 |
|
|
| (connectedBodyPartTypes Auricle AuditoryCanal Human) | Anatomy.kif 1614-1614 | connectedBodyPartTypes Auricle, AuditoryCanal and 人类 |
| (partTypes IncusBone AuditoryCanal) | Anatomy.kif 1616-1616 | 每个 IncusBone 是 AuditoryCanal 的 part |
| (partTypes MalleusBone AuditoryCanal) | Anatomy.kif 1615-1615 | 每个 MalleusBone 是 AuditoryCanal 的 part |
| (partTypes StapesBone AuditoryCanal) | Anatomy.kif 1617-1617 | 每个 StapesBone 是 AuditoryCanal 的 part |
| (termFormat EnglishLanguage AuditoryCanal "auditory canal") | Anatomy.kif 1563-1563 | 每个 StapesBone 是 AuditoryCanal 的 part |
| antecedent |
|
|
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7)) |
Anatomy.kif 1575-1582 | |
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 2.5)) |
Anatomy.kif 1566-1573 |
|
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