TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Ear EnglishLanguage "The Organ of Hearing.")	Mid-level-ontology.kif 13467-13467
(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 13466-13466	Ear is a subclass of animal anatomical structure
(subclass Ear Organ)	Mid-level-ontology.kif 13465-13465	Ear is a subclass of organ

appearance as argument number 2

(termFormat ChineseLanguage Ear "耳")	domainEnglishFormat.kif 20792-20792
(termFormat ChineseTraditionalLanguage Ear "耳")	domainEnglishFormat.kif 20791-20791
(termFormat EnglishLanguage Ear "ear")	domainEnglishFormat.kif 20790-20790

antecedent

(=> (instance ?EAR Ear) (capability Hearing instrument ?EAR))	Mid-level-ontology.kif 13469-13471	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 13473-13478	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 27941-27962

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 2877-2877	Left ear is a subclass of the left ear
(subclass RightEar (BodySideFn Right Ear))	Medicine.kif 2880-2880	Right ear is a subclass of the right ear

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

KB Term:			Term intersection

English Word: