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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ear

Sigma KEE - Ear
Ear

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


(documentation Ear EnglishLanguage "The Organ of Hearing.") Mid-level-ontology.kif 12141-12141
(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 12140-12140 EarAnimalAnatomicalStructuresubclass では %n
(subclass Ear Organ) Mid-level-ontology.kif 12139-12139 Ear臓器subclass では %n

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


(termFormat ChineseLanguage Ear "耳") domainEnglishFormat.kif 20784-20784
(termFormat ChineseTraditionalLanguage Ear "耳") domainEnglishFormat.kif 20783-20783
(termFormat EnglishLanguage Ear "ear") domainEnglishFormat.kif 20782-20782

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


(=>
    (instance ?EAR Ear)
    (capability Hearing instrument ?EAR))
Mid-level-ontology.kif 12143-12145
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 12147-12152

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 26041-26062