HearingProtection - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage HearingProtection "听力保护")	domainEnglishFormat.kif 27759-27759
(termFormat ChineseTraditionalLanguage HearingProtection "聽力保護")	domainEnglishFormat.kif 27758-27758
(termFormat EnglishLanguage HearingProtection "hearing protection")	domainEnglishFormat.kif 27757-27757

antecedent

(=>
    (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 3448-3478

If a physical is an instance of hearing protection,
then the physical has the purpose
- if an entity is an instance of human and the entity wears the physical,
- then there exist another entity and a third entity such that the other entity is an instance of process and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity and the physical is an instrument for the other entity

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

KB Term:			Term intersection

English Word: