(=>
(instance ?PERF MusicalPerformance)
(exists (?MUSIC)
(and
(instance ?MUSIC MakingMusic)
(subProcess ?MUSIC ?PERF)))) |
Media.kif 1821-1826 |
If X is an instance of musical performance, then there exists Y such that Y is an instance of making music and Y is a subprocess of X |
(=>
(instance ?INSTRUMENT MusicalInstrument)
(capability MakingMusic instrument ?INSTRUMENT)) |
Merge.kif 16159-16161 |
If X is an instance of musical instrument, then X is capable of doing making music as a instrument |
(<=>
(attribute ?MUSIC PolyphonicMusic)
(exists (?PART1 ?PART2)
(and
(instance ?MUSIC MakingMusic)
(instance ?PART1 MakingMusic)
(instance ?PART2 MakingMusic)
(subProcess ?PART1 ?MUSIC)
(subProcess ?PART2 ?MUSIC)
(not
(equal ?PART1 ?PART2))
(cooccur ?PART1 ?MUSIC)
(cooccur ?PART2 ?MUSIC)))) |
Mid-level-ontology.kif 747-758 |
All of the following hold: (1) polyphonic music is an attribute of X if (2) only if there exist Y (3) Z such that X is an instance of making music (4) Y is an instance of making music (5) Z is an instance of making music (6) Y is a subprocess of X (7) Z is a subprocess of X (8) equal Y (9) Z (10) Y occurs at the same time as X (11) Z occurs at the same time as X |
(=>
(and
(instance ?MC Music)
(realization ?MUSIC ?MC))
(instance ?MUSIC MakingMusic)) |
Mid-level-ontology.kif 15240-15244 |
If X is an instance of music and Y expresses the content of X, then Y is an instance of making music |
(=>
(and
(instance ?S Song)
(realization ?S ?MUSIC))
(exists (?MM ?MV ?LC ?MC)
(and
(instance ?MM MakingMusic)
(instance ?MV Singing)
(instance ?LC LyricalContent)
(instance ?MC MusicalComposition)
(patient ?MM ?MC)
(patient ?MV ?LC)
(subProcess ?MM ?MUSIC)
(subProcess ?MV ?MUSIC)))) |
Mid-level-ontology.kif 15270-15283 |
If X is an instance of song and X expresses the content of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of making music (3) W is an instance of singing (4) V is an instance of lyrical content (5) U is an instance of musical composition (6) U is a patient of Z (7) V is a patient of W (8) Z is a subprocess of Y (9) W is a subprocess of Y |
(=>
(instance ?M MusicRecording)
(exists (?P)
(and
(instance ?P MakingMusic)
(record ?M ?P)))) |
Mid-level-ontology.kif 15899-15904 |
If X is an instance of music recording, then there exists Y such that Y is an instance of making music and X is a record of Y |
(=>
(instance ?X MusicText)
(capability MakingMusic patient ?X)) |
Mid-level-ontology.kif 15923-15925 |
If X is an instance of music text, then X is capable of doing making music as a patient |
(=>
(and
(instance ?OPERA Opera)
(realization ?ACT ?OPERA))
(instance ?ACT MakingMusic)) |
Mid-level-ontology.kif 16468-16472 |
If X is an instance of opera and Y expresses the content of X, then Y is an instance of making music |
(=>
(instance ?PERFORMANCE Performance)
(exists (?SUB)
(and
(subProcess ?SUB ?PERFORMANCE)
(or
(instance ?SUB DramaticActing)
(instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 17369-17376 |
If X is an instance of performance, then there exists Y such that Y is a subprocess of X and Y is an instance of dramatic acting or Y is an instance of making music |
(=>
(and
(instance ?P MusicalPerformance)
(subProcess ?M ?P))
(instance ?M MakingMusic)) |
Mid-level-ontology.kif 17451-17455 |
If X is an instance of musical performance and Y is a subprocess of X, then Y is an instance of making music |
(=>
(instance ?DISCO DanceHall)
(hasPurpose ?DISCO
(exists (?DANCE ?MUSIC)
(and
(instance ?MUSIC MakingMusic)
(instance ?DANCE Dancing)
(cooccur ?MUSIC ?DANCE)
(eventLocated ?MUSIC ?DISCO)
(eventLocated ?DANCE ?DISCO))))) |
Mid-level-ontology.kif 29506-29515 |
If X is an instance of dance hall, then X has the purpose there exist Y, Z such that Z is an instance of making music, Y is an instance of dancing, Z occurs at the same time as Y, Z is located at X, and Y is located at X |
(=>
(musicInterpretation ?MR ?MC)
(exists (?P)
(and
(instance ?P MakingMusic)
(realization ?P ?MC)
(record ?MR ?P)))) |
Music.kif 180-186 |
If X is a recording of Y, then there exists Z such that Z is an instance of making music, Z expresses the content of Y, and X is a record of Z |
(=>
(and
(instance ?ATTR MusicGenre)
(attribute ?A ?ATTR))
(or
(instance ?A MakingMusic)
(instance ?A MusicRecording))) |
Music.kif 513-519 |
If X is an instance of music genre and X is an attribute of Y, then Y is an instance of making music or Y is an instance of music recording |
(=>
(musicGenre ?MR ElectronicDanceMusic)
(hasPurpose ?MR
(exists (?NC ?MM)
(and
(instance ?NC NightClub)
(instance ?MM MakingMusic)
(patient ?MM ?MR)
(eventLocated ?MM ?NC))))) |
Music.kif 675-683 |
If electronic dance music is in the genre X, then X has the purpose there exist Y, Z such that Y is an instance of night club, Z is an instance of making music, X is a patient of Z, and Z is located at Y |
(=>
(instance ?CONTEST MusicContest)
(exists (?J)
(and
(instance ?J Judging)
(forall (?A)
(=>
(contestParticipant ?CONTEST ?A)
(exists (?MM)
(and
(agent ?MM ?A)
(instance ?MM MakingMusic)
(subProcess ?MM ?CONTEST)
(patient ?J ?MM)))))))) |
Music.kif 1009-1022 |
If X is an instance of music contest, then there exists Y such that Y is an instance of judging, Z Z participates in Xthere exists W such that Z is an agent of W, W is an instance of making music, W is a subprocess of X, and W is a patient of Y |
(=>
(instance ?CLASS MusicClass)
(exists (?PROC)
(and
(instance ?PROC MakingMusic)
(subProcess ?PROC ?CLASS)))) |
Offers.kif 189-194 |
If X is an instance of MusicClass, then there exists Y such that Y is an instance of making music and Y is a subprocess of X |
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING)
(and
(instance ?EV Selling)
(instance ?THING Object)
(or
(capability Sport instrument ?THING)
(capability MakingMusic instrument ?THING)
(instance ?THING Book)
(instance ?THING MusicRecording)
(instance ?THING MusicText))
(patient ?EV ?THING)))))) |
naics.kif 7600-7618 |
If X is an instance of organization and sporting goods hobby book and music stores is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing sport as a instrument or W is capable of doing making music as a instrument or W is an instance of book or W is an instance of music recording or W is an instance of music text (7) W is a patient of Y |
