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


KB Term:  Term intersection
English Word: 

  Ear

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

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


(subclass Ear Organ) Mid-level-ontology.kif 13771-13771 Ear is a subclass of organ
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 13772-13772 Ear is a subclass of animal anatomical structure
(documentation Ear EnglishLanguage "The Organ of Hearing.") Mid-level-ontology.kif 13773-13773 Ear is a subclass of animal anatomical structure
(externalImage Ear "http://upload.wikimedia.org/wikipedia/commons/b/b8/Ear.jpg") pictureList.kif 84-84 Ear is a subclass of animal anatomical structure
(externalImage Ear "http://articulatesoftware.com/SUMOpictures/people/bodypart/ ear.png") pictureList.kif 403-403 Ear is a subclass of animal anatomical structure

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


(termFormat EnglishLanguage Ear "ear") domainEnglishFormat.kif 20784-20784
(termFormat ChineseTraditionalLanguage Ear "耳") domainEnglishFormat.kif 20785-20785
(termFormat ChineseLanguage Ear "耳") domainEnglishFormat.kif 20786-20786

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


(=>
    (instance ?EAR Ear)
    (capability Hearing instrument ?EAR))		 Mid-level-ontology.kif 13775-13777 If X is an instance of ear, then X is capable of doing hearing as a instrument
(=>
    (instance ?EAR Ear)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EAR ?HEAD))))		 Mid-level-ontology.kif 13779-13784 If X is an instance of ear, then there exists Y such that Y is an instance of head and X is a part of Y

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 28623-28644 If X is an instance of earphone, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of electrical signalling (3) W is a patient of Y (4) Y ends up at X (5) U is an instance of process (6) X is an instrument for U (7) W is a patient of U (8) Z is a result of U (9) Z is an instance of radiating sound (10) Z originates at X (11) the beginning of the time of existence of Y happens before the beginning of the time of existence of U (12) the beginning of the time of existence of U happens before the beginning of the time of existence of Z (13) V is an instance of ear (14) X is adjacent to V