Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingSound
RadiatingSound(radiating sound)
C_major, C_major_scale, Greek_mode, Gregorian_mode, abuzz, acoustic_projection, acoustic_wave, affricate, affricate_consonant, affrication, affricative, air_wave, alveolar, alveolar_consonant, angelus, angelus_bell, articulation, aspirate, aspiration, assibilate, atonalism, atonality, audibly, audio, baa, bam, bang, bang-up, banging, bark, bawl, bay, beat, beep, bell, bellow, bilabial, birr, blare, blaring, blast, blast_wave, blat, blate, bleat, bleep, blue_note, bombilation, bombination, bong...

appearance as argument number 1
-------------------------


(documentation RadiatingSound ChineseLanguage "这是释放或吸收声波的 Radiating subclass, 一些例子包括:吱吱作响、咆哮和吹口哨。") Merge.kif 13648-13649
(documentation RadiatingSound EnglishLanguage "The subclass of Radiating in which sound waves are given off or absorbed. Some examples include creaking, roaring, and whistling.") Merge.kif 13645-13647
(externalImage RadiatingSound "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ small_icons/ misc_6/ sound.png") pictureList.kif 745-745 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ small_icons/ misc_6/ sound.png" is a URL depicting radiating sound
(subclass RadiatingSound Radiating) Merge.kif 13644-13644 Radiating sound is a subclass of radiating

appearance as argument number 2
-------------------------


(subclass Barking RadiatingSound) Mid-level-ontology.kif 21782-21782 Barking is a subclass of radiating sound
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 10692-10692 Clapping is a subclass of radiating sound
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 3094-3094 Echoing is a subclass of radiating sound
(subclass MakingMusic RadiatingSound) Merge.kif 13666-13666 Making music is a subclass of radiating sound
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 952-952 Musical tone is a subclass of radiating sound
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 958-958 Radiating sound ultrasonic is a subclass of radiating sound
(subclass Ringing RadiatingSound) Music.kif 1346-1346 Ringing is a subclass of radiating sound
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3592-3592 Thunder is a subclass of radiating sound
(subclass Vocalizing RadiatingSound) Mid-level-ontology.kif 1199-1199 Vocalizing is a subclass of radiating sound
(termFormat ChineseLanguage RadiatingSound "放射声音") chinese_format.kif 1224-1224 "放射声音" is the printable form of radiating sound in ChineseLanguage
(termFormat EnglishLanguage RadiatingSound "radiating sound") english_format.kif 911-911 "radiating sound" is the printable form of radiating sound in english language

antecedent
-------------------------


(=>
    (and
        (instance ?EMIT RadiatingSound)
        (agent ?EMIT ?SOUND))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?SOUND ?ATTR))))
Merge.kif 13651-13658
(=>
    (and
        (instance ?SOUND RadiatingSound)
        (agent ?SOUND ?OBJ)
        (attribute ?SOUND Audible))
    (exists (?HUMAN)
        (and
            (instance ?HUMAN Human)
            (capability
                (KappaFn ?HEAR
                    (and
                        (instance ?HEAR Hearing)
                        (agent ?HEAR ?HUMAN)
                        (destination ?HEAR ?HUMAN)
                        (origin ?HEAR ?OBJ))) agent ?HUMAN))))
Merge.kif 13573-13587

consequent
-------------------------


(=>
    (and
        (instance ?KL KnockLight)
        (instance ?ROOM Room)
        (located ?KL ?ROOM)
        (instance ?DOOR Door)
        (part ?DOOR ?ROOM))
    (hasPurpose ?KL
        (exists (?SOUND ?LIGHT ?IMPACT)
            (and
                (instance ?IMPACT Impacting)
                (patient ?IMPACT ?DOOR)
                (causes ?IMPACT ?SOUND)
                (instance ?SOUND RadiatingSound)
                (agent ?SOUND ?DOOR)
                (causes ?SOUND ?LIGHT)
                (instance ?LIGHT RadiatingLight)
                (agent ?LIGHT ?KL)))))
Mid-level-ontology.kif 23737-23754
(=>
    (and
        (instance ?X CarAlarm)
        (instance ?CAR SelfPoweredRoadVehicle)
        (part ?X ?CAR))
    (hasPurpose ?X
        (=>
            (and
                (or
                    (instance ?HARM Stealing)
                    (instance ?HARM Damaging))
                (instance ?THIEF Human)
                (agent ?HARM ?THIEF)
                (patient ?HARM ?CAR)
                (equal
                    (WhenFn ?HARM) ?T)
                (eventPartlyLocated ?HARM ?L))
            (exists (?ALARM)
                (and
                    (instance ?ALARM RadiatingSound)
                    (agent ?ALARM ?X)
                    (causes ?HARM ?ALARM)
                    (hasPurpose ?ALARM
                        (increasesLikelihood
                            (exists (?WITNESS)
                                (and
                                    (instance ?WITNESS Human)
                                    (holdsDuring ?T
                                        (orientation ?WITNESS ?L Near))))
                            (or
                                (knows ?WITNESS
                                    (exists (?H)
                                        (and
                                            (or
                                                (instance ?H Stealing)
                                                (instance ?H Damaging))
                                            (eventPartlyLocated ?H ?L)
                                            (holdsDuring ?T
                                                (patient ?H ?CAR)))))
                                (finishes
                                    (WhenFn ?ALARM)
                                    (WhenFn ?HARM))))))))))
Cars.kif 3677-3717
(=>
    (and
        (instance ?X FireAlarm)
        (attribute ?X DeviceOn)
        (located ?X ?LOC))
    (exists (?RS)
        (and
            (instance ?RS RadiatingSound)
            (instrument ?RS ?X)
            (hasPurpose ?RS
                (exists (?GRP)
                    (and
                        (instance ?GRP GroupOfPeople)
                        (located ?GRP ?LOC)
                        (knows ?GRP
                            (exists (?FIRE)
                                (and
                                    (instance ?FIRE Fire)
                                    (eventLocated ?FIRE ?LOC))))))))))
Mid-level-ontology.kif 24563-24581
(=>
    (instance ?AC AlarmClock)
    (hasPurpose ?AC
        (exists (?TIME ?M ?Q)
            (and
                (instance ?M Measuring)
                (agent ?M ?AC)
                (result ?M ?Q)
                (equal ?Q ?TIME)
                (holdsDuring
                    (WhenFn ?M)
                    (exists (?S)
                        (and
                            (instance ?S RadiatingSound)
                            (agent ?S ?AC))))))))
Mid-level-ontology.kif 23429-23443
(=>
    (instance ?HP HearingProtection)
    (hasPurpose ?HP
        (=>
            (and
                (instance ?PERSON Human)
                (wears ?PERSON ?HP))
            (exists (?PROC ?INJ)
                (and
                    (instance ?PROC Process)
                    (subclass ?INJ
                        (KappaFn ?I
                            (and
                                (instance ?I Injuring)
                                (exists (?SOUND ?HEAR ?HUMAN)
                                    (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 3416-3446
(=>
    (instance ?PLAYER AudioCDSystem)
    (hasPurpose ?PLAYER
        (exists (?DISC ?AUDIO ?RS ?DIGITAL ?PROC)
            (and
                (instrument ?PROC ?PLAYER)
                (patient ?PROC ?DISC)
                (instance ?DISC CompactDisc)
                (instance ?AUDIO AudioRecording)
                (represents ?DIGITAL ?AUDIO)
                (part ?DIGITAL ?DISC)
                (instance ?RS RadiatingSound)
                (subProcess ?RS ?PROC)
                (instrument ?RS ?PLAYER)
                (patient ?RS ?DISC)))))
Media.kif 1213-1227
(=>
    (instance ?PLAYER MediaSystem)
    (hasPurpose ?PLAYER
        (or
            (exists (?VIDEO ?RL)
                (and
                    (instance ?VIDEO VideoRecording)
                    (instance ?RL RadiatingLight)
                    (patient ?RL ?VIDEO)
                    (instrument ?RL ?PLAYER)))
            (exists (?AUDIO ?RS)
                (and
                    (instance ?AUDIO AudioRecording)
                    (instance ?RS RadiatingSound)
                    (patient ?RS ?AUDIO)
                    (instrument ?RS ?PLAYER))))))
Mid-level-ontology.kif 12078-12093
(=>
    (instance ?RECORD AudioRecording)
    (exists (?INFO ?SOUND)
        (and
            (containsInformation ?RECORD ?INFO)
            (realization ?SOUND ?INFO)
            (instance ?SOUND RadiatingSound))))
Mid-level-ontology.kif 11931-11937
(=>
    (instance ?SONAR Sonar)
    (capability RadiatingSound agent ?SONAR))
Mid-level-ontology.kif 3090-3092
(=>
    (instance ?SPEAKER SpeakerDevice)
    (capability RadiatingSound instrument ?SPEAKER))
ComputerInput.kif 392-394
(=>
    (instance ?VCR VCRSystem)
    (hasPurpose ?VCR
        (exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
            (and
                (instance ?VHS VHSCassette)
                (instrument ?PROC ?VCR)
                (patient ?PROC ?VHS)
                (instance ?VIDEO VideoRecording)
                (represents ?AVIDEO ?VIDEO)
                (part ?VIDEO ?VHS)
                (instance ?AUDIO AudioRecording)
                (represents ?AAUDIO ?AUDIO)
                (part ?AAUDIO ?AVIDEO)
                (part ?AUDIO ?VHS)
                (instance ?RL RadiatingLight)
                (patient ?RL ?VIDEO)
                (subProcess ?RL ?PROC)
                (instance ?RS RadiatingSound)
                (patient ?RS ?AUDIO)
                (subProcess ?RS ?PROC)))))
Media.kif 1391-1411
(=>
    (instance ?X AudioRecorder)
    (hasPurpose ?X
        (exists (?RS ?RECORD ?PROC)
            (and
                (instance ?RS RadiatingSound)
                (instance ?PROC IntentionalProcess)
                (instrument ?PROC ?X)
                (patient ?PROC ?RS)
                (result ?PROC ?RECORD)
                (instance ?RECORD AudioRecording)))))
Mid-level-ontology.kif 24237-24247
(=>
    (instance ?X AudioRecording)
    (exists (?EV)
        (and
            (instance ?EV RadiatingSound)
            (represents ?X ?EV)
            (capability RadiatingSound patient ?X))))
Mid-level-ontology.kif 11923-11929
(=>
    (instance ?X BabyMonitoringSystem)
    (exists (?TX ?RX)
        (and
            (instance ?RX RadioReceiver)
            (instance ?TX Device)
            (engineeringSubcomponent ?RX ?X)
            (engineeringSubcomponent ?TX ?X)
            (hasPurpose ?X
                (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
                    (and
                        (instance ?BABY HumanBaby)
                        (instance ?CARER Human)
                        (located ?BABY ?LOC1)
                        (located ?CARER ?LOC2)
                        (not
                            (equal ?LOC1 ?LOC2))
                        (instance ?PROC Maintaining)
                        (patient ?PROC ?BABY)
                        (agent ?PROC ?CARER)
                        (located ?TX ?LOC1)
                        (located ?RX ?LOC2)
                        (instance ?SOUND RadiatingSound)
                        (eventLocated ?SOUND ?LOC1)
                        (instance ?RADIO RadioEmission)
                        (patient ?RADIO ?SOUND)
                        (destination ?RADIO ?RX)
                        (agent ?RADIO ?TX)))))))
Communications.kif 258-284
(=>
    (instance ?X DVDSystem)
    (hasPurpose ?X
        (exists (?DVD ?PROC)
            (and
                (instance ?DVD DVD)
                (instrument ?PROC ?X)
                (patient ?PROC ?DVD)
                (or
                    (exists (?VIDEO ?DVIDEO ?RL)
                        (and
                            (instance ?VIDEO VideoRecording)
                            (represents ?DVIDEO ?VIDEO)
                            (part ?DVIDEO ?DVD)
                            (instance ?RL RadiatingLight)
                            (subProcess ?RL ?PROC)
                            (instrument ?RL ?X)
                            (patient ?RL ?VIDEO)))
                    (exists (?AUDIO ?DAUDIO ?RS)
                        (and
                            (instance ?AUDIO AudioRecording)
                            (represents ?DAUDIO ?AUDIO)
                            (part ?DAUDIO ?DVD)
                            (instance ?RS RadiatingSound)
                            (subProcess ?RS ?PROC)
                            (instrument ?RS ?X)
                            (patient ?RS ?AUDIO))))))))
Media.kif 1279-1305
(=>
    (instance ?X Earphone)
    (hasPurpose ?X
        (exists (?ES ?RS ?SIGNAL ?EAR ?PROC)
            (and
                (instance ?ES ElectricalSignalling)
                (patient ?ES ?SIGNAL)
                (destination ?ES ?X)
                (instance ?PROC Process)
                (instrument ?PROC ?X)
                (patient ?PROC ?SIGNAL)
                (result ?PROC ?RS)
                (instance ?RS RadiatingSound)
                (origin ?RS ?X)
                (before
                    (BeginFn
                        (WhenFn ?ES))
                    (BeginFn
                        (WhenFn ?PROC)))
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?RS)))
                (instance ?EAR Ear)
                (orientation ?X ?EAR Adjacent)))))
Mid-level-ontology.kif 24039-24060
(=>
    (instance ?X PublicAddressSystem)
    (hasPurpose ?X
        (exists (?RS ?AREA ?GRP)
            (and
                (instance ?AREA LandArea)
                (located ?X ?AREA)
                (instance ?GRP GroupOfPeople)
                (located ?GRP ?AREA)
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (forall (?PERSON)
                    (=>
                        (member ?PERSON ?GRP)
                        (exists (?HEAR)
                            (and
                                (instance ?HEAR Hearing)
                                (patient ?HEAR ?RS)
                                (agent ?HEAR ?PERSON)))))))))
Mid-level-ontology.kif 24092-24110
(=>
    (instance ?X SpeakerDevice)
    (hasPurpose ?X
        (exists (?RS)
            (and
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (attribute ?RS Audible)))))
Mid-level-ontology.kif 24025-24032


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners