| RadiatingSound
| |
| 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 13568-13570 | |
| (externalImage RadiatingSound "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ small_icons/ misc_6/ sound.png") | pictureList.kif 745-745 | |
| (subclass RadiatingSound Radiating) | Merge.kif 13567-13567 |
| appearance as argument number 2 |
|
|
| (subclass Barking RadiatingSound) | Mid-level-ontology.kif 23959-23959 | |
| (subclass Clapping RadiatingSound) | Mid-level-ontology.kif 12961-12961 | |
| (subclass Echoing RadiatingSound) | Mid-level-ontology.kif 2602-2602 | |
| (subclass MakingMusic RadiatingSound) | Merge.kif 13587-13587 | |
| (subclass MusicalTone RadiatingSound) | Mid-level-ontology.kif 736-736 | |
| (subclass RadiatingSoundUltrasonic RadiatingSound) | Mid-level-ontology.kif 742-742 | |
| (subclass Ringing RadiatingSound) | Music.kif 1347-1347 | |
| (subclass Thunder RadiatingSound) | Mid-level-ontology.kif 3023-3023 | |
| (subclass Vocalizing RadiatingSound) | Merge.kif 13606-13606 | |
| (termFormat ChineseLanguage RadiatingSound "放射声音") | chinese_format.kif 1224-1224 | |
| (termFormat EnglishLanguage RadiatingSound "radiating sound") | english_format.kif 1669-1669 | |
| (termFormat FrenchLanguage RadiatingSound "son irradiant") | french_format.kif 902-902 | |
| (termFormat Hindi RadiatingSound "vikaranakaarii dhvani") | terms-hindi.txt 435-435 | |
| (termFormat ItalianLanguage RadiatingSound "OndaSonora") | terms-it.txt 436-436 | |
| (termFormat JapaneseLanguage RadiatingSound "放射音") | japanese_format.kif 2586-2586 | |
| (termFormat PortugueseLanguage RadiatingSound "Som Irradiante") | portuguese_format.kif 854-854 | |
| (termFormat cz RadiatingSound "radiating sound") | terms-cz.txt 474-474 | |
| (termFormat ro RadiatingSound "undã sonorã") | relations-ro.kif 923-923 | |
| (termFormat tg RadiatingSound "nagbibigay ingay") | terms-tg.txt 439-439 |
| appearance as argument number 3 |
|
|
| (domain loudness 1 RadiatingSound) | Mid-level-ontology.kif 13598-13598 |
| antecedent |
|
|
| (=> (and (instance ?EMIT RadiatingSound) (agent ?EMIT ?SOUND)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?SOUND ?ATTR)))) |
Merge.kif 13572-13579 | |
| (=> (and (instance ?SOUND RadiatingSound) (agent ?SOUND ?OBJ) (attribute ?SOUND Audible)) (exists (?HUMAN ?HEAR) (and (instance ?HUMAN Human) (capability (KappaFn ?HEAR (and (instance ?HEAR Hearing) (agent ?HEAR ?HUMAN) (destination ?HEAR ?HUMAN) (origin ?HEAR ?OBJ))) agent ?HUMAN)))) |
Merge.kif 13501-13515 |
| consequent |
|
|
| (=> (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 | |
| (=> (and (instance ?KL KnockLight) (located ?KL ?ROOM) (instance ?ROOM Room) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?KNOCK ?SOUND ?LIGHT) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (causes ?KNOCK ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingVisibleLight) (instrument ?LIGHT ?KL))))) |
Mid-level-ontology.kif 25919-25936 | |
| (=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (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 3710-3751 | |
| (=> (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 26555-26573 | |
| (=> (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 25615-25629 | |
| (=> (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 1209-1223 | |
| (=> (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 14325-14340 | |
| (=> (instance ?RECORD AudioRecording) (exists (?INFO ?SOUND) (and (containsInformation ?RECORD ?INFO) (realization ?SOUND ?INFO) (instance ?SOUND RadiatingSound)))) |
Mid-level-ontology.kif 14184-14190 | |
| (=> (instance ?SONAR Sonar) (capability RadiatingSound agent ?SONAR)) |
Mid-level-ontology.kif 2598-2600 | |
| (=> (instance ?SPEAKER SpeakerDevice) (capability RadiatingSound instrument ?SPEAKER)) |
ComputerInput.kif 480-482 | |
| (=> (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 1387-1407 | |
| (=> (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 26348-26358 | |
| (=> (instance ?X AudioRecording) (exists (?EV) (and (instance ?EV RadiatingSound) (represents ?X ?EV) (capability RadiatingSound patient ?X)))) |
Mid-level-ontology.kif 14176-14182 | |
| (=> (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 1275-1301 | |
| (=> (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 26151-26172 | |
| (=> (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 26202-26220 | |
| (=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible))))) |
Mid-level-ontology.kif 26137-26144 |
|
|
|