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 放射声音 是 辐射 的 subclass
(subclass Ringing RadiatingSound) Music.kif 1348-1348 铃声 是 放射声音 的 subclass
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 764-764 音调 是 放射声音 的 subclass
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 770-770 辐射声超声波 是 放射声音 的 subclass
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 2630-2630 回音 是 放射声音 的 subclass
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3051-3051 雷 是 放射声音 的 subclass
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 13089-13089 拍手 是 放射声音 的 subclass
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23860-23860 吠 是 放射声音 的 subclass
(subclass MakingMusic RadiatingSound) Merge.kif 13718-13718 制作音乐 是 放射声音 的 subclass
(subclass Vocalizing RadiatingSound) Merge.kif 13737-13737 发声 是 放射声音 的 subclass


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