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
(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 13090-13090 拍手 是 放射声音 的 subclass
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23861-23861 吠 是 放射声音 的 subclass
(subclass MakingMusic RadiatingSound) Merge.kif 13696-13696 制作音乐 是 放射声音 的 subclass
(subclass Vocalizing RadiatingSound) Merge.kif 13715-13715 发声 是 放射声音 的 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