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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MakingInstrumentalMusic
MakingInstrumentalMusic(instrumental music)accompany, bang_out, beat, bell_ringing, bow, bugle, carillon, carillon_playing, change_ringing, chord, double_stopping, fanfare, fiddle, flourish, follow, instrumental_music, jazz, misplay, pedal, percussion, piano_music, pipe, piping, pizzicato, play, play_along, playing, prelude, rag, register, riff, skirl, slur, spiel, stopping, swing, tucket, tweedle, 器乐

appearance as argument number 1
-------------------------


s__documentation(s__MakingInstrumentalMusic,s__ChineseLanguage,'MakingInstrumentalMusic 是一种 MakingMusic,它通过某种 MusicalInstrument 来制作音乐。')

Merge.kif 13680-13681
s__documentation(s__MakingInstrumentalMusic,s__EnglishLanguage,'MakingInstrumentalMusic is a type of MakingMusic which is produced using some kind of MusicalInstrument')

Merge.kif 13678-13679
s__subclass(s__MakingInstrumentalMusic,s__MakingMusic)

s__instance(s__MakingMusic,s__SetOrClass)

s__instance(s__MakingInstrumentalMusic,s__SetOrClass)

Merge.kif 13677-13677 Instrumental music is a subclass of making music

appearance as argument number 2
-------------------------


s__partition__3(s__MakingMusic,s__MakingInstrumentalMusic,s__MakingVocalMusic)

Merge.kif 13676-13676 Making music is exhaustively partitioned into instrumental music and singing
s__rangeSubclass(s__PlayingInstrumentFn__m,s__MakingInstrumentalMusic)

Music.kif 831-831 The values returned by PlayingInstrumentFn are subclasses of instrumental music
s__subclass(s__Drumming,s__MakingInstrumentalMusic)

s__instance(s__MakingInstrumentalMusic,s__SetOrClass)

s__instance(s__Drumming,s__SetOrClass)

Music.kif 1361-1361 Drumming is a subclass of instrumental music
s__termFormat(s__ChineseLanguage,s__MakingInstrumentalMusic,'器乐')

Merge.kif 13684-13684 "器乐" is the printable form of instrumental music in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__MakingInstrumentalMusic,'instrumental music')

Merge.kif 13683-13683 "instrumental music" is the printable form of instrumental music in english language

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


( ! [V__A,V__WI,V__M] :
   (s__instance(V__A,s__Agent)s__=>((s__instance(V__WI,s__WindInstrument)s__and__ms__instance(V__M,s__MakingInstrumentalMusic)s__and__ms__agent(V__M,V__A)
      s__and__ms__instrument(V__M,V__WI))
  s__=>(s__exists__m[V__B] :
     (s__instance(V__B,s__Exhaling)s__and__ms__agent(V__B,V__A)
    s__and__ms__subProcess(V__B,V__M)))))
)

Music.kif 1201-1211
( ! [V__M] :
   (s__instance(V__M,s__MakingInstrumentalMusic)s__=>(s__exists__m[V__I] :
       (s__instance(V__I,s__MusicalInstrument)s__and__ms__instrument(V__M,V__I))))
)

Merge.kif 13687-13692

consequent
-------------------------


( ! [V__MR,V__MM] :
   ((s__instance(V__MR,s__ContentBearingObject)s__and__ms__instance(V__MM,s__Process))
    s__=>((s__musicGenre(V__MR,s__Acapella)s__and__ms__record(V__MR,V__MM))
    s__=>(s__not__m(s__exists__m[V__MI] :
       (s__instance(V__MI,s__MakingInstrumentalMusic)s__and__ms__subProcess(V__MI,V__MM))))))
)

Music.kif 526-534
( ! [V__GRP] :
   (s__instance(V__GRP,s__MarchingBand)s__=>(s__exists__m[V__P] :
       (s__instance(V__P,s__Agent)s__and__m(s__hasSkill(s__MakingInstrumentalMusic,V__P)
      s__and__ms__member(V__P,V__GRP)))))
)

Music.kif 976-981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16127-16133


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners