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 Son irradiant est une sous-classe de irradier
(subclass Ringing RadiatingSound) Music.kif 1348-1348 Ringing est une sous-classe de son irradiant
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 764-764 MusicalTone est une sous-classe de son irradiant
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 770-770 RadiatingSoundUltrasonic est une sous-classe de son irradiant
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 2630-2630 Echoing est une sous-classe de son irradiant
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3051-3051 Thunder est une sous-classe de son irradiant
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 13090-13090 Clapping est une sous-classe de son irradiant
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23861-23861 Barking est une sous-classe de son irradiant
(subclass MakingMusic RadiatingSound) Merge.kif 13696-13696 MakingMusic est une sous-classe de son irradiant
(subclass Vocalizing RadiatingSound) Merge.kif 13715-13715 Vocalizing est une sous-classe de son irradiant


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