Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AuditoryCanal

Sigma KEE - AuditoryCanal
AuditoryCanal

appearance as argument number 1
-------------------------


(connectedBodyPartTypes AuditoryCanal TympanicCavity Human) Anatomy.kif 1565-1565 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 1559-1562
(documentation AuditoryCanal EnglishLanguage "outer ear") Anatomy.kif 1563-1563
(subclass AuditoryCanal BodyCavity) Anatomy.kif 1558-1558 AuditoryCanal è una sottoclasse di BodyCavity

appearance as argument number 2
-------------------------


(connectedBodyPartTypes Auricle AuditoryCanal Human) Anatomy.kif 1615-1615 connectedBodyPartTypes Auricle, AuditoryCanal and Umano
(partTypes IncusBone AuditoryCanal) Anatomy.kif 1617-1617 partTypes IncusBone and AuditoryCanal
(partTypes MalleusBone AuditoryCanal) Anatomy.kif 1616-1616 partTypes MalleusBone and AuditoryCanal
(partTypes StapesBone AuditoryCanal) Anatomy.kif 1618-1618 partTypes StapesBone and AuditoryCanal
(termFormat EnglishLanguage AuditoryCanal "auditory canal") Anatomy.kif 1564-1564

antecedent
-------------------------


(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 0.7))
Anatomy.kif 1576-1583
(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (length ?ET
            (MeasureFn ?N Centimeter)))
    (approximateValue ?N 2.5))
Anatomy.kif 1567-1574


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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