RadiatingSound - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RadiatingSound

RadiatingSound(放射声音)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3333-3334
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13699-13701
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 745-745
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13698-13698	放射声音是辐射的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23860-23860	吠是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13089-13089	拍手是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2630-2630	回音是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13718-13718	制作音乐是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 764-764	音调是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 770-770	辐射声超声波是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	Music.kif 1348-1348	铃声是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3051-3051	雷是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13737-13737	发声是放射声音的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1224-1224
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1669-1669
No TPTP formula. May not be expressible in strict first order.	french_format.kif 902-902
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 435-435
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 438-438
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2586-2586
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 854-854
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 474-474
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 923-923
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 439-439

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 13727-13727

loudness 的 1 数量是放射声音的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13703-13710	如果过程是放射声音的 instance 和施事体是那个过程的 agent，然后有存在属性这样那个属性是声音属性的 instance 和那个属性是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13632-13646	如果过程是放射声音的 instance 和施事体是那个过程的 agent 和听得见是那个过程的 attribute，然后有存在客体和符号串这样那个客体是人类的 instance 和那个客体能够担当主事的角色做那个符号串所描述的类别

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	如果物理是 KnockLight 的 instance 和那个物理是 located 在客体和那个客体是房间的 instance 和另一个客体是门的 instance 和那个另外客体是那个客体的 part，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是碰撞的 instance 和那个另外客体是那个实体的 patient 和那个实体 causes 那个另外实体和那个另外实体是放射声音的 instance 和那个另外客体是那个另外实体的 agent 和那个另外实体 causes 那个第三实体和那个第三实体是辐射可见光的 instance 和那个物理是导致那个第三实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	如果客体是 CarAlarm 的 instance 和另一个客体是自供电公路车辆的 instance 和那个客体是那个另外客体的 part，然后有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个客体的目的是如果那个实体是偷窃行为的 instance 或那个实体是损坏的 instance 和那个另外实体是人类的 instance 和那个另外实体是那个实体的 agent 和那个另外客体是那个实体的 patient 和那个实体出现的 time equal 那个第三实体和那个实体是 partly located 在那个第四实体，然后有存在第五实体这样那个第五实体是放射声音的 instance 和那个客体是那个第五实体的 agent 和那个实体 causes 那个第五实体和那个第五实体的目的是有存在第六实体这样那个第六实体是人类的 instance 和那个第六实体在那个第四实体的近在那个第三实体 holdsDuring 增加那个第六实体 knows 有存在第七实体这样那个第七实体是偷窃行为的 instance 或那个第七实体是损坏的 instance 和那个第七实体是 partly located 在那个第四实体和那个另外客体是那个第七实体的 patient 在那个第三实体 holdsDuring 或那个第五实体出现的 time finishes了才到那个实体出现的 time 发生的机率
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26445-26463	如果客体是 FireAlarm 的 instance 和设备上是那个客体的 attribute 和那个客体是 located 在另一个客体，然后有存在过程这样那个过程是放射声音的 instance 和那个客体是导致那个过程的 instrument 和那个过程的目的是有存在实体这样那个实体是一群人的 instance 和那个实体是 located 在那个另外客体和那个实体 knows 有存在另一个实体这样那个另外实体是火的 instance 和那个另外实体是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25529-25543	如果物理是 AlarmClock 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是测量的 instance 和那个物理是那个另外实体的 agent 和那个第三实体是那个另外实体的 result 和那个第三实体 equal 那个实体和有存在第四实体这样那个第四实体是放射声音的 instance 和那个物理是那个第四实体的 agent 在那个另外实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 1209-1223	如果物理是 AudioCDSystem 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个物理是导致那个第五实体的 instrument 和那个实体是那个第五实体的 patient 和那个实体是 CompactDisc 的 instance 和那个另外实体是录音的 instance 和那个第四实体表达那个另外实体和那个第四实体是那个实体的 part 和那个第三实体是放射声音的 instance 和那个第三实体%n是那个第五实体的subProcess 和那个物理是导致那个第三实体的 instrument 和那个实体是那个第三实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14454-14469	如果物理是 MediaSystem 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是视频录制的 instance 和那个另外实体是放射光线的 instance 和那个实体是那个另外实体的 patient 和那个物理是导致那个另外实体的 instrument 或有存在第三实体和第四实体这样那个第三实体是录音的 instance 和那个第四实体是放射声音的 instance 和那个第三实体是那个第四实体的 patient 和那个物理是导致那个第四实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14313-14319	如果内容承载物理是录音的 instance，然后有存在命题和过程这样那个内容承载物理 contains 那个命题的资料和那个过程表示那个命题的内容和那个过程是放射声音的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2626-2628	如果客体是声纳的 instance，然后那个客体能够担当主事的角色做放射声音
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 480-482	如果客体是 SpeakerDevice 的 instance，然后那个客体能够担当工具的角色做放射声音
No TPTP formula. May not be expressible in strict first order.	Media.kif 1387-1407	如果物理是 VCRSystem 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体,，，第七实体， and 和第八实体这样那个实体是 VHSCassette 的 instance 和那个物理是导致那个另外实体的 instrument 和那个实体是那个另外实体的 patient 和那个第三实体是视频录制的 instance 和那个第四实体表达那个第三实体和那个第三实体是那个实体的 part 和那个第六实体是录音的 instance 和那个第七实体表达那个第六实体和那个第七实体是那个第四实体的 part 和那个第六实体是那个实体的 part 和那个第五实体是放射光线的 instance 和那个第三实体是那个第五实体的 patient 和那个第五实体%n是那个另外实体的subProcess 和那个第八实体是放射声音的 instance 和那个第六实体是那个第八实体的 patient 和那个第八实体%n是那个另外实体的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26238-26248	如果物理是 AudioRecorder 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是放射声音的 instance 和那个第三实体是有意图过程的 instance 和那个物理是导致那个第三实体的 instrument 和那个实体是那个第三实体的 patient 和那个另外实体是那个第三实体的 result 和那个另外实体是录音的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14305-14311	如果客体是录音的 instance，然后有存在实体这样那个实体是放射声音的 instance 和那个客体表达那个实体和那个客体能够担当受事的角色做放射声音
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	如果工程组件是 BabyMonitoringSystem 的 instance，然后有存在另一个工程组件和第三工程组件这样那个第三工程组件是无线电接收器的 instance 和那个另外工程组件是设备的 instance 和那个第三工程组件是那个工程组件的 component 和那个另外工程组件是那个工程组件的 component 和那个工程组件的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体， and 和第七实体这样那个实体是人类宝贝的 instance 和那个另外实体是人类的 instance 和那个实体是 located 在那个第四实体和那个另外实体是 located 在那个第五实体和那个第四实体不 equal 那个第五实体和那个第六实体是维护的 instance 和那个实体是那个第六实体的 patient 和那个另外实体是那个第六实体的 agent 和那个另外工程组件是 located 在那个第四实体和那个第三工程组件是 located 在那个第五实体和那个第三实体是放射声音的 instance 和那个第三实体是 located 在那个第四实体和那个第七实体是无线电发射的 instance 和那个第三实体是那个第七实体的 patient 和那个第七实体在那个第三工程组件结束和那个另外工程组件是那个第七实体的 agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 1275-1301	如果物理是 DVDSystem 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是 DVD 的 instance 和那个物理是导致那个另外实体的 instrument 和那个实体是那个另外实体的 patient 和有存在第三实体，第四实体， and 和第五实体这样那个第三实体是视频录制的 instance 和那个第四实体表达那个第三实体和那个第四实体是那个实体的 part 和那个第五实体是放射光线的 instance 和那个第五实体%n是那个另外实体的subProcess 和那个物理是导致那个第五实体的 instrument 和那个第三实体是那个第五实体的 patient 或有存在第七实体，第八实体， and 和第九实体这样那个第七实体是录音的 instance 和那个第八实体表达那个第七实体和那个第八实体是那个实体的 part 和那个第九实体是放射声音的 instance 和那个第九实体%n是那个另外实体的subProcess 和那个物理是导致那个第九实体的 instrument 和那个第七实体是那个第九实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26041-26062	如果物理是 Earphone 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是电信号的 instance 和那个第三实体是那个实体的 patient 和那个实体在那个物理结束和那个第五实体是过程的 instance 和那个物理是导致那个第五实体的 instrument 和那个第三实体是那个第五实体的 patient 和那个另外实体是那个第五实体的 result 和那个另外实体是放射声音的 instance 和那个物理是那个另外实体的源头和那个实体出现的 time 的开始%n在那个第五实体出现的 time 的开始before发生和那个第五实体出现的 time 的开始%n在那个另外实体出现的 time 的开始before发生和那个第四实体是耳的 instance 和那个物理在那个第四实体的邻
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26092-26110	如果物理是 PublicAddressSystem 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是土地面积的 instance 和那个物理是 located 在那个另外实体和那个第三实体是一群人的 instance 和那个第三实体是 located 在那个另外实体和那个实体是放射声音的 instance 和那个物理是导致那个实体的 instrument 和对所有第四实体如果那个第四实体是那个第三实体的 member，然后有存在第五实体这样那个第五实体是听的 instance 和那个实体是那个第五实体的 patient 和那个第四实体是那个第五实体的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26027-26034	如果物理是 SpeakerDevice 的 instance，然后那个物理的目的是有存在实体这样那个实体是放射声音的 instance 和那个物理是导致那个实体的 instrument 和听得见是那个实体的 attribute

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 3.0 is open source software produced by Articulate Software and its partners