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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

antecedent
-------------------------


(=>
    (musicVideo ?M ?V)
    (part ?M ?V))
Music.kif 231-233


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