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 The number 1 argument of music video is an instance of music recording
(domain musicVideo 2 VideoRecording) Music.kif 229-229 The number 2 argument of music video is an instance of video recording
(instance musicVideo BinaryPredicate) Music.kif 223-223 music video is an instance of binary predicate

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