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 3455-3484
(subclass RadiatingSound Radiating) Merge.kif 13698-13698 子類 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 13089-13089 子類 拍手 and RadiatingSound
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23860-23860 子類 吠 and RadiatingSound
(subclass MakingMusic RadiatingSound) Merge.kif 13718-13718 子類 MakingMusic and RadiatingSound
(subclass Vocalizing RadiatingSound) Merge.kif 13737-13737 子類 發聲 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