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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hearing

Sigma KEE - Hearing
HearingOuvir, Udito, audile, auditive, auditory, auditory_image, auditory_perception, auditory_sensation, aural, aurally, auricular, biauricular, binaurally, catch, eavesdrop, entendre, get, hark, harken, hear, hear_out, heard, hearing, hearken, in_both_ears, in_one_ear, listen_in, listening, melody, monaurally, musical_perception, naririnig, overhear, pagdungngog, rehearing, relistening, sound, sound_perception, speech_perception, sunanaa, take_in, to_both_ears, to_one_ear, tonal_pattern,

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


(documentation Hearing ChineseLanguage "这个 subclass 是属于由听觉 Organ 作出感觉的 Perception。") Merge.kif 13485-13486
(documentation Hearing EnglishLanguage "The subclass of Perception in which the sensing is done by an auditory Organ.") Merge.kif 13483-13484
(subclass Hearing Perception) Merge.kif 13482-13482

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


(subclass Listening Hearing) Merge.kif 13532-13532
(termFormat ChineseLanguage Hearing "听") chinese_format.kif 1220-1220
(termFormat EnglishLanguage Hearing "hearing") english_format.kif 907-907
(termFormat FrenchLanguage Hearing "entendre") french_format.kif 898-898
(termFormat Hindi Hearing "sunanaa") terms-hindi.txt 431-431
(termFormat ItalianLanguage Hearing "Udito") terms-it.txt 432-432
(termFormat PortugueseLanguage Hearing "Ouvir") portuguese_format.kif 850-850
(termFormat cb Hearing "pagdungngog") terms-cb.txt 436-436
(termFormat cz Hearing "hearing") terms-cz.txt 470-470
(termFormat tg Hearing "naririnig") terms-tg.txt 435-435

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


(=>
    (and
        (instance ?HEAR Hearing)
        (patient ?HEAR ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 13488-13495

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


(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))
Biography.kif 518-537
(=>
    (and
        (instance ?SOUND RadiatingSound)
        (agent ?SOUND ?OBJ)
        (attribute ?SOUND Audible))
    (exists (?HUMAN)
        (and
            (instance ?HUMAN Human)
            (capability
                (KappaFn ?HEAR
                    (and
                        (instance ?HEAR Hearing)
                        (agent ?HEAR ?HUMAN)
                        (destination ?HEAR ?HUMAN)
                        (origin ?HEAR ?OBJ))) agent ?HUMAN))))
Merge.kif 13515-13529
(=>
    (attribute ?A Deaf)
    (not
        (capability Hearing agent ?A)))
Mid-level-ontology.kif 17508-17511
(=>
    (instance ?EAR Ear)
    (capability Hearing instrument ?EAR))
Mid-level-ontology.kif 10069-10071
(=>
    (instance ?HP HearingProtection)
    (hasPurpose ?HP
        (=>
            (and
                (instance ?PERSON Human)
                (wears ?PERSON ?HP))
            (exists (?PROC ?INJ)
                (and
                    (instance ?PROC Process)
                    (subclass ?INJ
                        (KappaFn ?I
                            (and
                                (instance ?I Injuring)
                                (exists (?SOUND ?HEAR ?HUMAN)
                                    (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 3416-3446
(=>
    (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 24012-24030


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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