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 and 音樂錄音
(domain musicVideo 2 VideoRecording) Music.kif 229-229 域 musicVideo, 2 and 視頻錄製
(instance musicVideo BinaryPredicate) Music.kif 223-223 例 musicVideo and BinaryPredicate

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