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


KB Term:  Term intersection
English Word: 

Sigma KEE - HearingProtection
HearingProtection(hearing protection)earplug

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


(subclass HearingProtection SafetyDevice) Cars.kif 3309-3309 Hearing protection is a subclass of safety device
(subclass HearingProtection WearableItem) Cars.kif 3310-3310 Hearing protection is a subclass of wearable item
(documentation HearingProtection EnglishLanguage "A SafetyDevice that has the purpose to protect Human from Injuring caused by RadiatingSound") Cars.kif 3311-3311 Hearing protection is a subclass of wearable item

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


(termFormat EnglishLanguage HearingProtection "hearing protection") domainEnglishFormat.kif 27770-27770
(termFormat ChineseTraditionalLanguage HearingProtection "聽力保護") domainEnglishFormat.kif 27771-27771
(termFormat ChineseLanguage HearingProtection "听力保护") domainEnglishFormat.kif 27772-27772

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


(=>
    (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 3312-3341 If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z


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