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 子類 RadiatingSound and Radiating
(subclass Ringing RadiatingSound) Music.kif 1348-1348 子類 鈴聲 and RadiatingSound
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 764-764 子類 音調 and RadiatingSound
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 770-770 子類 輻射聲超聲波 and RadiatingSound
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 2630-2630 子類 回音 and RadiatingSound
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3051-3051 子類 雷 and RadiatingSound
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 13090-13090 子類 拍手 and RadiatingSound
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23861-23861 子類 吠 and RadiatingSound
(subclass MakingMusic RadiatingSound) Merge.kif 13696-13696 子類 MakingMusic and RadiatingSound
(subclass Vocalizing RadiatingSound) Merge.kif 13715-13715 子類 發聲 and RadiatingSound


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