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

Formal Language: 



Term 1: Term 2:

(=>
    (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 3447-3476
(subclass RadiatingSound Radiating) Merge.kif 13676-13676 放射音 は 放射 の subclass では %n
(subclass Ringing RadiatingSound) Music.kif 1348-1348 Ringing は 放射音 の subclass では %n
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 764-764 MusicalTone は 放射音 の subclass では %n
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 770-770 RadiatingSoundUltrasonic は 放射音 の subclass では %n
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 2630-2630 Echoing は 放射音 の subclass では %n
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3051-3051 Thunder は 放射音 の subclass では %n
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 13090-13090 Clapping は 放射音 の subclass では %n
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23861-23861 Barking は 放射音 の subclass では %n
(subclass MakingMusic RadiatingSound) Merge.kif 13696-13696 MakingMusic は 放射音 の subclass では %n
(subclass Vocalizing RadiatingSound) Merge.kif 13715-13715 Vocalizing は 放射音 の subclass では %n


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