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 OndaSonora è una sottoclasse di Radiazione
(subclass Ringing RadiatingSound) Music.kif 1348-1348 Ringing è una sottoclasse di OndaSonora
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 764-764 MusicalTone è una sottoclasse di OndaSonora
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 770-770 RadiatingSoundUltrasonic è una sottoclasse di OndaSonora
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 2630-2630 Echoing è una sottoclasse di OndaSonora
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3051-3051 Thunder è una sottoclasse di OndaSonora
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 13090-13090 Clapping è una sottoclasse di OndaSonora
(subclass Barking RadiatingSound) Mid-level-ontology.kif 23861-23861 Barking è una sottoclasse di OndaSonora
(subclass MakingMusic RadiatingSound) Merge.kif 13696-13696 MakingMusic è una sottoclasse di OndaSonora
(subclass Vocalizing RadiatingSound) Merge.kif 13715-13715 Vocalizing è una sottoclasse di OndaSonora


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