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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingSound
RadiatingSound

VerbNet: animal_sounds-38|bleat, animal_sounds-38|bay, sound_emission-43.2|toot, animal_sounds-38|roar, sound_emission-43.2|toot, animal_sounds-38|bleat, animal_sounds-38|bleat, animal_sounds-38|bleat, weather-57|thunder, animal_sounds-38|hee-haw, bulge-47.5.3|seethe, animal_sounds-38|cackle, animal_sounds-38|call, complain-37.8|caterwaul, animal_sounds-38|caw, animal_sounds-38|peep, animal_sounds-38|peep, animal_sounds-38|peep, animal_sounds-38|twitter, animal_sounds-38|cluck, sound_emission-43.2|toot, crane-40.3.2|snap, animal_sounds-38|cluck, animal_sounds-38|coo, sound_emission-43.2|crunch, animal_sounds-38|croak, animal_sounds-38|croak, sound_emission-43.2|thud, sound_emission-43.2|crunch, sound_emission-43.2|cry, crane-40.3.2|snap, animal_sounds-38|gobble, crane-40.3.2|grind, crane-40.3.2|grind, animal_sounds-38|rumble, animal_sounds-38|rumble, sound_emission-43.2|gurgle, animal_sounds-38|hee-haw, manner_speaking-37.3|sibilate, sound_emission-43.2|toot, animal_sounds-38|yowl, bulge-47.5.3|seethe, animal_sounds-38|moo, animal_sounds-38|purr, animal_sounds-38|mew, animal_sounds-38|moo, animal_sounds-38|whinny, animal_sounds-38|whinny, animal_sounds-38|squeal, sound_emission-43.2|ring, ...


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


(documentation RadiatingSound ChineseLanguage "这是释放或吸收声波的 Radiating subclass, 一些例子包括:吱吱作响、咆哮和吹口哨。") chinese_format.kif 3333-3334
(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 12546-12548
(externalImage RadiatingSound "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ small_icons/ misc_6/ sound.png") pictureList.kif 745-745
(subclass RadiatingSound Radiating) Merge.kif 12545-12545

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


(subclass Barking RadiatingSound) Mid-level-ontology.kif 21783-21783
(subclass Clapping RadiatingSound) Mid-level-ontology.kif 10697-10697
(subclass Echoing RadiatingSound) Mid-level-ontology.kif 3089-3089
(subclass MakingMusic RadiatingSound) Merge.kif 12565-12565
(subclass MusicalTone RadiatingSound) Mid-level-ontology.kif 951-951
(subclass RadiatingSoundUltrasonic RadiatingSound) Mid-level-ontology.kif 957-957
(subclass Ringing RadiatingSound) Music.kif 1340-1340
(subclass Thunder RadiatingSound) Mid-level-ontology.kif 3588-3588
(subclass Vocalizing RadiatingSound) Merge.kif 12584-12584
(termFormat ChineseLanguage RadiatingSound "放射声音") chinese_format.kif 1224-1224
(termFormat EnglishLanguage RadiatingSound "radiating sound") english_format.kif 1674-1674

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


(=>
    (and
        (instance ?EMIT RadiatingSound)
        (agent ?EMIT ?SOUND))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?SOUND ?ATTR))))
Merge.kif 12550-12557
(=>
    (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 12486-12500

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 23738-23755
(=>
    (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 3683-3723
(=>
    (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 24564-24582
(=>
    (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 23430-23444
(=>
    (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 3422-3452
(=>
    (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 12077-12092
(=>
    (instance ?RECORD AudioRecording)
    (exists (?INFO ?SOUND)
        (and
            (containsInformation ?RECORD ?INFO)
            (realization ?SOUND ?INFO)
            (instance ?SOUND RadiatingSound))))
Mid-level-ontology.kif 11936-11942
(=>
    (instance ?SONAR Sonar)
    (capability RadiatingSound agent ?SONAR))
Mid-level-ontology.kif 3085-3087
(=>
    (instance ?SPEAKER SpeakerDevice)
    (capability RadiatingSound instrument ?SPEAKER))
ComputerInput.kif 426-428
(=>
    (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 24238-24248
(=>
    (instance ?X AudioRecording)
    (exists (?EV)
        (and
            (instance ?EV RadiatingSound)
            (represents ?X ?EV)
            (capability RadiatingSound patient ?X))))
Mid-level-ontology.kif 11928-11934
(=>
    (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 24040-24061
(=>
    (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 24093-24111
(=>
    (instance ?X SpeakerDevice)
    (hasPurpose ?X
        (exists (?RS)
            (and
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (attribute ?RS Audible)))))
Mid-level-ontology.kif 24026-24033


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