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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ear
Ear(ear)
auricle, ear, pinna, rabbit_ears

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


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

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


(termFormat ChineseLanguage Ear "耳") domainEnglishFormat.kif 20799-20799
(termFormat ChineseTraditionalLanguage Ear "耳") domainEnglishFormat.kif 20798-20798
(termFormat EnglishLanguage Ear "ear") domainEnglishFormat.kif 20797-20797

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


(=>
    (instance ?EAR Ear)
    (capability Hearing instrument ?EAR))
Mid-level-ontology.kif 12968-12970
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 12972-12977

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 26977-26998