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 10069-10069
(externalImage Ear "http://upload.wikimedia.org/wikipedia/commons/b/b8/Ear.jpg") pictureList.kif 84-84 "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ear.jpg" is a URL depicting ear
(externalImage Ear "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ ear.png") pictureList.kif 403-403 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ ear.png" is a URL depicting ear
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10068-10068 Ear is a subclass of animal anatomical structure
(subclass Ear Organ) Mid-level-ontology.kif 10067-10067 Ear is a subclass of organ

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


(termFormat ChineseLanguage Ear "耳") domainEnglishFormat.kif 20713-20713 "耳" is the printable form of ear in ChineseLanguage
(termFormat ChineseTraditionalLanguage Ear "耳") domainEnglishFormat.kif 20712-20712 "耳" is the printable form of ear in ChineseTraditionalLanguage
(termFormat EnglishLanguage Ear "ear") domainEnglishFormat.kif 20711-20711 "ear" is the printable form of ear in english language

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


(=>
    (instance ?EAR Ear)
    (capability Hearing instrument ?EAR))
Mid-level-ontology.kif 10071-10073
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))
Mid-level-ontology.kif 10075-10080

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 24040-24061


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners