TreeView Knowledge Base Browser - musicVideo

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | Editor | ] KB: Language:

Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - musicVideo

musicVideo

appearance as argument number 1

(instance musicVideo BinaryPredicate)	Music.kif 223-223	music video is an instance of binary predicate
(documentation musicVideo EnglishLanguage "(musicVideo ?M ?V) means that VideoRecording ?V is a video recording that represents MusicRecording ?M.")	Music.kif 224-225	music video is an instance of binary predicate
(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

appearance as argument number 2

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

antecedent

(=>
(musicVideo ?M ?V)
(part ?M ?V))

Music.kif 231-233

If X is a video of Y, then Y is a part of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners