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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1404-1405
No TPTP formula. May not be expressible in strict first order. Merge.kif 13859-13860
No TPTP formula. May not be expressible in strict first order. Merge.kif 13858-13858 Instrumental music is a subclass of making music

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13857-13857 Making music is exhaustively partitioned into instrumental music and singing
No TPTP formula. May not be expressible in strict first order. Music.kif 831-831 The values returned by playing instrument fn are subclasses of instrumental music
No TPTP formula. May not be expressible in strict first order. Music.kif 1365-1365 Drumming is a subclass of instrumental music
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1407-1407 Drumming is a subclass of instrumental music
No TPTP formula. May not be expressible in strict first order. english_format.kif 1851-1851 Drumming is a subclass of instrumental music

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1205-1215
No TPTP formula. May not be expressible in strict first order. Merge.kif 13862-13867

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


No TPTP formula. May not be expressible in strict first order. Music.kif 526-534
No TPTP formula. May not be expressible in strict first order. Music.kif 978-983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20106-20112


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