TreeView Knowledge Base Browser - AudioRecording

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SuperiorPartOfMentalSpineOfMandible

Sigma KEE - AudioRecording

AudioRecording(录音)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14322-14328
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14329-14331
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2644-2644
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6999-6999
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6996-6996
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6998-6998
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4516-4516
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6995-6995
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6997-6997
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7000-7000
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14321-14321	录音是 Recording 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1456-1456	AudioFile 是录音的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14422-14422	音乐录音是录音的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27124-27124	VoiceMail 是录音的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9036-9036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9035-9035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9034-9034

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 118-124	如果 Recording 是持续时间 long 和那个 Recording 是录音的 instance 和过程是听的 instance 和那个 Recording 是那个过程的 patient，然后那个过程出现的 time 的 duration 是那个持续时间
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14341-14347	如果内容承载物理是录音的 instance，然后有存在命题和过程这样那个内容承载物理 contains 那个命题的资料和那个过程表示那个命题的内容和那个过程是放射声音的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14333-14339	如果客体是录音的 instance，然后有存在实体这样那个实体是放射声音的 instance 和那个客体表达那个实体和那个客体能够担当受事的角色做放射声音

consequent

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 14482-14497	如果物理是 MediaSystem 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是视频录制的 instance 和那个另外实体是放射光线的 instance 和那个实体是那个另外实体的 patient 和那个物理是导致那个另外实体的 instrument 或有存在第三实体和第四实体这样那个第三实体是录音的 instance 和那个第四实体是放射声音的 instance 和那个第三实体是那个第四实体的 patient 和那个物理是导致那个第四实体的 instrument
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 14468-14474	如果实体是视频录制的 instance，然后有存在另一个实体这样那个另外实体是录音的 instance 和那个另外实体是那个实体的 part 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26283-26293	如果物理是 AudioRecorder 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是放射声音的 instance 和那个第三实体是有意图过程的 instance 和那个物理是导致那个第三实体的 instrument 和那个实体是那个第三实体的 patient 和那个另外实体是那个第三实体的 result 和那个另外实体是录音的 instance
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.	Media.kif 1336-1350	如果物理是 TapeRecorder 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个第三实体是有意图过程的 instance 和那个物理是导致那个第三实体的 instrument 和那个实体是那个第三实体的 result 和那个实体是录音的 instance 和那个另外实体是 RecordingTape 的 instance 和那个另外实体和那个物理是 connected 在那个第三实体 holdsDuring 和那个第三实体出现的 time 的开始%n在那个实体是那个另外实体的 part 出现的 time 的开始before发生

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

Show without tree

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