musicGenre - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - musicGenre

musicGenre

appearance as argument number 1

s__documentation(s__musicGenre__m,s__EnglishLanguage,'(musicGenre ?MR ?ATTR) relates the MusicGenre ?ATTR to the MusicRecording ?MR')

Music.kif 346-347

s__instance(s__musicGenre__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Music.kif 345-345

music genre is an instance of binary predicate

s__subrelation(s__musicGenre__m,s__attribute__m)

Music.kif 344-344

music genre is a subrelation of attribute

appearance as argument number 2

s__format(s__EnglishLanguage,s__musicGenre__m,'%2 is in the genre %1')	domainEnglishFormat.kif 992-992
s__termFormat(s__EnglishLanguage,s__musicGenre__m,'music genre')	Music.kif 348-348	"music genre" is the printable form of music genre in english language

antecedent

( ! [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	If acapella is in the genre a content bearing object and the content bearing object is a record of a process, then there doesn't exist another process such that the other process is an instance of instrumental music and the other process is a subprocess of the process
( ! [V__MR,V__MM] : ((s__instance(V__MR,s__ContentBearingObject)s__and__ms__instance(V__MM,s__Process)) s__=>((s__musicGenre(V__MR,s__AcousticMusic)s__and__ms__record(V__MR,V__MM)) s__=>(s__not__m(s__exists__m[V__I,V__ED] : (s__instance(V__I,s__MusicalInstrument)s__and__ms__instrument(V__MM,V__I) s__and__ms__instance(V__ED,s__ElectricDevice)s__and__ms__part(V__ED,V__I)))))) )	Music.kif 561-571	If acoustic is in the genre a content bearing object and the content bearing object is a record of a process, then there don't exist an object and another object such that the object is an instance of musical instrument and the object is an instrument for the process and the other object is an instance of electric device and the other object is a part of the object
( ! [V__MR] : (s__instance(V__MR,s__Object)s__=>(s__musicGenre(V__MR,s__ChristianMusic)s__=>(s__exists__m[V__X] : (s__instance(V__X,s__Object)s__and__m(s__attribute(V__X,s__Christian)s__and__ms__refers(V__MR,V__X)))))) )	Music.kif 649-654	If christian music is in the genre an object, then there exists another object such that christian is an attribute of the other object and the object includes a reference to the other object
No TPTP formula. May not be expressible in strict first order.	Music.kif 675-683	If electronic dance music is in the genre an object, then the object has purpose there exist an entity and another entity such that the entity is an instance of night club and the other entity is an instance of making music and the object is a patient of the other entity and the other entity is located at 2
( ! [V__MR] : (s__instance(V__MR,s__ContentBearingObject)s__=>(s__musicGenre(V__MR,s__ElectronicMusic)s__=>(s__exists__m[V__DV,V__MM] : (s__instance(V__MM,s__Process)s__and__m(s__instance(V__DV,s__ElectricDevice)s__and__ms__record(V__MR,V__MM) s__and__ms__instrument(V__MM,V__DV)))))) )	Music.kif 691-697	If electronic music is in the genre a content bearing object, then there exist an object and a process such that the object is an instance of electric device and the content bearing object is a record of the process and the object is an instrument for the process
( ! [V__MR] : (s__instance(V__MR,s__Object)s__=>(s__musicGenre(V__MR,s__ReligiousMusic)s__=>(s__exists__m[V__ATTR,V__X] : (s__instance(V__X,s__Object)s__and__m(s__instance(V__ATTR,s__ReligiousAttribute)s__and__ms__attribute(V__X,V__ATTR) s__and__ms__refers(V__MR,V__X)))))) )	Music.kif 635-641	If religious music is in the genre an object, then there exist an entity and another object such that the entity is an instance of religious attribute and the entity is an attribute of the other object and the object includes a reference to the other object

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