Ear - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Ear EnglishLanguage "The Organ of Hearing.")	Mid-level-ontology.kif 12360-12360
(externalImage Ear "http://articulatesoftware.com/SUMOpictures/people/bodypart/ ear.png")	pictureList.kif 403-403
(externalImage Ear "http://upload.wikimedia.org/wikipedia/commons/b/b8/Ear.jpg")	pictureList.kif 84-84
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 12359-12359	Ear is a subclass of animal anatomical structure
(subclass Ear Organ)	Mid-level-ontology.kif 12358-12358	Ear is a subclass of organ

appearance as argument number 2

(termFormat ChineseLanguage Ear "耳")	domainEnglishFormat.kif 20795-20795
(termFormat ChineseTraditionalLanguage Ear "耳")	domainEnglishFormat.kif 20794-20794
(termFormat EnglishLanguage Ear "ear")	domainEnglishFormat.kif 20793-20793

antecedent

(=> (instance ?EAR Ear) (capability Hearing instrument ?EAR))	Mid-level-ontology.kif 12362-12364	If an object is an instance of ear, then the object is capable of doing hearing as a instrument
(=> (instance ?EAR Ear) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EAR ?HEAD))))	Mid-level-ontology.kif 12366-12371	If an object is an instance of ear, then there exists another object such that the other object is an instance of head and the object is a part of the other object

consequent

(=>
    (instance ?X Earphone)
    (hasPurpose ?X
        (exists (?ES ?RS ?SIGNAL ?EAR ?PROC)
            (and
                (instance ?ES ElectricalSignalling)
                (patient ?ES ?SIGNAL)
                (destination ?ES ?X)
                (instance ?PROC Process)
                (instrument ?PROC ?X)
                (patient ?PROC ?SIGNAL)
                (result ?PROC ?RS)
                (instance ?RS RadiatingSound)
                (origin ?RS ?X)
                (before
                    (BeginFn
                        (WhenFn ?ES))
                    (BeginFn
                        (WhenFn ?PROC)))
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?RS)))
                (instance ?EAR Ear)
                (orientation ?X ?EAR Adjacent)))))

Mid-level-ontology.kif 26317-26338

If a physical is an instance of earphone,
then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity

statement

(subclass LeftEar (BodySideFn Left Ear))	Medicine.kif 2876-2876	Left ear is a subclass of the left ear
(subclass RightEar (BodySideFn Right Ear))	Medicine.kif 2879-2879	Right ear is a subclass of the right ear

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

KB Term:			Term intersection

English Word: