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 Le nombre 1 argument de musicVideo est une instance de MusicRecording
(domain musicVideo 2 VideoRecording) Music.kif 229-229 Le nombre 2 argument de musicVideo est une instance de VideoRecording
(instance musicVideo BinaryPredicate) Music.kif 223-223 musicVideo est une instance de pr�dicat binaire

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