Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1En2Re3En4Re5Re6Ra7InFn

 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
-------------------------


(subclass MakingInstrumentalMusic MakingMusic) Merge.kif 14014-14014 Instrumental music is a subclass of making music
(documentation MakingInstrumentalMusic EnglishLanguage "MakingInstrumentalMusic is a type of MakingMusic which is produced using some kind of MusicalInstrument") Merge.kif 14015-14016 Instrumental music is a subclass of making music

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


(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) Merge.kif 14013-14013 Making music is exhaustively partitioned into instrumental music and singing
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) Music.kif 831-831 The values returned by playing instrument fn are subclasses of instrumental music
(subclass Drumming MakingInstrumentalMusic) Music.kif 1367-1367 Drumming is a subclass of instrumental music
(termFormat EnglishLanguage MakingInstrumentalMusic "instrumental music") english_format.kif 1855-1855 Drumming is a subclass of instrumental music

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


(=>
    (instance ?M MakingInstrumentalMusic)
    (exists (?I)
        (and
            (instance ?I MusicalInstrument)
            (instrument ?M ?I))))		 Merge.kif 14018-14023 If X is an instance of instrumental music, then there exists Y such that Y is an instance of musical instrument and Y is an instrument for X
(=>
    (and
        (instance ?WI WindInstrument)
        (instance ?M MakingInstrumentalMusic)
        (agent ?M ?A)
        (instrument ?M ?WI))
    (exists (?B)
        (and
            (instance ?B Exhaling)
            (agent ?B ?A)
            (subProcess ?B ?M))))		 Music.kif 1207-1217 If X is an instance of wind instrument, Y is an instance of instrumental music, Z is an agent of Y, and X is an instrument for Y, then there exists W such that W is an instance of exhaling, Z is an agent of W, and W is a subprocess of Y

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


(=>
    (instance ?ORCHESTRA Orchestra)
    (hasPurpose ?ORCHESTRA
        (exists (?MUSIC)
            (and
                (instance ?MUSIC MakingInstrumentalMusic)
                (agent ?MUSIC ?ORCHESTRA)))))		 Mid-level-ontology.kif 20454-20460 If X is an instance of orchestra, then X has the purpose there exists Y such that Y is an instance of instrumental music and X is an agent of Y
(=>
    (and
        (musicGenre ?MR Acapella)
        (record ?MR ?MM))
    (not
        (exists (?MI)
            (and
                (instance ?MI MakingInstrumentalMusic)
                (subProcess ?MI ?MM)))))		 Music.kif 526-534 If acapella is in the genre X and X is a record of Y, then there doesn't exist Z such that Z is an instance of instrumental music and Z is a subprocess of Y
(=>
    (instance ?GRP MarchingBand)
    (exists (?P)
        (and
            (hasSkill MakingInstrumentalMusic ?P)
            (member ?P ?GRP))))		 Music.kif 978-983 If X is an instance of marching band, then there exists Y such that Y has the skill to do instrumental music and Y is a member 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