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

Formal Language: 



KB Term:  Term intersection
English Word: 

  musicVideo

 Sigma KEE - musicVideo
musicVideo

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


(documentation musicVideo EnglishLanguage "(musicVideo ?M ?V) means that VideoRecording ?V is a video recording that represents MusicRecording ?M.") Music.kif 224-225
(domain musicVideo 1 MusicRecording) Music.kif 228-228 musicVideo 的 1 数量 是 音乐录音 的 instance
(domain musicVideo 2 VideoRecording) Music.kif 229-229 musicVideo 的 2 数量 是 视频录制 的 instance
(instance musicVideo BinaryPredicate) Music.kif 223-223 musicVideo 是 二元谓语 的 instance

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


(format ChineseLanguage musicVideo "%2 是 %1 的 video ") domainEnglishFormat.kif 3942-3942
(format ChineseTraditionalLanguage musicVideo "%2 是 %1 的 video ") domainEnglishFormat.kif 3941-3941
(format EnglishLanguage musicVideo "%2 is a video of %1") domainEnglishFormat.kif 3940-3940
(termFormat EnglishLanguage musicVideo "music video") Music.kif 226-226

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