-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy patharchetype.owl
8778 lines (6208 loc) · 533 KB
/
archetype.owl
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
<?xml version="1.0"?>
<rdf:RDF xmlns="http://erlangen-crm.org/current/"
xml:base="http://erlangen-crm.org/current/"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:tex="http://erlangen-crm.org/tex/1.0/"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:xsp="http://www.owl-ontologies.com/2005/08/07/xsp.owl#"
xmlns:ecrm="http://erlangen-crm.org/current/"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:skos="http://www.w3.org/2004/02/skos/core#"
xmlns:swrl="http://www.w3.org/2003/11/swrl#"
xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
xmlns:efrbroo="http://erlangen-crm.org/efrbroo/"
xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#">
<owl:Ontology rdf:about="http://erlangen-crm.org/current/">
<rdfs:comment xml:lang="en">Added relevant classes and properties from CRMtex and the Archetype ontology. Peter Stokes, École Pratique des Hautes Études. Paris, November 2021. This modification of the Erlangen CRM / OWL implementation of the CIDOC Conceptual Reference Model is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.</rdfs:comment>
<rdfs:comment xml:lang="en">Based on Erlangen CRM / OWL - An OWL DL 1.0 implementation of the CIDOC Conceptual Reference Model, based on: Nick Crofts, Martin Doerr, Tony Gill, Stephen Stead, Matthew Stiff (eds.): Definition of the CIDOC Conceptual Reference Model (http://cidoc-crm.org/).
This implementation has been originally created by Bernhard Schiemann, Martin Oischinger and Günther Görz at the Friedrich-Alexander-University of Erlangen-Nuremberg, Department of Computer Science, Chair of Computer Science 8 (Artificial Intelligence) in cooperation with the Department of Museum Informatics of the Germanisches Nationalmuseum Nuremberg and the Department of Biodiversity Informatics of the Zoologisches Forschungsmuseum Alexander Koenig Bonn.
The Erlangen CRM / OWL implementation of the CIDOC Conceptual Reference Model is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.</rdfs:comment>
<rdfs:comment xml:lang="en">Changelog: https://github.com/erlangen-crm/ecrm/commits/master</rdfs:comment>
<rdfs:label xml:lang="en">Erlangen CRM / OWL</rdfs:label>
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ECRM 211015 / CIDOC-CRM 7.1.1</owl:versionInfo>
</owl:Ontology>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotation properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.org/dc/elements/1.1/creator -->
<owl:AnnotationProperty rdf:about="http://purl.org/dc/elements/1.1/creator"/>
<!-- http://www.w3.org/2004/02/skos/core#notation -->
<owl:AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#notation"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://archetype.info/current/TXP12_has_style -->
<owl:ObjectProperty rdf:about="http://archetype.info/current/TXP12_has_style">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P33_used_specific_technique"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AsymmetricProperty"/>
<rdfs:comment xml:lang="en">Scope notes:
This property assigns information to a certain script in order to accurately determine the style used for the realization of the written text. The TPX12.1 has type property of TXP12 has style allows the nature of the style to be specified reading from domain to range, for example to record the ductus, orientation or the linear system of the text.
Examples:
- The Latin text in the Carolingian Gospel Book identified as “British Library, Add MS 11848”, has style “Carolingian minuscule”
- The inscription on the Arch of Constantine has ductus (TPX12 has style + TPX12.1 has type “ductus”) dextroverse</rdfs:comment>
<rdfs:label xml:lang="en">TXP12 has style</rdfs:label>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P100_was_death_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P100_was_death_of">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P93_took_out_of_existence"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P100i_died_in"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E69_Death"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E21_Person"/>
<rdfs:comment xml:lang="en">Scope note:
This property links an instance of E69 Death to the instance of E21 Person that died
An instance of E69 Death may involve multiple people, for example in the case of a battle or disaster.
This is not intended for use with general natural history material, only people.
Examples:
- Mozart's death (E69) was death of Mozart (E21). (Sitwell, 2017)
In First Order Logic:
P100(x,y) ⊃ E69(x)
P100(x,y) ⊃ E21(y)
P100(x,y) ⊃ P93(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P100 was death of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P100</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P100i_died_in -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P100i_died_in">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P93i_was_taken_out_of_existence_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E21_Person"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E69_Death"/>
<rdfs:label xml:lang="en">P100 died in</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P100i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P101_had_as_general_use -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P101_had_as_general_use">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P101i_was_use_of"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E70_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:comment xml:lang="en">Scope note:
This property associates an instance of E70 Thing with an instance of E55 Type describing its general usage.
It allows the relationship between particular things, both physical and immaterial, and the general methods and techniques of real use to be documented. This may well be different from the intended functional purpose of the instance of E70 Thing (which can be documented with P103 was intended for (was intention of)). For example, it could be recorded that a particular wooden crate had a general use as a shelf support on a market stall even though it had been originally intended for carrying vegetables.
The use of this property is intended to allow the documentation of usage patterns attested in historical records or through scientific investigation (for instance ceramic residue analysis). It should not be used to document the intended, and thus assumed, use of an object.
Examples:
- Tony Gill’s Ford Mustang (E22) had as general use transportation (E55).
- The Egyptian unglazed vessel used in the 2003 study reported by Barnard et al. (E22) had as general use camel milk preparation (E55). (Barnard et al., 2007)
In First Order Logic:
P101(x,y) ⊃ E70(x)
P101(x,y) ⊃ E55(y)
P101(x,y) ⊃ (∃z)[E7(z) ∧ P16(z,x) ∧ P2(z,y)]</rdfs:comment>
<rdfs:label xml:lang="en">P101 had as general use</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P101</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P101i_was_use_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P101i_was_use_of">
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E70_Thing"/>
<rdfs:label xml:lang="en">P101 was use of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P101i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P102_has_title -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P102_has_title">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P1_is_identified_by"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P102i_is_title_of"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E71_Human-Made_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E35_Title"/>
<rdfs:comment xml:lang="en">Scope note:
This property associates an instance of E35 Title has been applied to an instance of E71 Human-Made Thing.
The P102.1 has type property of the P102 has title (is title of) property enables the relationship between the title and the thing to be further clarified, for example, if the title was a given title, a supplied title etc.
It allows any human-made material or immaterial thing to be given a title. It is possible to imagine a title being created without a specific object in mind.
Examples:
- The first book of the Old Testament (E33) has title “Genesis” (E35) has type translated title (E55) (E55). (Brueggemann, 1982)
- Monet’s painting from 1868-1869 held by Musée d'Orsay, Paris, under inventory number RF 1984 164 (E22) has title “La Pie” (E35) has type creator’s title (E55). (Musée d'Orsay, 2020)
- Monet’s painting from 1868-1869 held by Musée d'Orsay, Paris, under inventory number RF 1984 164 (E22) has title “The Magpie” (E35) has type translated title (E55). (Musée d'Orsay, 2020)
In First Order Logic:
P102(x,y) ⊃ E71(x)
P102(x,y) ⊃ E35(y)
P102(x,y,z) ⊃ [P102(x,y) ∧ E55(z)]
P102(x,y) ⊃ P1(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P102 has title</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P102</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P102i_is_title_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P102i_is_title_of">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P1i_identifies"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E35_Title"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E71_Human-Made_Thing"/>
<rdfs:label xml:lang="en">P102 is title of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P102i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P103_was_intended_for -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P103_was_intended_for">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P103i_was_intention_of"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E71_Human-Made_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:comment xml:lang="en">Scope note:
This property links an instance of E71 Human-Made Thing to an instance of E55 Type describing its intended usage.
It creates a relation between specific human-made things, both physical and immaterial, to types of intended methods and techniques of use. Note: A link between specific human-made things and a specific use activity should be expressed using P19 was intended use of (was made for).
Examples:
- this plate (E22) was intended for being destroyed at wedding reception (E55) (fictitious)
In First Order Logic:
P103(x,y) ⊃ E71(x)
P103(x,y) ⊃ E55(y)</rdfs:comment>
<rdfs:label xml:lang="en">P103 was intended for</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P103</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P103i_was_intention_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P103i_was_intention_of">
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E71_Human-Made_Thing"/>
<rdfs:label xml:lang="en">P103 was intention of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P103i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P104_is_subject_to -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P104_is_subject_to">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P104i_applies_to"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E72_Legal_Object"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E30_Right"/>
<rdfs:comment xml:lang="en">Scope note:
This property links a particular instance of E72 Legal Object to the instances of E30 Right to which it is subject.
The Right is held by an E39 Actor as described by P75 possesses (is possessed by).
Examples:
- The Beatles back catalogue (E89) is subject to reproduction right on the Beatles back catalogue (E30). (Raga, 2016)
In First Order Logic:
P104(x,y) ⊃ E72(x)
P104(x,y) ⊃ E30(y)</rdfs:comment>
<rdfs:label xml:lang="en">P104 is subject to</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P104</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P104i_applies_to -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P104i_applies_to">
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E30_Right"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E72_Legal_Object"/>
<rdfs:label xml:lang="en">P104 applies to</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P104i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P105_right_held_by -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P105_right_held_by">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P105i_has_right_on"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E72_Legal_Object"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E39_Actor"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance of E39 Actor who holds the instances of E30 Right to an instance of E72 Legal Object.
It is a superproperty of P52 has current owner (is current owner of) because ownership is a right that is held on the owned object.
This property is a shortcut of the fully developed path from E72 Legal Object, P104 is subject to, E30 Right, P75i is possessed by to E39 Actor.
Examples:
- The Beatles back catalogue (E73) right held by Michael Jackson (E21). (Raga, 2016)
In First Order Logic:
P105(x,y) ⊃ E72(x)
P105(x,y) ⊃ E39(y)
P105(x,y) ⊃ (∃z) [E30(z) ˄ P104(x,z) ˄ P75i(z,y)]</rdfs:comment>
<rdfs:label xml:lang="en">P105 right held by</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P105</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P105i_has_right_on -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P105i_has_right_on">
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E39_Actor"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E72_Legal_Object"/>
<rdfs:label xml:lang="en">P105 has right on</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P105i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P106_is_composed_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P106_is_composed_of">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P106i_forms_part_of"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E90_Symbolic_Object"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E90_Symbolic_Object"/>
<rdfs:comment xml:lang="en">Scope note:
This property associates an instance of E90 Symbolic Object with a part of it that is by itself an instance of E90 Symbolic Object, such as fragments of texts or clippings from an image.
This property is transitive and non-reflexive.
Examples:
- This Scope note P106 (E33) is composed of 'fragments of texts' (E33).
- 'recognizable' P106 (E90) is composed of 'ecognizabl' (E90).
In First Order Logic:
P106(x,y) ⊃ E90(x)
P106(x,y) ⊃ E90(y)
[P106(x,y) ∧ P106(y,z)] ⊃ P106(x,z)
¬P106(x,x)</rdfs:comment>
<rdfs:label xml:lang="en">P106 is composed of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P106</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P106i_forms_part_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P106i_forms_part_of">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E90_Symbolic_Object"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E90_Symbolic_Object"/>
<rdfs:label xml:lang="en">P106 forms part of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P106i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P107_has_current_or_former_member -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P107_has_current_or_former_member">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P107i_is_current_or_former_member_of"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E74_Group"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E39_Actor"/>
<rdfs:comment xml:lang="en">Scope note:
This property associates an instance of E74 Group with an instance of E39 Actor that is or has been a member thereof.
Instances of E74 Group and E21 Person, may all be members of instances of E74 Group. An instance of E74 Group may be founded initially without any member.
This property is a shortcut of the more fully developed path E74 Group, P144i gained member by, E85 Joining, P143 joined to E39 Actor.
The property P107.1 kind of member can be used to specify the type of membership or the role the member has in the group.
Examples:
- Moholy-Nagy (E21) is current or former member of Bauhaus (E74). (Moholy-Nagy, 2012)
- National Museum of Science and Industry (E74) has current or former member The National Railway Museum (E74). (Rolt, 1971)
- The married couple Queen Elisabeth and Prince Phillip (E74) has current or former member Prince Phillip (E21) kind of member husband (E55). (Brandreth, 2004)
In First Order Logic:
P107(x,y) ⊃ E74(x)
P107(x,y) ⊃ E39(y)
P107(x,y,z) ⊃ [P107(x,y) ∧ E55(z)]
(∃z) [E85(z) ˄ P144i(x,z) ˄ P143(z,y)] ⊃ P107(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P107 has current or former member</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P107</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P107i_is_current_or_former_member_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P107i_is_current_or_former_member_of">
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E39_Actor"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E74_Group"/>
<rdfs:label xml:lang="en">P107 is current or former member of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P107i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P108_has_produced -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P108_has_produced">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P31_has_modified"/>
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P92_brought_into_existence"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P108i_was_produced_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E12_Production"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E24_Physical_Human-Made_Thing"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance of E24 Physical Human-Made Thing that came into existence as a result of the instance of E12 Production.
The identity of an instance of E24 Physical Human-Made Thing is not defined by its matter, but by its existence as a subject of documentation. An E12 Production can result in the creation of multiple instances of E24 Physical Human-Made Thing.
Examples:
- The building of Rome (E12) has produced Τhe Colosseum (E24). (Hopkins & Beard, 2011)
In First Order Logic:
P108(x,y) ⊃ E12(x)
P108(x,y) ⊃ E24(y)
P108(x,y) ⊃ P31(x,y)
P108(x,y) ⊃ P92(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P108 has produced</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P108</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P108i_was_produced_by -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P108i_was_produced_by">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P31i_was_modified_by"/>
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P92i_was_brought_into_existence_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E24_Physical_Human-Made_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E12_Production"/>
<rdfs:label xml:lang="en">P108 was produced by</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P108i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P109_has_current_or_former_curator -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P109_has_current_or_former_curator">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P49_has_former_or_current_keeper"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P109i_is_current_or_former_curator_of"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E78_Curated_Holding"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E39_Actor"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance of E39 Actor who assumed or have assumed overall curatorial responsibility for an instance of E78 Curated Holding.
It does not allow a history of curation to be recorded. This would require use of an event initiating a curator being responsible for a collection.
Examples:
- the Robert Opie Collection (E78) has current or former curator Robert Opie (E21). (https://www.robertopiecollection.com/)
- the Mikael Heggelund Foslie's coralline red algae Herbarium (E78) has current or former curator Mikael Heggelund Foslie (E21). (Woelkerling et al., 2005)
In First Order Logic:
P109(x,y) ⊃ E78(x)
P109(x,y) ⊃ E39(y)
P109(x,y) ⊃ P49(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P109 has current or former curator</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P109</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P109i_is_current_or_former_curator_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P109i_is_current_or_former_curator_of">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P49i_is_former_or_current_keeper_of"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E39_Actor"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E78_Curated_Holding"/>
<rdfs:label xml:lang="en">P109 is current or former curator of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P109i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P10_falls_within -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P10_falls_within">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P132_spatiotemporally_overlaps_with"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P10i_contains"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E92_Spacetime_Volume"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E92_Spacetime_Volume"/>
<rdfs:comment xml:lang="en">Scope note:
This property associates an instance of E92 Spacetime Volume with another instance of E92 Spacetime Volume that falls within the latter. In other words, all points in the former are also points in the latter.
This property is transitive.
Examples:
- the Great Plague (E4) falls within The Gothic period (E4). (Porter, 2009)
In First Order Logic:
P10(x,y) ⊃ E92(x)
P10(x,y) ⊃ E92(y)
P10(x,y) ⊃ P132(x,y)
P10(x,y) ∧ P10(y,z)] ⊃ P10(x,z)
P10(x,x)</rdfs:comment>
<rdfs:label xml:lang="en">P10 falls within</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P10</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P10i_contains -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P10i_contains">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P132_spatiotemporally_overlaps_with"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E92_Spacetime_Volume"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E92_Spacetime_Volume"/>
<rdfs:label xml:lang="en">P10 contains</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P10i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P110_augmented -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P110_augmented">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P31_has_modified"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P110i_was_augmented_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E79_Part_Addition"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E24_Physical_Human-Made_Thing"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance of E24 Physical Human-Made Thing that is added to (augmented) in an instance of E79 Part Addition.
Although an instance of E79 Part Addition event normally concerns only one instance of E24 Physical Human-Made Thing, it is possible to imagine circumstances under which more than one item might be added to (augmented). For example, the artist Jackson Pollock trailing paint onto multiple canvasses.
Examples:
- The final nail-insertion Event (E79) augmented Coffin of George VI (E22). (https://www.rct.uk/collection/2000811/the-coffin-of-king-george-vi-during-the-lying-in-state)
In First Order Logic:
P110(x,y) ⊃ E79(x)
P110(x,y) ⊃ E24(y)
P110(x,y) ⊃ P31(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P110 augmented</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P110</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P110i_was_augmented_by -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P110i_was_augmented_by">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P31i_was_modified_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E24_Physical_Human-Made_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E79_Part_Addition"/>
<rdfs:label xml:lang="en">P110 was augmented by</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P110i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P111_added -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P111_added">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P16_used_specific_object"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P111i_was_added_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E79_Part_Addition"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E18_Physical_Thing"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance of E18 Physical Thing that is added during an instance of E79 Part Addition activity
Examples:
- The insertion of the final nail (E79) added the last nail in George VI’s coffin (E22). (https://www.rct.uk/collection/2000811/the-coffin-of-king-george-vi-during-the-lying-in-state)
In First Order Logic:
P111(x,y) ⊃ E79(x)
P111(x,y) ⊃ E18(y)
P111(x,y) ⊃ P16(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P111 added</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P111</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P111i_was_added_by -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P111i_was_added_by">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P16i_was_used_for"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E18_Physical_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E79_Part_Addition"/>
<rdfs:label xml:lang="en">P111 was added by</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P111i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P112_diminished -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P112_diminished">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P31_has_modified"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P112i_was_diminished_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E80_Part_Removal"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E24_Physical_Human-Made_Thing"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance E24 Physical Human-Made Thing that was diminished by an instance of E80 Part Removal.
Although an instance of E80 Part removal activity normally concerns only one instance of E24 Physical Human-Made Thing, it is possible to imagine circumstances under which more than one item might be diminished by a single instance of E80 Part Removal activity.
Examples:
- The coffin of Tut-Ankh-Amun (E22) was diminished by The opening of the coffin of Tut-Ankh-Amun (E80). (Carter, 2014)
In First Order Logic:
P112(x,y) ⊃ E80(x)
P112(x,y) ⊃ E24(y)
P112(x,y) ⊃ P31(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P112 diminished</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P112</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P112i_was_diminished_by -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P112i_was_diminished_by">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P31i_was_modified_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E24_Physical_Human-Made_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E80_Part_Removal"/>
<rdfs:label xml:lang="en">P112 was diminished by</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P112i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P113_removed -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P113_removed">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P12_occurred_in_the_presence_of"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P113i_was_removed_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E80_Part_Removal"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E18_Physical_Thing"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance of E18 Physical Thing that is removed during an instance of E80 Part Removal activity.
Examples:
- the opening of the coffin of Tut-Ankh-Amun (E80) removed The mummy of Tut-Ankh-Amun (E20, E22). (Carter, 2014)
In First Order Logic:
P113(x,y) ⊃ E80(x)
P113(x,y) ⊃ E18(y)
P113(x,y) ⊃ P12(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P113 removed</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P113</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P113i_was_removed_by -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P113i_was_removed_by">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P12i_was_present_at"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E18_Physical_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E80_Part_Removal"/>
<rdfs:label xml:lang="en">P113 was removed by</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P113i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P11_had_participant -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P11_had_participant">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P12_occurred_in_the_presence_of"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P11i_participated_in"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E5_Event"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E39_Actor"/>
<rdfs:comment xml:lang="en">Scope note:
This property describes the active or passive participation of instances of E39 Actors in an instance of E5 Event.
It documents known events in which an instance of E39 Actor has participated during the course of that actor’s life or history. The instances of E53 Place and E52 Time-Span where and when these events happened provide us with constraints about the presence of the related instances of E39 Actor in the past. Collective actors, i.e., instances of E74 Group, may physically participate in events via their representing instances of E21 Persons only. The participation of multiple actors in an event is most likely an indication of their acquaintance and interaction.
The property implies that the actor was involved in the event but does not imply any causal relationship. For instance, someone having been portrayed can be said to have participated in the creation of the portrait.
Examples:
- Napoleon (E21) participated in The Battle of Waterloo (E7). (Dawson, 2018)
- Maria (E21) participated in Photographing of Maria (E7). (fictitious)
In First Order Logic:
P11(x,y) ⊃ E5(x)
P11(x,y) ⊃ E39(y)
P11(x,y) ⊃ P12(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P11 had participant</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P11</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P11i_participated_in -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P11i_participated_in">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P12i_was_present_at"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E39_Actor"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E5_Event"/>
<rdfs:label xml:lang="en">P11 participated in</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P11i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P121_overlaps_with -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P121_overlaps_with">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P121_overlaps_with"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E53_Place"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E53_Place"/>
<rdfs:comment xml:lang="en">Scope note:
This symmetric property associates an instance of E53 Place with another instance of E53 Place geometrically overlapping it.
It does not specify anything about the shared area. This property is purely spatial. It does not imply that phenomena that define, by their extent, places related by P121 overlaps with have ever covered a common area at the same time or even coexisted. In contrast, spatiotemporal overlaps described by P132 spatiotemporally overlaps are the total of areas simultaneously covered by the related spacetime volumes.
This property is symmetric.
Examples:
- The territory of the United States as in 2020 (E53) overlaps with the Arctic (E53). (Gannett et al., 1904)
- The maximal extent of the Kingdom of Greece (1832-1973) (E53) overlaps with the maximal extent of the Republic of Turkey (29th October 1923 to now) (E53).
In First Order Logic:
P121(x,y) ⊃ E53(x)
P121(x,y) ⊃ E53(y)
P121(x,y) ⊃ P121(y,x)</rdfs:comment>
<rdfs:label xml:lang="en">P121 overlaps with</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P121</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P122_borders_with -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P122_borders_with">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P122_borders_with"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E53_Place"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E53_Place"/>
<rdfs:comment xml:lang="en">Scope note:
This symmetric property associates an instance of E53 Place with another instance of E53 Place which shares a part of its border.
This property is purely spatial. It does not imply that the phenomena that define, by their extent, places related by P122 borders with have ever shared a respective border at the same time or even coexisted. In particular, this may be the case when the respective common border is formed by a natural feature.
This property is not transitive. This property is symmetric.
Examples:
- Scotland in its 1603 borders (E53) borders with England in its 1603 borders (E53). (Crofton, 2015)
In First Order Logic:
P122(x,y) ⊃ E53(x)
P122(x,y) ⊃ E53(y)
P122(x,y) ⊃ P122(y,x)</rdfs:comment>
<rdfs:label xml:lang="en">P122 borders with</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P122</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P123_resulted_in -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P123_resulted_in">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P92_brought_into_existence"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P123i_resulted_from"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E81_Transformation"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E18_Physical_Thing"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance or instances of E18 Physical Thing that are the result of an instance of E81 Transformation. New items replace the transformed item or items, which cease to exist as units of documentation. The physical continuity between the old and the new is expressed by the links to the common instance of E81 Transformation
Examples:
- The transformation of the Venetian Loggia in Heraklion into a city hall (E81, E12) resulted in the City Hall of Heraklion (E24). [AND: has produced (P108) the City Hall of Heraklion (E22)] (Municipality of Heraklion, 2021)
- The mummification of Tut-Ankh-Amun (E81, E12) resulted in the Mummy of Tut-Ankh-Amun (E22,E20). [also: has produced (P108) the Mummy of Tut-Ankh-Amun (E22,E20).] (Carter & Mace 1977)
- The death, carbonization and petrification of some people of Pompeii in 79AD by the intense heat of a pyroclastic cloud and ashes from the Eruption of Mount Vesuvius (E69, E81) resulted in petrified bodies (E20). [Some of these bodies could later be preserved in plaster.]
In First Order Logic:
P123(x,y) ⊃ E81(x)
P123(x,y) ⊃ E77(y)
P123(x,y) ⊃ P92(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P123 resulted in</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P123</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P123i_resulted_from -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P123i_resulted_from">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P92i_was_brought_into_existence_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E77_Persistent_Item"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E81_Transformation"/>
<rdfs:label xml:lang="en">P123 resulted from</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P123i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P124_transformed -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P124_transformed">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P93_took_out_of_existence"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P124i_was_transformed_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E81_Transformation"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E18_Physical_Thing"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance or instances E18 Physical Thing that have ceased to exist due to an instance of E81 Transformation.
The item that has ceased to exist and was replaced by the result of the Transformation. The continuity between both items, the new and the old, is expressed by the links to the common instance of E81 Transformation.
Examples:
- The transformation of the Venetian Loggia in Heraklion into a city hall (E81, E12) transformed the Venetian Loggia in Heraklion (E24). (Municipality of Heraklion, 2021)
- The mummification of Tut-Ankh-Amun (E81, E12) transformed the deceased Pharao Tut-Ankh-Amun (E21). (Carter & Mace, 1977)
- The death, carbonization and petrification of some people of Pompeii in 79AD by the intense heat of a pyroclastic cloud and ashes from the Eruption of Mount Vesuvius (E69, E81) transformed some people of Pompeii (E21). [AND: was death of (P108) some people of Pompeii (E21).]
In First Order Logic:
P124(x,y) ⊃ E81(x)
P124(x,y) ⊃ E77(y)
P124(x,y) ⊃ P93(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P124 transformed</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P124</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P124i_was_transformed_by -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P124i_was_transformed_by">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P93i_was_taken_out_of_existence_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E77_Persistent_Item"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E81_Transformation"/>
<rdfs:label xml:lang="en">P124 was transformed by</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P124i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P125_used_object_of_type -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P125_used_object_of_type">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P125i_was_type_of_object_used_in"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E7_Activity"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:comment xml:lang="en">Scope note:
This property associates an instance of E7 Activity to an instance of E55 Type, which classifies an instance of E70 Thing used in an instance of E7 Activity, when the specific instance is either unknown or not of interest, such as use of "a hammer".
This property is a shortcut of the more fully developed path from E7 Activity through P16 used specific object, E70 Thing, P2 has type, to E55 Type
Examples:
- The English archers’ activity in the Battle of Agincourt (E7) used object of type long bow (E55). (Curry, 2015)
In First Order Logic:
P125(x,y) ⊃ E7(x)
P125(x,y) ⊃ E55(y)
P125(x,y) iff (∃z)[E70(z) ∧ P16(x,z) ∧ P2(z,y)]</rdfs:comment>
<rdfs:label xml:lang="en">P125 used object of type</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P125</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P125i_was_type_of_object_used_in -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P125i_was_type_of_object_used_in">
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E7_Activity"/>
<rdfs:label xml:lang="en">P125 was type of object used in</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P125i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P126_employed -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P126_employed">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P126i_was_employed_in"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E11_Modification"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E57_Material"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies the instance of E57 Material employed in an instance of E11 Modification.
The instance of E57 Material used during the instance of E11 Modification does not necessarily become incorporated into the instance of E24 Physical Human-Made Thing that forms the subject of the instance of E11 Modification.
Examples:
- The repairing of the Queen Mary (E11) employed Steel (E57). [Beginning October 1942] (Britton, 2012)
- Distilled water (E57) was employed in the restoration of the Sistine Chapel (E11). (Pietrangeli, C., 1986)
In First Order Logic:
P126(x,y) ⊃ E11(x)
P126(x,y) ⊃ E57(y)</rdfs:comment>
<rdfs:label xml:lang="en">P126 employed</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P126</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P126i_was_employed_in -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P126i_was_employed_in">
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E57_Material"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E11_Modification"/>
<rdfs:label xml:lang="en">P126 was employed in</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P126i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P127_has_broader_term -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P127_has_broader_term">
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P127i_has_narrower_term"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:comment xml:lang="en">Scope note:
This property associates an instance of E55 Type with another instance of E55 Type that has a broader meaning.
It allows instances of E55 Types to be organised into hierarchies. This is the sense of "broader term generic (BTG)" as defined in ISO 25964-2:2013 (International Organization for Standardization 2013).
This property is transitive.
Examples:
- dime (E55) has broader term coin (E55). (Yerkes, 1989)
In First Order Logic:
P127(x,y) ⊃ E55(x)
P127(x,y) ⊃ E55(y)
[P127(x,y) ∧ P127(y,z)] ⊃ P127(x,z)</rdfs:comment>
<rdfs:label xml:lang="en">P127 has broader term</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P127</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P127i_has_narrower_term -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P127i_has_narrower_term">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E55_Type"/>
<rdfs:label xml:lang="en">P127 has narrower term</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P127i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P128_carries -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P128_carries">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P130_shows_features_of"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P128i_is_carried_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E18_Physical_Thing"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E90_Symbolic_Object"/>
<rdfs:comment xml:lang="en">Scope note:
This property identifies an instance E90 Symbolic Object carried by an instance of E18 Physical Thing. Since an instance of E90 Symbolic Object is defined as an immaterial idealization over potentially multiple carriers, any individual realization on a particular physical carrier may be defective, due to deterioration or shortcomings in the process of creating the realization compared to the intended ideal. As long as such defects do not substantially affect the complete recognition of the respective symbolic object, it is still regarded as carrying an instance of this E90 Symbolic Object. If these defects are of scholarly interest, the particular realization can be modelled as an instance of E25 Human-Made Feature. Note, that any instance of E90 Symbolic Object incorporated (P165) in the carried symbolic object is also carried by the same instance of E18 Physical Thing.
Examples:
- Matthew’s paperback copy of Reach for the Sky (E18) carries the text of Reach for the Sky (E73). [see also: (Brickhill, 2001)] (fictitious)
In First Order Logic:
P128(x,y) ⊃ E18(x)
P128(x,y) ⊃ E90(y)
P128(x,y) ⊃ P130(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P128 carries</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P128</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P128i_is_carried_by -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P128i_is_carried_by">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P130i_features_are_also_found_on"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E90_Symbolic_Object"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E24_Physical_Human-Made_Thing"/>
<rdfs:label xml:lang="en">P128 is carried by</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P128i</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P129_is_about -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P129_is_about">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P67_refers_to"/>
<owl:inverseOf rdf:resource="http://erlangen-crm.org/current/P129i_is_subject_of"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E89_Propositional_Object"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E1_CRM_Entity"/>
<rdfs:comment xml:lang="en">Scope note:
This property documents that an instance of E89 Propositional Object has as subject an instance of E1 CRM Entity.
This differs from P67 refers to (is referred to by), which refers to an instance of E1 CRM Entity, in that it describes the primary subject or subjects of an instance of E89 Propositional Object.
Examples:
- The text entitled 'Reach for the sky' (E33) is about Douglas Bader (E21). (Brickhill, 2001)
In First Order Logic:
P129(x,y) ⊃ E89(x)
P129(x,y) ⊃ E1(y)
P129(x,y) ⊃ P67(x,y)</rdfs:comment>
<rdfs:label xml:lang="en">P129 is about</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P129</skos:notation>
</owl:ObjectProperty>
<!-- http://erlangen-crm.org/current/P129i_is_subject_of -->
<owl:ObjectProperty rdf:about="http://erlangen-crm.org/current/P129i_is_subject_of">
<rdfs:subPropertyOf rdf:resource="http://erlangen-crm.org/current/P67i_is_referred_to_by"/>
<rdfs:domain rdf:resource="http://erlangen-crm.org/current/E1_CRM_Entity"/>
<rdfs:range rdf:resource="http://erlangen-crm.org/current/E89_Propositional_Object"/>
<rdfs:label xml:lang="en">P129 is subject of</rdfs:label>
<skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">P129i</skos:notation>
</owl:ObjectProperty>