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 3432-3461
(subclass RadiatingSound Radiating) Merge.kif 13722-13722 放射音 は 放射 の subclass では %n
(subclass Ringing RadiatingSound) Music.kif 1348-1348 Ringing は 放射音 の subclass では %n
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 757-757 MusicalTone は 放射音 の subclass では %n
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 763-763 RadiatingSoundUltrasonic は 放射音 の subclass では %n
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 2623-2623 Echoing は 放射音 の subclass では %n
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3044-3044 Thunder は 放射音 の subclass では %n
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 13117-13117 Clapping は 放射音 の subclass では %n
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23918-23918 Barking は 放射音 の subclass では %n
(subclass MakingMusic RadiatingSound) Merge.kif 13742-13742 MakingMusic は 放射音 の subclass では %n
(subclass Vocalizing RadiatingSound) Merge.kif 13761-13761 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