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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hearing

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

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3317-3318
No TPTP formula. May not be expressible in strict first order. Merge.kif 13337-13338
No TPTP formula. May not be expressible in strict first order. Merge.kif 13336-13336 Hearing is a subclass of perception

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13380-13380 Listening is a subclass of hearing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1220-1220
No TPTP formula. May not be expressible in strict first order. english_format.kif 1661-1661

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13340-13347

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 524-543
No TPTP formula. May not be expressible in strict first order. Merge.kif 13364-13378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19132-19135
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11622-11624
No TPTP formula. May not be expressible in strict first order. Cars.kif 3448-3478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25471-25489


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 3.0 is open source software produced by Articulate Software and its partners