Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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
(subclass RadiatingSound Radiating) Merge.kif 13430-13430 Radiating sound is a subclass of radiating
(subclass Ringing RadiatingSound) Music.kif 1341-1341 Ringing is a subclass of radiating sound
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 725-725 Musical tone is a subclass of radiating sound
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 731-731 Radiating sound ultrasonic is a subclass of radiating sound
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 2585-2585 Echoing is a subclass of radiating sound
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3002-3002 Thunder is a subclass of radiating sound
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 12551-12551 Clapping is a subclass of radiating sound
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23301-23301 Barking is a subclass of radiating sound
(subclass MakingMusic RadiatingSound) Merge.kif 13450-13450 Making music is a subclass of radiating sound
(subclass Vocalizing RadiatingSound) Merge.kif 13469-13469 Vocalizing is a subclass of radiating sound


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