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


KB Term:  Term intersection
English Word: 

Sigma KEE - Deaf
Deaf(deafness)
deaf, deaf_as_a_post, profoundly_deaf, stone-deaf, unhearing

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


(instance Deaf SensoryDisability) Mid-level-ontology.kif 21680-21680 Deafness is an instance of sensory disability
(documentation Deaf EnglishLanguage "The Attribute that applies to Animals and Humans that are unable to hear.") Mid-level-ontology.kif 21681-21682 Deafness is an instance of sensory disability
(externalImage Deaf "http://upload.wikimedia.org/wikipedia/commons/d/d4/ 2007TaipeiOlympicDayRun_SignLanguageTranslator.jpg") pictureList.kif 9971-9971 Deafness is an instance of sensory disability
(externalImage Deaf "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Asl_alphabet_gallaudet_ann.png") pictureList.kif 10797-10797 Deafness is an instance of sensory disability
(externalImage Deaf "http://upload.wikimedia.org/wikipedia/commons/9/95/ Assistive_Listening_Devices_2.JPG") pictureList.kif 10798-10798 Deafness is an instance of sensory disability
(externalImage Deaf "http://upload.wikimedia.org/wikipedia/commons/a/a3/ International_Symbol_for_Deafness.jpg") pictureList.kif 10799-10799 Deafness is an instance of sensory disability

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


(termFormat EnglishLanguage Deaf "deafness") domainEnglishFormat.kif 18744-18744
(termFormat ChineseTraditionalLanguage Deaf "聾") domainEnglishFormat.kif 18745-18745
(termFormat ChineseLanguage Deaf "聋") domainEnglishFormat.kif 18746-18746

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


(=>
    (attribute ?A Deaf)
    (not
        (capability Hearing agent ?A)))		 Mid-level-ontology.kif 21684-21687 If deafness is an attribute of X, then X is not capable of doing hearing as a agent
(=>
    (and
        (instance ?KL KnockLight)
        (instance ?A Human)
        (attribute ?A Deaf)
        (uses ?KL ?A))
    (hasPurpose ?KL
        (exists (?KNOCK ?DOOR)
            (and
                (instance ?KNOCK Impacting)
                (patient ?KNOCK ?DOOR)
                (instance ?DOOR Door)
                (knows ?A
                    (and
                        (instance ?KNOCK Impacting)
                        (patient ?KNOCK ?DOOR)
                        (instance ?DOOR Door)))))))		 Mid-level-ontology.kif 28408-28424 If X is an instance of knock light, Y is an instance of human, deafness is an attribute of Y, and Y uses X, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of impacting (3) W is a patient of Z (4) W is an instance of door (5) Y knows Z is an instance of impacting (6) W is a patient of Z (7) W is an instance of door

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


(=>
    (instance ?TDD TDDPhone)
    (hasPurpose ?TDD
        (exists (?AGENT ?PHONING)
            (and
                (instance ?PHONING Telephoning)
                (instrument ?PHONING ?TDD)
                (agent ?PHONING ?AGENT)
                (attribute ?AGENT Deaf)))))		 Mid-level-ontology.kif 28839-28847 If X is an instance of TDD phone, then X has the purpose there exist Y, Z such that Z is an instance of telephoning, X is an instrument for Z, Y is an agent of Z, and deafness is an attribute of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners