| 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 13816-13818 | |
| (externalImage RadiatingSound "http://articulatesoftware.com/SUMOpictures/ small_icons/ misc_6/ sound.png") | pictureList.kif 745-745 | |
| (subclass RadiatingSound Radiating) | Merge.kif 13815-13815 |
| appearance as argument number 2 |
|
|
| (subclass Barking RadiatingSound) | Mid-level-ontology.kif 25526-25526 | |
| (subclass Clapping RadiatingSound) | Mid-level-ontology.kif 14439-14439 | |
| (subclass Echoing RadiatingSound) | Mid-level-ontology.kif 3092-3092 | |
| (subclass MakingMusic RadiatingSound) | Merge.kif 13835-13835 | |
| (subclass MusicalTone RadiatingSound) | Mid-level-ontology.kif 757-757 | |
| (subclass RadiatingSoundUltrasonic RadiatingSound) | Mid-level-ontology.kif 763-763 | |
| (subclass Ringing RadiatingSound) | Music.kif 1350-1350 | |
| (subclass Thunder RadiatingSound) | Mid-level-ontology.kif 3513-3513 | |
| (subclass Vocalizing RadiatingSound) | Merge.kif 13854-13854 | |
| (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 438-438 | |
| (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 de RadiatingSound "ausstrahlender Ton") | terms-de.txt 733-733 | |
| (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 15117-15117 |
| antecedent |
|
|
| (=> (and (instance ?EMIT RadiatingSound) (agent ?EMIT ?SOUND)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?SOUND ?ATTR)))) |
Merge.kif 13820-13827 | |
| (=> (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 13749-13763 |
| 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 3508-3537 | |
| (=> (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 27478-27495 | |
| (=> (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 3771-3812 | |
| (=> (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 28115-28133 | |
| (=> (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 27211-27225 | |
| (=> (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 1211-1225 | |
| (=> (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 15844-15859 | |
| (=> (instance ?RECORD AudioRecording) (exists (?INFO ?SOUND) (and (containsInformation ?RECORD ?INFO) (realization ?SOUND ?INFO) (instance ?SOUND RadiatingSound)))) |
Mid-level-ontology.kif 15703-15709 | |
| (=> (instance ?SONAR Sonar) (capability RadiatingSound agent ?SONAR)) |
Mid-level-ontology.kif 3088-3090 | |
| (=> (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 1389-1409 | |
| (=> (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 27908-27918 | |
| (=> (instance ?X AudioRecording) (exists (?EV) (and (instance ?EV RadiatingSound) (represents ?X ?EV) (capability RadiatingSound patient ?X)))) |
Mid-level-ontology.kif 15695-15701 | |
| (=> (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 1277-1303 | |
| (=> (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 27710-27731 | |
| (=> (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 27761-27779 | |
| (=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible))))) |
Mid-level-ontology.kif 27696-27703 |
|
|
|