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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Ear
Ear

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


(documentation Ear EnglishLanguage "The Organ of Hearing.") Mid-level-ontology.kif 13473-13473
(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 13472-13472 Ear は AnimalAnatomicalStructure の subclass では
(subclass Ear Organ) Mid-level-ontology.kif 13471-13471 Ear は 臓器 の subclass では

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


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

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


(=>
    (instance ?EAR Ear)
    (capability Hearing instrument ?EAR))		 Mid-level-ontology.kif 13475-13477
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))		 Mid-level-ontology.kif 13479-13484

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 27953-27974