-
Notifications
You must be signed in to change notification settings - Fork 71
/
Music.kif
1510 lines (1262 loc) · 54 KB
/
Music.kif
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
;; Created by: Karen Joy Nomorosa, Rearden Commerce
;; Description: This ontology contains suggestions for changes to anything related to
;; Music, as well as additional relationships as suggested by Wikipeda Infobox Templates
;; Access to and use of these products is governed by the GNU General Public
;; License <http://www.gnu.org/copyleft/gpl.html>.
;; By using these products, you agree to be bound by the terms
;; of the GPL.
;; We ask the people using or referencing this work cite our primary paper:
;; Niles, I., and Pease, A. 2001. Towards a Standard Upper Ontology. In
;; Proceedings of the 2nd International Conference on Formal Ontology in
;; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds,
;; Ogunquit, Maine, October 17-19, 2001. See also http://www.ontologyportal.org
;; ----------------------------------------------------------------------------------
;; Concepts Related to Music Industry
;; ----------------------------------------------------------------------------------
(subclass RecordingStudio StationaryArtifact)
(documentation RecordingStudio EnglishLanguage "A &%RecordingStudio is a &%StationaryArtifact,
such as a &%Room or &%Building that has the necessary equipment to professionaly
produce a &%Recording.")
(termFormat EnglishLanguage RecordingStudio "recording studio")
(=>
(instance ?S RecordingStudio)
(hasPurpose ?S
(exists (?R ?P)
(and
(instance ?R Recording)
(result ?P ?R)
(eventLocated ?P ?S)))))
(=>
(instance ?S RecordingStudio)
(exists (?D)
(and
(instance ?D Device)
(hasPurpose ?D
(exists (?R ?P)
(and
(instance ?R Recording)
(instrument ?P ?D)
(result ?P ?R))))
(located ?D ?S))))
(subclass Album List)
(documentation Album EnglishLanguage "An &%Album is a &%List of &%Recordings that are packaged and sold as a unit.")
(termFormat EnglishLanguage Album "album")
(=>
(instance ?L Album)
(forall (?X)
(=>
(inList ?X ?L)
(instance ?X Recording))))
(subclass Discography Collection)
(documentation Discography EnglishLanguage "A &%Discography is the collection of all
released &%MusicRecording of a &%Musician. This is different from something like a
sessionography, which is a collection of all recording sessions, whether they have been
released for sale or not.")
(termFormat EnglishLanguage Discography "discography")
(=>
(instance ?D Discography)
(exists (?M ?AC)
(and
(instance ?M CognitiveAgent)
(attribute ?M ?AC)
(instance ?AC Musician)
(forall (?X)
(=>
(member ?X ?D)
(exists (?I ?T ?R ?DS)
(and
(musician ?X ?M ?I)
(releaseForSale (AlbumCopiesFn ?X ?DS) ?R ?T))))))))
;; ----------------------------------------------------------------------------------
;; Relationships Related to Music or Record
;; ----------------------------------------------------------------------------------
;; ***** RECORDING ******
(instance producedOn BinaryPredicate)
(documentation producedOn EnglishLanguage "(&%producedOn ?R ?TP) refers to the date
that a &%Recording was finalized into a final copy that is ready for release.")
(termFormat EnglishLanguage producedOn "produced on")
(domain producedOn 1 Recording)
(domain producedOn 2 TimePoint)
(=>
(producedOn ?R ?D)
(exists (?P)
(and
(instance ?P Process)
(result ?P ?R)
(equal ?D
(WhenFn
(EndFn ?P))))))
; producedBy in Merge.kif
(instance recordingLength BinaryPredicate)
(documentation recordingLength EnglishLanguage "(&%recordingLength ?R ?T) indicates
that playing the complete &%Recording ?R from start to finish lasts &%TimeDuration ?T.")
(termFormat EnglishLanguage recordingLength "recording length")
(domain recordingLength 1 Recording)
(domain recordingLength 2 TimeDuration)
;;
;; Jennie 4th August 2022
;; move ?L from consequent to antecedent and eliminated the second "(=>"
(=>
(and
(recordingLength ?R ?T)
(instance ?R AudioRecording)
(instance ?L Listening)
(patient ?L ?R))
(duration (WhenFn ?L) ?T))
(instance recordingCompany BinaryPredicate)
(documentation recordingCompany EnglishLanguage "(&%recordingCompany ?R ?C) means that
&%RecordCompany ?C is responsible for the distribution and production of &%Recording ?R.")
(termFormat EnglishLanguage recordingCompany "recording company")
(domain recordingCompany 1 Recording)
(domain recordingCompany 2 Organization)
;; ***** MUSIC & MUSIC RECORDING ******
(instance composer BinaryPredicate)
(subrelation composer creator)
(documentation composer EnglishLanguage "(&%composer ?AGENT ?COMPOSITION) means that
&%CognitiveAgent ?AGENT created &%MusicalComposition ?COMPOSITION")
(termFormat EnglishLanguage composer "composer")
(comment composer "Right now, &%composer is a &%subrelation of &%authors, but &%authors
is related to a &%Text versus to a &%Proposition, so I'm changing it such that &%compsoer
now is a &%subrelation of &%creator, so that it can work with &%MusicalComposition, which
is now a &%subclass of &%Proposition. (09-14-2011)" "KJN")
(domain composer 1 CognitiveAgent)
(domain composer 2 MusicalComposition)
(=>
(composer ?A ?M)
(exists (?C)
(and
(instance ?C Creation)
(agent ?C ?A)
(result ?C ?M))))
(subrelation lyricist creator)
(instance lyricist BinaryPredicate)
(documentation lyricist EnglishLanguage "(&%lyricist ?LC ?A) means that &%CognitiveAgent
?A is the person who created &%LyricalContent ?LC.")
(termFormat EnglishLanguage lyricist "lyricist")
(domain lyricist 1 LyricalContent)
(domain lyricist 2 CognitiveAgent)
(=>
(lyricist ?LC ?A)
(exists (?C)
(and
(agent ?C ?A)
(result ?C ?LC))))
(instance musicInterpretation BinaryPredicate)
(documentation musicInterpretation EnglishLanguage "(&%musicInterpretation ?MR ?MC)
means that &%MusicRecording ?MR is a &%realization of &%Music ?MC")
(termFormat EnglishLanguage musicInterpretation "music interpretation")
(domain musicInterpretation 1 MusicRecording)
(domain musicInterpretation 2 Music)
(=>
(musicInterpretation ?MR ?MC)
(exists (?P)
(and
(instance ?P MakingMusic)
(realization ?P ?MC)
(record ?MR ?P))))
(instance musician TernaryPredicate)
(documentation musician EnglishLanguage "(&%musician ?MR ?P ?I) means that &%Human ?P
played some &%Process ?I as a &%Musician in &%MusicRecording ?MR")
(termFormat EnglishLanguage musician "musician")
(domain musician 1 MusicRecording)
(domain musician 2 Human)
(domainSubclass musician 3 MakingMusic)
(=>
(musician ?MR ?P ?R)
(exists (?MM ?I)
(and
(instance ?MM ?R)
(or
(equal ?R (PlayingInstrumentFn ?I))
(equal ?R MakingVocalMusic))
(agent ?MM ?P)
(result ?MM ?MR))))
(instance songArtist BinaryPredicate)
(documentation songArtist EnglishLanguage "(&%songArtist ?MR ?A) means that &%CognitiveAgent
?A was the agent in recording &%MusicRecording ?MR")
(termFormat EnglishLanguage songArtist "song artist")
(domain songArtist 1 MusicRecording)
(domain songArtist 2 CognitiveAgent)
(=>
(songArtist ?MR ?A)
(exists (?M)
(and
(record ?MR ?M)
(agent ?M ?A))))
(instance musicVideo BinaryPredicate)
(documentation musicVideo EnglishLanguage "(&%musicVideo ?M ?V) means that &%VideoRecording
?V is a video recording that represents &%MusicRecording ?M.")
(termFormat EnglishLanguage musicVideo "music video")
(domain musicVideo 1 MusicRecording)
(domain musicVideo 2 VideoRecording)
(=>
(musicVideo ?M ?V)
(part ?M ?V))
(instance discography BinaryPredicate)
(documentation discography EnglishLanguage "(&%discography ?A ?D) means that &%CognitiveAgent
?A has &%Discography ?D")
(termFormat EnglishLanguage discography "discography")
(domain discography 1 CognitiveAgent)
(domain discography 2 Discography)
(=>
(discography ?A ?D)
(forall (?X)
(=>
(member ?X ?D)
(exists (?I)
(musician ?X ?A ?I)))))
;; ***** ALBUMS ******
(instance albumRelease BinaryPredicate)
(documentation albumRelease EnglishLanguage "(&%albumRelease ?A ?T) means that by
&%TimePoint ?T, (&%AlbumCopiesFn ?A ?DS) was &%releaseForSale in some location. ")
(termFormat EnglishLanguage albumRelease "album release")
(domain albumRelease 1 Album)
(domain albumRelease 2 TimePoint)
(=>
(albumRelease ?A ?T)
(and
(exists (?R1 ?DS1)
(releaseForSale (AlbumCopiesFn ?A ?DS1) ?R1 ?T))
(not
(exists (?B ?R2 ?DS2)
(and
(before ?B ?T)
(releaseForSale (AlbumCopiesFn ?A ?DS2) ?R2 ?B))))))
(instance albumArtist BinaryPredicate)
(documentation albumArtist EnglishLanguage "(&%albumArtist ?A ?P) means that &%Album
?A features &%CognitiveAgent ?P as one of its main contributors")
(termFormat EnglishLanguage albumArtist "album artist")
(domain albumArtist 1 Album)
(domain albumArtist 2 CognitiveAgent)
(=>
(albumArtist ?A ?P)
(exists (?R ?M)
(and
(instance ?R Recording)
(inList ?R ?A)
(record ?R ?M)
(agent ?M ?P))))
(instance albumType BinaryPredicate)
(documentation albumType EnglishLanguage "(&%albumType ?A ?ATTR) means that &%RecordingAttribute
?ATTR describes the contents of &%Album ?A")
(termFormat EnglishLanguage albumType "album type")
(domain albumType 1 Album)
(domain albumType 2 RelationalAttribute)
(=>
(and
(instance ?ATTR AlbumAttribute)
(albumType ?A ?ATTR))
(attribute ?A ?ATTR))
(instance albumCoverImage BinaryPredicate)
(documentation albumCoverImage EnglishLanguage "(&%albumCoverImage ?A ?I) means that
&%Album ?A is represented by &%Image ?I. When a &%DataStorageDevice containing &%Album ?A,
its container would normally have the image on its front.")
(termFormat EnglishLanguage albumCoverImage "album cover")
(domain albumCoverImage 1 Album)
(domain albumCoverImage 2 Image)
(=>
(albumCoverImage ?A ?I)
(represents ?I ?A))
(=>
(and
(albumCoverImage ?A ?I)
(instance ?CD (AlbumCopiesFn ?A ?DS))
(contains ?C ?CD))
(modalAttribute
(part ?I (FrontFn ?C)) Likely))
(instance albumLength BinaryPredicate)
(documentation albumLength EnglishLanguage "(&%albumLength ?A ?T) means that &%TimeDuration
?T is the time it takes to view / listen to all &%Recording in &%Album ?A")
(termFormat EnglishLanguage albumLength "album length")
(domain albumLength 1 Album)
(domain albumLength 2 TimeDuration)
(subrelation albumTrack inList)
(instance albumTrack BinaryPredicate)
(documentation albumTrack EnglishLanguage "(&%albumTrack ?A ?T) means that &%Recording
?T is part of &%Album ?A")
(termFormat EnglishLanguage albumTrack "album track")
(domain albumTrack 1 Recording)
(domain albumTrack 2 Album)
(subrelation musicGenre attribute)
(instance musicGenre BinaryPredicate)
(documentation musicGenre EnglishLanguage "(&%musicGenre ?MR ?ATTR) relates the
&%MusicGenre ?ATTR to the &%MusicRecording ?MR")
(termFormat EnglishLanguage musicGenre "music genre")
;; ***** ANTHEM ******
(subrelation anthem represents)
(documentation anthem EnglishLanguage "(&%anthem ?M ?O) means that &%Music ?M is adopted
as a song that represents &%Object ?O. This is most commonly used for &%Nations and royal
families.")
(termFormat EnglishLanguage anthem "anthem")
(instance anthem BinaryPredicate)
(domain anthem 1 Music)
(domain anthem 2 Object)
;; ----------------------------------------------------------------------------------
;; Attributes
;; ----------------------------------------------------------------------------------
(subclass RecordingAttribute RelationalAttribute)
(documentation RecordingAttribute EnglishLanguage "&%RecordingAttribute refers to
&%RelationalAttributes that describe the conditions that a &%Recording was
recorded under.")
(termFormat EnglishLanguage RecordingAttribute "recording attribute")
(=>
(attribute ?M RecordingAttribute)
(instance ?M Recording))
(instance LiveRecording RecordingAttribute)
(documentation LiveRecording EnglishLanguage "&%LiveRecording refers to a
&%MusicRecording that was captured directly from a &%Performance")
(termFormat EnglishLanguage LiveRecording "live recording")
(=>
(and
(attribute ?M LiveRecording)
(instance ?M Recording))
(exists (?P)
(and
(instance ?P Performance)
(record ?M ?P))))
(instance StudioRecording RecordingAttribute)
(documentation StudioRecording EnglishLanguage "&%StudioRecording refers to a
&%MusicRecording that was captured from sessions in a recording studio.")
(termFormat EnglishLanguage StudioRecording "studio recording")
(=>
(and
(attribute ?M StudioRecording)
(instance ?M Recording))
(exists (?P ?S)
(and
(record ?M ?P)
(eventLocated ?P ?S)
(instance ?S RecordingStudio))))
(instance DemoRecording RecordingAttribute)
(documentation DemoRecording EnglishLanguage "A &%DemoRecording refers to a &%Recording
that is meant to be for a smaller group of people and is not meant for release or
distribution to the public")
(termFormat EnglishLanguage DemoRecording "demo recording")
(=>
(and
(attribute ?M DemoRecording)
(instance ?M Recording))
(hasPurpose ?M
(exists (?D ?G ?MUSIC)
(and
(instance ?D Demonstrating)
(record ?M ?MUSIC)
(patient ?D ?MUSIC)
(destination ?D ?G)
(instance ?G GroupOfPeople)))))
(instance MashupRecording RecordingAttribute)
(documentation MashupRecording EnglishLanguage "A &%MashupRecording refers to a &%Recording
that consists of two or more songs made into one song.")
(termFormat EnglishLanguage MashupRecording "mashup")
(=>
(and
(attribute ?M MashupRecording)
(instance ?M Recording))
(exists (?M1 ?M2 ?S1 ?S2)
(and
(musicInterpretation ?M1 ?S1)
(musicInterpretation ?M2 ?S2)
(not (equal ?S1 ?S2))
(part ?M1 ?M)
(part ?M2 ?M))))
(instance RemixRecording RecordingAttribute)
(documentation RemixRecording EnglishLanguage "A &%RemixRecording refers to a &%Recording
that has an original &%Recording that was somehow altered by some &%CognitiveAgent while
still being able to recognize the original.")
(termFormat EnglishLanguage RemixRecording "remix recording")
(=>
(and
(attribute ?M RemixRecording)
(instance ?M MusicRecording))
(exists (?O ?A)
(equal ?M (RemixFn ?O ?A))))
(instance CoverRecording RecordingAttribute)
(documentation CoverRecording EnglishLanguage "A &%CoverRecording refers to a &%MusicRecording
whose &%Music was recorded and released by somebody else before the artist of the current
recording.")
(termFormat EnglishLanguage CoverRecording "cover recording")
(=>
(and
(attribute ?MR CoverRecording)
(instance ?MR MusicRecording)
(songArtist ?MR ?A)
(musicInterpretation ?MR ?M)
(record ?MR ?MM))
(exists (?ORIG ?ARTIST ?MUSIC)
(and
(musicInterpretation ?ORIG ?M)
(songArtist ?ORIG ?ARTIST)
(not (equal ?A ?ARTIST))
(record ?ORIG ?MUSIC)
(before (WhenFn ?MUSIC) (WhenFn ?MM)))))
(subclass AlbumAttribute RelationalAttribute)
(documentation AlbumAttribute EnglishLanguage "&%AlbumAttribute is used to describe the
contents of an &%Album")
(termFormat EnglishLanguage AlbumAttribute "album attribute")
(=>
(and
(attribute ?A ?ATTR)
(instance ?ATTR AlbumAttribute))
(instance ?A Album))
(instance CompilationAlbum AlbumAttribute)
(documentation CompilationAlbum EnglishLanguage "&%CompilationAlbum is used to describe
an &%Album who has more than one &%albumArtist (i.e. there exists two different artists
that contributed 2 different &%Recording to the album.")
(termFormat EnglishLanguage CompilationAlbum "compilation album")
(=>
(property ?A CompilationAlbum)
(exists (?A1 ?A2)
(and
(albumArtist ?A ?A1)
(albumArtist ?A ?A2)
(not
(equal ?A1 ?A2)))))
;; --------------- MUSIC GENRE -----------------------------------------
(subclass MusicGenre RelationalAttribute)
(documentation MusicGenre EnglishLanguage "&%MusicGenre is a categorical construct that
identifies musical sound as belonging to a particular category that can be distinguished
from other types of music. They are attributes instead of subclasses of &%Music as
the classification of a song to a particular genre is oftentimes arbitrary, as well
as the fact that there are very closely related genres that oftentime overlap. It is
applied to a &%MusicRecording instead of &%Music as a piece of &%Music can be reinterpreted
as a different genre by different artists.")
(termFormat EnglishLanguage MusicGenre "music genre")
(=>
(and
(instance ?ATTR MusicGenre)
(attribute ?A ?ATTR))
(or
(instance ?A MakingMusic)
(instance ?A MusicRecording)))
(instance Acapella MusicGenre)
(documentation Acapella EnglishLanguage "&%Acapella describes the &%MusicGenre that
does not have any instrumental backing.")
(termFormat EnglishLanguage Acapella "acapella")
(=>
(and
(musicGenre ?MR Acapella)
(record ?MR ?MM))
(not
(exists (?MI)
(and
(instance ?MI MakingInstrumentalMusic)
(subProcess ?MI ?MM)))))
(instance AcidHouse MusicGenre)
(documentation AcidHouse EnglishLanguage "&%AcidHouse is a music style that
originated in Detroit and Chicago, coming through Ibiza to Britain.")
(termFormat EnglishLanguage AcidHouse "acid house")
(instance AcidJazz MusicGenre)
(documentation AcidJazz EnglishLanguage "&%AcidJazz is a music style that
combines &%JazzMusic, &%FunkMusic and &%HipHopMusic.")
(termFormat EnglishLanguage AcidJazz "acid jazz")
(relatedInternalConcept AcidJazz JazzMusic)
(relatedInternalConcept AcidJazz FunkMusic)
(relatedInternalConcept AcidJazz HipHopMusic)
(instance AcidRock MusicGenre)
(documentation AcidRock EnglishLanguage "&%AcidRock is a music style that
is a form of psychedelic rock, characterized by long instrumental solos, few
if any, lyrics, and musical improvisation.")
(termFormat EnglishLanguage AcidRock "acid rock")
(instance AcousticMusic MusicGenre)
(documentation AcousticMusic EnglishLanguage "&%AcousticMusic is a music genre style
that solely uses instruments which produce sound through entirely acoustic means as
opposed to electric means")
(termFormat EnglishLanguage AcousticMusic "acoustic")
(=>
(and
(musicGenre ?MR AcousticMusic)
(record ?MR ?MM))
(not
(exists (?I ?ED)
(and
(instance ?I MusicalInstrument)
(instrument ?MM ?I)
(instance ?ED ElectricDevice)
(part ?ED ?I)))))
(instance AlternativeCountry MusicGenre)
(documentation AlternativeCountry EnglishLanguage "&%AlternativeCountry is a music
style that was a reaction against the 1990s highly-polished Nashville Sound")
(termFormat EnglishLanguage AlternativeCountry "alternative country")
(relatedInternalConcept AlternativeCountry CountryMusic)
(instance AlternativeDance MusicGenre)
(documentation AlternativeDance EnglishLanguage "&%AlternativeDance is a music style that
combines elements of dance-pop (or other forms of electronic house or techno) and alternative
rock genres such as indie rock.")
(termFormat EnglishLanguage AlternativeDance "alternative dance")
(relatedInternalConcept AlternativeDance AlternativeRock)
(relatedInternalConcept AlternativeDance PopMusic)
(instance AlternativeRock MusicGenre)
(documentation AlternativeRock EnglishLanguage "broad movement born in the 1980s generally
relegated to the underground music scene and operating outsoide of the mainstream.")
(termFormat EnglishLanguage AlternativeRock "alternative rock")
(instance Ballad MusicGenre)
(documentation Ballad EnglishLanguage "&%Ballad is a generic term used for slow, romantic,
despairing and catastrophic songs.")
(termFormat EnglishLanguage Ballad "ballad")
(instance Bebop MusicGenre)
(documentation Bebop EnglishLanguage "&%Bebop is a 1940's jazz style with complex
improvisation and a fast tempo.")
(termFormat EnglishLanguage Bebop "bebop")
(relatedInternalConcept Bebop JazzMusic)
(instance BigBandMusic MusicGenre)
(documentation BigBandMusic EnglishLanguage "&%BigBandMusic refers to music by
large orchestras that play a form of swing music.")
(termFormat EnglishLanguage BigBandMusic "big band music")
(instance Bluegrass MusicGenre)
(documentation Bluegrass EnglishLanguage "&%Bluegrass is American country music mixed
with Irish and Scottish influences.")
(termFormat EnglishLanguage Bluegrass "bluegrass")
(relatedInternalConcept Bluegrass CountryMusic)
(instance BluesMusic MusicGenre)
(documentation BluesMusic EnglishLanguage "&%BluesMusic is African-American music
that originated in the Mississippi delta.")
(termFormat EnglishLanguage BluesMusic "blues")
(instance ChamberMusic MusicGenre)
(documentation ChamberMusic EnglishLanguage "&%ChamberMusic is a genre of music based
around small, acoustic-based ensembles where group interplay is important.")
(termFormat EnglishLanguage ChamberMusic "chamber music")
(relatedInternalConcept ChamberMusic AcousticMusic)
(instance ChristmasMusic MusicGenre)
(documentation ChristmasMusic EnglishLanguage "&%ChristmasMusic is composed of music
that is normally performed or heard around the &%Christmas season.")
(termFormat EnglishLanguage ChristmasMusic "christmas music")
(instance ReligiousMusic MusicGenre)
(documentation ReligiousMusic EnglishLanguage "&%ReligiousMusic is a type of music that
has been written to express either personal or communal belief about a religion.")
(termFormat EnglishLanguage ReligiousMusic "religious music")
(=>
(musicGenre ?MR ReligiousMusic)
(exists (?ATTR ?X)
(and
(instance ?ATTR ReligiousAttribute)
(attribute ?X ?ATTR)
(refers ?MR ?X))))
(subAttribute ChristianMusic ReligiousMusic)
(documentation ChristianMusic EnglishLanguage "&%ChristianMusic is a type of music
that has been written to express either personal or communal belief regarding Christian
life and faith.")
(termFormat EnglishLanguage ChristianMusic "christian music")
(=>
(musicGenre ?MR ChristianMusic)
(exists (?X)
(and
(attribute ?X Christian)
(refers ?MR ?X))))
(instance ClassicalMusic MusicGenre)
(documentation ClassicalMusic EnglishLanguage "&%ClassicalMusic is a type of music that
is produced in or rooted in the traditions of Western liturgical and secular music,
encompassing a broad period from roughly the 11th century to present times. The centra
norms of this tradition became codified between 1550 and 1900, which is known as the
common practice period.")
(termFormat EnglishLanguage ClassicalMusic "classical music")
(instance CountryMusic MusicGenre)
(documentation CountryMusic EnglishLanguage "&%CountryMusic is a popular American music
style that began in the southern part of the US.")
(termFormat EnglishLanguage CountryMusic "country music")
(subAttribute ElectronicDanceMusic ElectronicMusic)
(documentation ElectronicDanceMusic EnglishLanguage "&%ElectronicDanceMusic is a type
of music that is produced primarily for the purposes of use within a nightclub setting,
or in an environment that is centered upon dance-based entertainment.")
(termFormat EnglishLanguage ElectronicDanceMusic "electronic dance music")
(=>
(musicGenre ?MR ElectronicDanceMusic)
(hasPurpose ?MR
(exists (?NC ?MM)
(and
(instance ?NC NightClub)
(instance ?MM MakingMusic)
(patient ?MM ?MR)
(eventLocated ?MM ?NC)))))
(instance ElectronicMusic MusicGenre)
(documentation ElectronicMusic EnglishLanguage "&%ElectronicMusic is a type of music
that is produced using electronic musical instruments and electronic music technology
in its production.")
(termFormat EnglishLanguage ElectronicMusic "electronic music")
(=>
(musicGenre ?MR ElectronicMusic)
(exists (?DV ?MM)
(and
(instance ?DV ElectricDevice)
(record ?MR ?MM)
(instrument ?MM ?DV))))
(instance EmoMusic MusicGenre)
(documentation EmoMusic EnglishLanguage "&%EmoMusic describes a style of &%RockMusic
characterized by melodic musicianship and expressive, often confessional lyrics. It has
then shifted and changed to blend pop punk and indie rock.")
(termFormat EnglishLanguage EmoMusic "emo")
(instance FolkMusic MusicGenre)
(documentation FolkMusic EnglishLanguage "&%FolkMusic describes both traditional and
contemporary folk music. Folk music normally refers to the culture of a particular region,
sometimes commemorating personal and historical events.")
(termFormat EnglishLanguage FolkMusic "folk music")
(instance FunkMusic MusicGenre)
(documentation FunkMusic EnglishLanguage "&%FunkMusic is a type of music that originated
in the mid-late 1960s when African American musicians blended soul music, jazz and R&B
into rhythmic, danceable new form of music.")
(termFormat EnglishLanguage FunkMusic "funk music")
(instance HeavyMetal MusicGenre)
(documentation HeavyMetal EnglishLanguage "&%HeavyMetal is a type of &%RockMusic that
is characterized by highly amplified distortion, extended guitar solos, emphatic beats
and overall loudness. Heavy metal lyrics and performance styles are generally associated
with masculinity and machismo.")
(termFormat EnglishLanguage HeavyMetal "heavy metal")
(instance HipHopMusic MusicGenre)
(documentation HipHopMusic EnglishLanguage "&%HipHopMusic is a type of music that includes
rhythmic and rhythmic speech that is chanted to musical accompaniment.")
(termFormat EnglishLanguage HipHopMusic "hip hop music")
(=>
(attribute ?MR HipHopMusic)
(modalAttribute
(exists (?MM ?S)
(and
(record ?MR ?MM)
(instance ?S Speaking)
(subProcess ?S ?MM))) Likely))
(instance IndieMusic MusicGenre)
(documentation IndieMusic EnglishLanguage "&%IndieMusic refers to the type of music that
was created without the help of commercial record labels.")
(termFormat EnglishLanguage IndieMusic "indie music")
(=>
(attribute ?MR IndieMusic)
(modalAttribute
(not
(exists (?R)
(recordingCompany ?MR ?R))) Likely))
(instance JazzMusic MusicGenre)
(documentation JazzMusic EnglishLanguage "&%JazzMusic refers to a musical style that
originated at the beginning of the 20th century in African American communities in
the Southern United States. Its West African pedigree is evident in its use of
blue notes, improvisation, polyrhythms, syncopation and the swung note.")
(termFormat EnglishLanguage JazzMusic "jazz music")
(instance NewAgeMusic MusicGenre)
(documentation NewAgeMusic EnglishLanguage "&%NewAgeMusic refers to music of various
styles intended to create artistic inspiration, relaxation and optimism. It is used by
listeners for yoga, massage, meditation and reading as a method of stress management,
or to create a peaceful atmosphere in their home or other environments, and is often
associated with environmentalism and New Age spirituality.")
(termFormat EnglishLanguage NewAgeMusic "new age music")
(instance NewWaveMusic MusicGenre)
(documentation NewWaveMusic EnglishLanguage "&%NewWaveMusic is a subgenre of &%RockMusic
that emerged in the late 1970s alongside punk rock.")
(termFormat EnglishLanguage NewWaveMusic "new wave")
(instance PopMusic MusicGenre)
(documentation PopMusic EnglishLanguage "&%PopMusic is usually understood to be commercially-
recorded music, often oriented towards a youth market, usually consisting of relatively
short, simple songs utilizing technological innovations to produce new variations on
existing themes. It is normally considered a softer alternative to &%RockMusic.")
(termFormat EnglishLanguage PopMusic "pop music")
(instance PunkRockMusic MusicGenre)
(documentation PunkRockMusic EnglishLanguage "&%PunkRockMusic is a &%RockMusic genre
that developed between 1974 and 1976 in the US, the UK and Australia. Punk rock bands
eschewed perceived excesses of maintream 1970s rock. Punk bands created fast, hard-edged
music, typically with short songs, stripped-down instrumentation, and often political,
anti-establishment lyrics.")
(termFormat EnglishLanguage PunkRockMusic "punk rock")
(instance ReggaeMusic MusicGenre)
(documentation ReggaeMusic EnglishLanguage "&%ReggaeMusic is a music genre first
developed in Jamaica in the late 1960s. ")
(termFormat EnglishLanguage ReggaeMusic "reggae music")
(instance RockMusic MusicGenre)
(documentation RockMusic EnglishLanguage "&%RockMusic is a genre of &%PopMusic that
developed during and after the 1960s, particularly in the UK and the US. It has its
roots in 1940s and 1950s rock and roll.")
(termFormat EnglishLanguage RockMusic "rock music")
(instance RockAndRollMusic MusicGenre)
(documentation RockAndRollMusic EnglishLanguage "&%RockAndRollMusic is a genre of
&%PopMusic that originated and evolved in the UnitedStates during the late 1940s and 1950s,
primarily from a combination of the blues, country music, jazz and gospel music.")
(termFormat EnglishLanguage RockAndRollMusic "rock and roll music")
(instance RhythmAndBluesMusic MusicGenre)
(documentation RhythmAndBluesMusic EnglishLanguage "&%RhythmAndBluesMusic is a genre
of popular African-American music that originated in the 1940s. The term was originally
used by record companies to describe recordings marketed predominantly to urban African-
Americans, at a time when urbane, rocking, jazz-based music with a heavy, insistent
beat was becoming more popular.")
(termFormat EnglishLanguage RhythmAndBluesMusic "rhythm and blues")
(instance ShowTune MusicGenre)
(documentation ShowTune EnglishLanguage "&%ShowTune is a song that is originally written
as part of the score of a show or stage musical or musical movie.")
(termFormat EnglishLanguage ShowTune "show tune")
(instance SkaMusic MusicGenre)
(documentation SkaMusic EnglishLanguage "&%SkaMusic is a music genre that originated in
&%Jamaica in the late 1950s, and was the precursor to rocksteady and reggage. It
combined elements of Caribbean mento and calypso with American jazz and rhythm and blues.")
(termFormat EnglishLanguage SkaMusic "ska music")
;; ----------------------------------------------------------------------------------
;; Functions
;; ----------------------------------------------------------------------------------
(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT)
denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.")
(comment PlayingInstrumentFn "This was taken from Biography.kif and moved to Music.kif.
09-28-2011" "KJN")
(domainSubclass PlayingInstrumentFn 1 Device)
(instance PlayingInstrumentFn UnaryFunction)
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic)
(=>
(instance ?PROC (PlayingInstrumentFn ?INST))
(exists (?I)
(and
(instance ?I ?INST)
(instrument ?PROC ?I))))
(instance MusicalInterpretationFn TernaryFunction)
(documentation MusicalInterpretationFn EnglishLanguage "The function
(&%MusicalInterpretationFn ?A ?M ?T) returns an &%instance of &%MakingMusic that
refers to a particular instance of &%MakingMusic by &%CognitiveAgent ?A of
the &%realization of &%Music ?M during &%TimeInterval ?T.")
(termFormat EnglishLanguage MusicalInterpretationFn "musical interpretation")
(domain MusicalInterpretationFn 1 CognitiveAgent)
(domain MusicalInterpretationFn 2 Music)
(domain MusicalInterpretationFn 3 TimeInterval)
(range MusicalInterpretationFn MakingMusic)
(=>
(equal ?MM (MusicalInterpretationFn ?A ?M ?T))
(and
(realization ?MM ?M)
(equal ?T (WhenFn ?MM))
(agent ?MM ?A)))
(instance SongFn BinaryFunction)
(documentation SongFn EnglishLanguage "The function (&%SongFn ?MC ?LC) returns an
&%instance of &%Song that refers to the conception of a song that has &%MusicalComposition
?MC and &%LyricalContent ?LC.")
(termFormat EnglishLanguage SongFn "song function")
(domain SongFn 1 MusicalComposition)
(domain SongFn 2 LyricalContent)
(range SongFn Song)
(=>
(and
(equal ?S (SongFn ?MC ?LC))
(realization ?S ?MUSIC))
(exists (?MM ?MV)
(and
(patient ?MM ?MC)
(patient ?MV ?LC)
(subProcess ?MM ?MUSIC)
(subProcess ?MV ?MUSIC))))
(instance RemixFn BinaryFunction)
(documentation RemixFn EnglishLanguage "The function (&%RemixFn ?M ?A) returns a
&%MusicRecording instance where an &%CognitiveAgent ?A does something to a &%MusicRecording
?M that alters its arrangement, beat, tempo, etc, but still makes ?M recognizable to
those listening to it.")
(termFormat EnglishLanguage RemixFn "remix function")
(domain RemixFn 1 MusicRecording)
(domain RemixFn 2 CognitiveAgent)
(range RemixFn MusicRecording)
(=>
(equal ?S (RemixFn ?M ?A))
(exists (?P)
(and
(instance ?P IntentionalProcess)
(patient ?P ?M)
(agent ?P ?A)
(result ?P ?S)
(not (equal ?S ?M))
(not (copy ?S ?M)))))
(instance MusicalComponentFn UnaryFunction)
(documentation MusicalComponentFn EnglishLanguage "The function (&%MusicalComponentFn
?S) returns the instance of the &%MusicalComposition component of the &%Song ?S")
(termFormat EnglishLanguage MusicalComponentFn "musical composition function")
(domain MusicalComponentFn 1 Song)
(range MusicalComponentFn MusicalComposition)
(=>
(equal ?M (MusicalComponentFn ?S))
(subProposition ?M ?S))
(instance LyricalComponentFn UnaryFunction)
(documentation LyricalComponentFn EnglishLanguage "The function (&%LyricalComponentFn ?S)
returns the instance of the &%LyricalContent component of the &%Song ?S")
(termFormat EnglishLanguage LyricalComponentFn "lyrical component function")
(domain LyricalComponentFn 1 Song)
(range LyricalComponentFn LyricalContent)
(=>
(equal ?L (LyricalComponentFn ?S))
(subProposition ?L ?S))
(instance AlbumCopiesFn BinaryFunction)
(documentation AlbumCopiesFn EnglishLanguage "The function (&%AlbumCopiesFn ?A ?DS)
returns a subclass of all &%DataStorageDevice ?DS that contains all &%Recording in
&%Album ?A.")
(termFormat EnglishLanguage AlbumCopiesFn "album copies function")
(domain AlbumCopiesFn 1 Album)
(domainSubclass AlbumCopiesFn 2 DataStorageDevice)
(rangeSubclass AlbumCopiesFn DataStorageDevice)
;;
;; Jennie 4th August 2022
;; changed (stored ?C ?D) to (store ?S ?X) as the second argument for store calls for an instance but ?D is a class
(=>
(and
(equal ?D (AlbumCopiesFn ?A ?DS))
(instance ?X ?D))
(forall (?S)
(=>
(inList ?S ?A)
(exists (?C)
(and
(copy ?C ?S)
(stored ?C ?X))))))
(instance NationalAnthemFn UnaryFunction)
(documentation NationalAnthemFn EnglishLanguage "The function (&%NationalAnthemFn ?N)
returns the instance of &%Music that is considered as the national anthem of a particular
&%Nation ?N")
(termFormat EnglishLanguage NationalAnthemFn "national anthem")
(domain NationalAnthemFn 1 Nation)
(range NationalAnthemFn Music)
(=>
(equal ?M (NationalAnthemFn ?N))
(anthem ?M ?N))
;; ----------------------------------------------------------------------------------
;; Music Group
;; ----------------------------------------------------------------------------------
(subclass MarchingBand MusicalGroup)
(subclass MarchingBand Organization)
(documentation MarchingBand EnglishLanguage "&%MarchingBand refers to a group of
instrumental musicians perform outdoors and incorporate some type of marching with their
musical performance.")
(termFormat EnglishLanguage MarchingBand "marching band")
(comment MarchingBand "Subclassing it from &%Organization as well so that relations
associated to &%Organization can be used to describe it, such as &%subOrganization for
the educational institution it represents, or when it was founded using &%yearOfFounding,
who its director is, etc. 09-28-2011" "KJN")
(=>
(instance ?GRP MarchingBand)
(exists (?P)
(and
(hasSkill MakingInstrumentalMusic ?P)
(member ?P ?GRP))))
;;
;; Jennie 4th August 2022
;; moved ?OD to antecedent
(=>
(and
(instance ?GRP MarchingBand)
(instance ?MP MusicalPerformance)
(agent ?MP ?GRP)
(instance ?OD Outdoors)
(eventLocated ?MP ?OD))
(exists (?AMB)
(and
(instance ?AMB Ambulating)
(subProcess ?AMB ?MP))))
;; ----------------------------------------------------------------------------------
;; Music Events
;; ----------------------------------------------------------------------------------