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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Hearing
Hearing(聴覚)

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


(documentation Hearing ChineseLanguage "这个 subclass 是属于由听觉 Organ 作出感觉的 Perception。") chinese_format.kif 3317-3318
(documentation Hearing EnglishLanguage "The subclass of Perception in which the sensing is done by an auditory Organ.") Merge.kif 13737-13738
(subclass Hearing Perception) Merge.kif 13736-13736 聴覚 は 知覚 の subclass では

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


(subclass Listening Hearing) Merge.kif 13780-13780 Listening は 聴覚 の subclass では
(termFormat ChineseLanguage Hearing "听") chinese_format.kif 1220-1220 Listening は 聴覚 の subclass では
(termFormat EnglishLanguage Hearing "hearing") english_format.kif 1661-1661 Listening は 聴覚 の subclass では
(termFormat FrenchLanguage Hearing "entendre") french_format.kif 898-898 Listening は 聴覚 の subclass では
(termFormat Hindi Hearing "sunanaa") terms-hindi.txt 431-431 Listening は 聴覚 の subclass では
(termFormat ItalianLanguage Hearing "Udito") terms-it.txt 434-434 Listening は 聴覚 の subclass では
(termFormat JapaneseLanguage Hearing "聴覚") japanese_format.kif 2582-2582 Listening は 聴覚 の subclass では
(termFormat PortugueseLanguage Hearing "Ouvir") portuguese_format.kif 850-850 Listening は 聴覚 の subclass では
(termFormat cb Hearing "pagdungngog") terms-cb.txt 436-436 Listening は 聴覚 の subclass では
(termFormat cz Hearing "hearing") terms-cz.txt 470-470 Listening は 聴覚 の subclass では
(termFormat de Hearing "Gehoer") terms-de.txt 729-729 Listening は 聴覚 の subclass では
(termFormat ro Hearing "auz") relations-ro.kif 919-919 Listening は 聴覚 の subclass では
(termFormat tg Hearing "naririnig") terms-tg.txt 435-435 Listening は 聴覚 の subclass では

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


(=>
    (and
        (instance ?E Eardrum)
        (part ?E ?H)
        (experiencer ?HEAR ?H)
        (attribute ?H Healthy)
        (instance ?HEAR Hearing))
    (instrument ?HEAR ?E))		 Anatomy.kif 1671-1678
(=>
    (and
        (instance ?HEAR Hearing)
        (patient ?HEAR ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 13740-13747

consequent
-------------------------


(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S ?VIEWER)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H ?VIEWER)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))		 Biography.kif 765-784
(=>
    (and
        (instance ?HP HearingProtection)
        (instance ?PERSON Human)
        (wears ?PERSON ?HP))
    (hasPurpose ?HP
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?SOUND ?HEAR ?HUMAN ?T)
                                (and
                                    (instance ?SOUND RadiatingSound)
                                    (instance ?HEAR Hearing)
                                    (instance ?HUMAN Human)
                                    (patient ?HEAR ?SOUND)
                                    (experiencer ?HEAR ?HUMAN)
                                    (causes ?HEAR ?I)
                                    (experiencer ?I ?HUMAN)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)
                (instrument ?PROC ?HP)))))		 Cars.kif 3508-3537
(=>
    (and
        (instance ?SOUND RadiatingSound)
        (agent ?SOUND ?OBJ)
        (attribute ?SOUND Audible))
    (exists (?HUMAN ?HEAR)
        (and
            (instance ?HUMAN Human)
            (capability
                (KappaFn ?HEAR
                    (and
                        (instance ?HEAR Hearing)
                        (agent ?HEAR ?HUMAN)
                        (destination ?HEAR ?HUMAN)
                        (origin ?HEAR ?OBJ))) agent ?HUMAN))))		 Merge.kif 13764-13778
(=>
    (attribute ?A Deaf)
    (not
        (capability Hearing agent ?A)))		 Mid-level-ontology.kif 21353-21356
(=>
    (holdsDuring ?T
        (attribute ?H
            (ImpairedBodyPartFn Eardrum)))
    (modalAttribute
        (not
            (exists (?HEAR)
                (and
                    (instance ?HEAR Hearing)
                    (during
                        (WhenFn ?HEAR) ?T)
                    (experiencer ?HEAR ?H)))) Likely))		 Anatomy.kif 1680-1691
(=>
    (instance ?EAR Ear)
    (capability Hearing instrument ?EAR))		 Mid-level-ontology.kif 13475-13477
(=>
    (instance ?X PublicAddressSystem)
    (hasPurpose ?X
        (exists (?RS ?AREA ?GRP)
            (and
                (instance ?AREA LandArea)
                (located ?X ?AREA)
                (instance ?GRP GroupOfPeople)
                (located ?GRP ?AREA)
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (forall (?PERSON)
                    (=>
                        (member ?PERSON ?GRP)
                        (exists (?HEAR)
                            (and
                                (instance ?HEAR Hearing)
                                (patient ?HEAR ?RS)
                                (agent ?HEAR ?PERSON)))))))))		 Mid-level-ontology.kif 28002-28020


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