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


s__documentation(s__Hearing,s__ChineseLanguage,'这个 subclass 是属于由听觉 Organ 作出感觉的 Perception。')

Merge.kif 13485-13486
s__documentation(s__Hearing,s__EnglishLanguage,'The subclass of Perception in which the sensing is done by an auditory Organ.')

Merge.kif 13483-13484
s__instance(s__Hearing,s__SetOrClass)

Merge.kif 13482-13482

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


s__instance(s__Listening,s__SetOrClass)

Merge.kif 13532-13532
s__termFormat(s__ChineseLanguage,s__Hearing,'听')

chinese_format.kif 1220-1220
s__termFormat(s__EnglishLanguage,s__Hearing,'hearing')

english_format.kif 907-907
s__termFormat(s__FrenchLanguage,s__Hearing,'entendre')

french_format.kif 898-898
s__termFormat(s__Hindi,s__Hearing,'sunanaa')

terms-hindi.txt 431-431
s__termFormat(s__ItalianLanguage,s__Hearing,'Udito')

terms-it.txt 432-432
s__termFormat(s__PortugueseLanguage,s__Hearing,'Ouvir')

portuguese_format.kif 850-850
s__termFormat(s__cb__m,s__Hearing,'pagdungngog')

terms-cb.txt 436-436
s__termFormat(s__cz__m,s__Hearing,'hearing')

terms-cz.txt 470-470
s__termFormat(s__tg__m,s__Hearing,'naririnig')

terms-tg.txt 435-435

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


( ∀ [V__HEAR,V__OBJ]
   ((s__instance(V__HEAR,s__Hearing) ∧
       s__patient(V__HEAR,V__OBJ))
   ⇒
   (∃ [V__ATTR]
     (s__instance(V__ATTR,s__SoundAttribute) ∧
       s__attribute(V__OBJ,V__ATTR))))
)

Merge.kif 13488-13495

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


( ∀ [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER]
   ((s__attribute(V__ACTOR,s__VoiceActor) ∧
       s__instance(V__DRAMA,s__DramaticActing) ∧
       s__agent(V__DRAMA,V__ACTOR)
     ∧
     s__instance(V__SPEAK,s__LinguisticCommunication) ∧
     s__agent(V__SPEAK,V__ACTOR)
   ∧
   s__subProcess(V__SPEAK,V__DRAMA))

((¬ (∃ [V__S]
     (s__instance(V__S,s__Seeing) ∧
       s__patient(V__S,V__ACTOR)
     ∧
     s__agent(V__S,V__VIEWER))))

(∃ [V__H]
(s__instance(V__H,s__Hearing) ∧
s__patient(V__H,V__ACTOR)

s__agent(V__H,V__VIEWER)))))
)

Biography.kif 518-537
No TPTP formula. May not be expressible in strict first order. Merge.kif 13515-13529
( ∀ [V__A]
   (s__attribute(V__A,s__Deaf) ⇒
     (¬ s__capability(s__Hearing,s__agent__m,V__A)))
)

Mid-level-ontology.kif 17508-17511
( ∀ [V__EAR]
   (s__instance(V__EAR,s__Ear) ⇒
     s__capability(s__Hearing,s__instrument__m,V__EAR))
)

Mid-level-ontology.kif 10069-10071
No TPTP formula. May not be expressible in strict first order. Cars.kif 3416-3446
No TPTP formula. May not be expressible in strict first order. 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