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 10066-10066
(externalImage Ear "http://upload.wikimedia.org/wikipedia/commons/b/b8/Ear.jpg") pictureList.kif 84-84
(externalImage Ear "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ ear.png") pictureList.kif 403-403
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10065-10065 subclass Ear and AnimalAnatomicalStructure
(subclass Ear Organ) Mid-level-ontology.kif 10064-10064 subclass Ear and Organ

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


(termFormat ChineseLanguage Ear "耳") domainEnglishFormat.kif 20716-20716
(termFormat ChineseTraditionalLanguage Ear "耳") domainEnglishFormat.kif 20715-20715
(termFormat EnglishLanguage Ear "ear") domainEnglishFormat.kif 20714-20714

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


(=>
    (instance ?EAR Ear)
    (capability Hearing instrument ?EAR))
Mid-level-ontology.kif 10068-10070
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 10072-10077

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 24083-24104


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