forked from CommonCoreOntology/CommonCoreOntologies
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathModalRelationOntology.ttl
2905 lines (2345 loc) · 208 KB
/
ModalRelationOntology.ttl
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
@prefix : <http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/> .
@prefix cco: <http://www.ontologyrepository.com/CommonCoreOntologies/> .
@prefix mro: <http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> .
<http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> rdf:type owl:Ontology ;
owl:versionIRI <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/2024-02-14/ModalRelationOntology> ;
rdfs:comment "The modal counterparts to the object and data properties contained in CCO and BFO2020-core."@en ;
rdfs:label "Modal Relation Ontology"@en ;
owl:versionInfo "Version 1.5"@en .
#################################################################
# Object Properties
#################################################################
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000054
mro:BFO_0000054 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000055 ;
rdfs:domain obo:BFO_0000017 ;
rdfs:range obo:BFO_0000015 ;
<http://purl.org/dc/elements/1.1/identifier> "206-BFO" ;
rdfs:label "has realization"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "realized in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has realization c =Def c realizes b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "As for realizes"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000055
mro:BFO_0000055 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000017 ;
<http://purl.org/dc/elements/1.1/identifier> "059-BFO" ;
rdfs:label "realizes"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000056
mro:BFO_0000056 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000057 ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
obo:BFO_0000031
[ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
]
)
] ;
rdfs:range obo:BFO_0000015 ;
<http://purl.org/dc/elements/1.1/identifier> "250-BFO" ;
rdfs:label "participates in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000057
mro:BFO_0000057 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
obo:BFO_0000031
[ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
]
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "248-BFO" ;
rdfs:label "has participant"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "p has participant c =Def c participates in p"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000058
mro:BFO_0000058 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000059 ;
rdfs:domain obo:BFO_0000031 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000020
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "258-BFO" ;
rdfs:label "is concretized by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "c is concretized by b =Def b concretizes c"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000059
mro:BFO_0000059 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000020
)
] ;
rdfs:range obo:BFO_0000031 ;
<http://purl.org/dc/elements/1.1/identifier> "256-BFO" ;
rdfs:label "concretizes"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000062
mro:BFO_0000062 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000063 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "213-BFO" ;
rdfs:label "preceded by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b preceded by c =Def b precedes c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000063
mro:BFO_0000063 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "270-BFO" ;
rdfs:label "precedes"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death."@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t." ,
"Precedes defines a strict partial order on occurrents." .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000066
mro:BFO_0000066 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000183 ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000029
obo:BFO_0000040
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "143-BFO" ;
rdfs:label "occurs in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time t, if b exists at t then c exists at t & there exist spatial regions s and s' where b spatially projects onto s at t & c occupies spatial region s' at t & s is a continuant part of s' at t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A process of digestion occurs in the interior of an organism; a process of loading artillery rounds into a tank cannon occurs in the interior of the tank"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000084
mro:BFO_0000084 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000101 ;
rdfs:domain obo:BFO_0000031 ;
rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
<http://purl.org/dc/elements/1.1/identifier> "252-BFO" ;
rdfs:label "generically depends on"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "g-depends on"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000101
mro:BFO_0000101 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range obo:BFO_0000031 ;
<http://purl.org/dc/elements/1.1/identifier> "254-BFO" ;
rdfs:label "is carrier of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b is carrier of c =Def there is some time t such that c generically depends on b at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000108
mro:BFO_0000108 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000001 ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "118-BFO" ;
rdfs:label "exists at"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists"@en ;
<http://www.w3.org/2004/02/skos/core#example> "First World War exists at 1914-1916; Mexico exists at January 1, 2000"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000115
mro:BFO_0000115 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000178 ;
owl:inverseOf mro:BFO_0000129 ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000040 ;
<http://purl.org/dc/elements/1.1/identifier> "230-BFO" ;
rdfs:label "has member part"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has member part c =Def c member part of b"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000117
mro:BFO_0000117 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000132 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "202-BFO" ;
rdfs:label "has occurrent part"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has occurrent part c =Def c occurrent part of b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Mary's life has occurrent part Mary's 5th birthday"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000121
mro:BFO_0000121 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000117 ;
owl:inverseOf mro:BFO_0000139 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "211-BFO" ;
rdfs:label "has temporal part"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has temporal part c =Def c temporal part of b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Your life has temporal part the first year of your life"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000124
mro:BFO_0000124 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000171 ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
<http://purl.org/dc/elements/1.1/identifier> "236-BFO" ;
rdfs:label "location of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b location of c =Def c located in b"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000127
mro:BFO_0000127 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000218 ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000016 ;
<http://purl.org/dc/elements/1.1/identifier> "244-BFO" ;
rdfs:label "material basis of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b material basis of c =Def c has material basis b"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000129
mro:BFO_0000129 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000176 ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000040 ;
<http://purl.org/dc/elements/1.1/identifier> "228-BFO" ;
rdfs:label "member part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000132
mro:BFO_0000132 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "003-BFO" ;
rdfs:label "occurrent part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000139
mro:BFO_0000139 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000132 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "078-BFO" ;
rdfs:label "temporal part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies)"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000153
mro:BFO_0000153 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain obo:BFO_0000011 ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "080-BFO" ;
rdfs:label "temporally projects onto"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The world line of a particle temporally projects onto the temporal region extending from the beginning to the end of the existence of the particle"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000171
mro:BFO_0000171 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
<http://purl.org/dc/elements/1.1/identifier> "234-BFO" ;
rdfs:label "located in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000176
mro:BFO_0000176 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000178 ;
rdfs:domain obo:BFO_0000002 ;
rdfs:range obo:BFO_0000002 ;
<http://purl.org/dc/elements/1.1/identifier> "221-BFO" ;
rdfs:label "continuant part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Milk teeth continuant part of human; surgically removed tumour continuant part of organism"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000178
mro:BFO_0000178 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000002 ;
rdfs:range obo:BFO_0000002 ;
<http://purl.org/dc/elements/1.1/identifier> "271-BFO" ;
rdfs:label "has continuant part"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has continuant part c =Def c continuant part of b"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000183
mro:BFO_0000183 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000029
obo:BFO_0000040
)
] ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "267-BFO" ;
rdfs:label "environs"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "contains process"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b environs c =Def c occurs in b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Mouth environs process of mastication; city environs traffic"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000184
mro:BFO_0000184 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000185 ;
rdf:type owl:FunctionalProperty ,
owl:InverseFunctionalProperty ;
rdfs:domain obo:BFO_0000182 ;
rdfs:range obo:BFO_0000040 ;
<http://purl.org/dc/elements/1.1/identifier> "144-BFO" ;
rdfs:label "history of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "This life is the history of this organism"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000185
mro:BFO_0000185 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000182 ;
<http://purl.org/dc/elements/1.1/identifier> "145-BFO" ;
rdfs:label "has history"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has history c =Def c history of b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "This organism has history this life"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000194
mro:BFO_0000194 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000195 ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
[ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
]
)
] ;
rdfs:range obo:BFO_0000020 ;
<http://purl.org/dc/elements/1.1/identifier> "260-BFO" ;
rdfs:label "specifically depended on by"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "s-depended on by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b specifically depended on by c =Def c specifically depends on b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Coloured object specifically depended on by colour"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000195
mro:BFO_0000195 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000020 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
[ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
]
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "012-BFO" ;
rdfs:label "specifically depends on"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "s-depends on"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "The analogue of specifically depends on for occurrents is has participant."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000196
mro:BFO_0000196 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000194 ;
owl:inverseOf mro:BFO_0000197 ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range obo:BFO_0000020 ;
<http://purl.org/dc/elements/1.1/identifier> "053-BFO" ;
rdfs:label "bearer of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b bearer of c =Def c inheres in b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000197
mro:BFO_0000197 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000195 ;
rdfs:domain obo:BFO_0000020 ;
rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
<http://purl.org/dc/elements/1.1/identifier> "051-BFO" ;
rdfs:label "inheres in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A shape inheres in a shaped object; a mass inheres in a material entity"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000199
mro:BFO_0000199 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_temporal_region_of ;
rdf:type owl:FunctionalProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "132-BFO" ;
rdfs:label "occupies temporal region"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The Second World War occupies the temporal region September 1, 1939 - September 2, 1945"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000200
mro:BFO_0000200 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
rdfs:range obo:BFO_0000011 ;
<http://purl.org/dc/elements/1.1/identifier> "082-BFO" ;
rdfs:label "occupies spatiotemporal region"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) occupies spatiotemporal region is a relation between a process or process boundary p and the spatiotemporal region s which is its spatiotemporal extent"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A particle emitted by a nuclear reactor occupies the spatiotemporal region which is its trajectory"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000210
mro:BFO_0000210 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range obo:BFO_0000006 ;
<http://purl.org/dc/elements/1.1/identifier> "232-BFO" ;
rdfs:label "occupies spatial region"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000216
mro:BFO_0000216 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000011 ;
rdfs:range obo:BFO_0000006 ;
<http://purl.org/dc/elements/1.1/identifier> "246-BFO" ;
rdfs:label "spatially projects onto"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000218
mro:BFO_0000218 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000016 ;
rdfs:range obo:BFO_0000040 ;
<http://purl.org/dc/elements/1.1/identifier> "242-BFO" ;
rdfs:label "has material basis"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000221
mro:BFO_0000221 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000222 ;
rdfs:domain obo:BFO_0000203 ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "268-BFO" ;
rdfs:label "first instant of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "An hour starting at midnight yesterday has first instant midnight yesterday"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000222
mro:BFO_0000222 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain obo:BFO_0000008 ;
rdfs:range obo:BFO_0000203 ;
<http://purl.org/dc/elements/1.1/identifier> "261-BFO" ;
rdfs:label "has first instant"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "t has first instant t' =Def t' first instant of t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The first hour of a year has first instant midnight on December 31"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000223
mro:BFO_0000223 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000224 ;
rdfs:domain obo:BFO_0000203 ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "269-BFO" ;
rdfs:label "last instant of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Last midnight is the last instant of yesterday"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000224
mro:BFO_0000224 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain obo:BFO_0000008 ;
rdfs:range obo:BFO_0000203 ;
<http://purl.org/dc/elements/1.1/identifier> "215-BFO" ;
rdfs:label "has last instant"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "t has last instant t' =Def t' last instant of t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The last hour of a year has last instant midnight December 31"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/ModalObjectProperty
mro:ModalObjectProperty rdf:type owl:ObjectProperty .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accessory_in
mro:accessory_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000056 ;
owl:inverseOf mro:has_accessory ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "y is_accessory_in x iff x is an instance of Process and y is an instance of Agent, such that y assists another agent in the commission of x, and y was not located at the location of x when x occurred, and y was not an agent_in x."@en ;
cco:definition_source "http://en.wikipedia.org/wiki/Accessory_(legal_term)" ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "accessory in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accomplice_in
mro:accomplice_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000056 ;
owl:inverseOf mro:has_accomplice ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "An agent a1 is accomplice_in some Processual Entity p1 iff a1 assists in the commission of p1, is located at the location of p1, but is not agent_in p1."@en ;
cco:definition_source "https://en.wikipedia.org/w/index.php?title=Accomplice&oldid=1002047204"^^xsd:anyURI ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "accomplice in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/affects
mro:affects rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000057 ;
owl:inverseOf mro:is_affected_by ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000002 ;
cco:definition "p affects c iff p is an instance of a Process and c is an instance of a Continuant, such that p influences c in some manner, most often by producing a change in c."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "affects"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/agent_in
mro:agent_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000056 ;
owl:inverseOf mro:has_agent ;
cco:definition "x agent_in y iff y is an instance of Process and x is an instance of Agent, such that x is causally active in y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "agent in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_bearer_of
mro:aggregate_bearer_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:inheres_in_aggregate ;
rdfs:domain obo:BFO_0000027 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
obo:BFO_0000031
)
] ;
cco:definition "x aggregate_bearer_of y iff x is an instance of Object Aggregate and y is an instance of Specifically Dependent Continuant and z is an instance of Object, such that z bearer of y, and all other members of x are bearers of a unique instance of the same type as y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "aggregate bearer of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_capability
mro:aggregate_has_capability rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:aggregate_bearer_of ;
owl:inverseOf mro:capability_of_aggregate ;
rdfs:domain cco:GroupOfAgents ;
rdfs:range cco:AgentCapability ;
cco:definition "x aggregate_has_capability y iff x is an instance of Object Aggregate and y is an instance of Agent Capability, such that x is aggregate bearer of y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "aggregate has capability"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_disposition
mro:aggregate_has_disposition rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:aggregate_bearer_of ;
owl:inverseOf mro:disposition_of_aggregate ;
rdfs:domain obo:BFO_0000027 ;
rdfs:range obo:BFO_0000016 ;
cco:definition "x aggregate_has_disposition y iff x is an instance of Object Aggregate and y is an instance of Disposition, such that x aggregate_bearer_of y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "aggregate has disposition"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_quality
mro:aggregate_has_quality rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:aggregate_bearer_of ;
rdfs:domain obo:BFO_0000027 ;
rdfs:range obo:BFO_0000019 ;
cco:definition "x aggregate_has_quality y iff x is an instance of Object Aggregate and y is an instance of Quality, such that x aggregate_bearer_of y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "aggregate has quality"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_role
mro:aggregate_has_role rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:aggregate_bearer_of ;
rdfs:domain obo:BFO_0000027 ;
rdfs:range obo:BFO_0000023 ;
cco:definition "x aggregate_has_role y iff x is an instance of Object Aggregate and y is an instance of Role, such that x aggregate_bearer_of y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "aggregate has role"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/capability_of
mro:capability_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000197 ;
owl:inverseOf mro:has_capability ;
rdfs:domain cco:AgentCapability ;
rdfs:range cco:Agent ;
cco:definition "x capability_of y iff y is an instance of Agent and x is an instance of Agent Capability, such that x inheres in y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "capability of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/capability_of_aggregate
mro:capability_of_aggregate rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:inheres_in_aggregate ;
rdfs:domain cco:AgentCapability ;
rdfs:range cco:GroupOfAgents ;
cco:definition "x capability_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Agent Capability, such that x inheres in aggregate y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "capability of aggregate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/caused_by
mro:caused_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_cause_of ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
cco:definition "x caused_by y iff x and y are instances of occurrents, and x is a consequence of y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "caused by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/coincides_with
mro:coincides_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:connected_with ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 coincides with some immaterial entity im2 iff im1 is a spatial part of im2 and im2 is a spatial part of im1."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "coincides with"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be transitive and symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/condition_described_by
mro:condition_described_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:describes_condition ;
owl:propertyChainAxiom ( mro:described_by
mro:BFO_0000176
) ;
cco:definition "c condition_described_by p iff p is an instance of a Performance Specification, and p has part d, and d is an instance of a Descriptive Information Content Entity, and p prescribes an entity s, and d describes c, and c is an entity that is causally relevant to s existing as prescribed by p."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "condition described by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/connected_with
mro:connected_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 is connected with some immaterial entity im2 iff there exists some immaterial entity im3 that is common to both im1 and im2."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "connected with"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/delimits
mro:delimits rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_delimited_by ;
rdfs:domain cco:DelimitingDomain ;
rdfs:range cco:Organization ;
cco:definition "An instance of Delimiting Domain dd1 delimits some Organization o1 iff dd1 is the area within which o1 can legally operate."@en ;
cco:definition_source "https://en.wikipedia.org/w/index.php?title=Boundary_delimitation&oldid=1039137603"^^xsd:anyURI ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "delimits"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/described_by
mro:described_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_subject_of ;
owl:inverseOf mro:describes ;
rdfs:range cco:DescriptiveInformationContentEntity ;
cco:definition "x described_by y iff y is an instance of Information Content Entity, and x is an instance of Entity, such that y is about the characteristics by which y can be recognized or visualized."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "described by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/describes
mro:describes rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_about ;
rdfs:domain cco:DescriptiveInformationContentEntity ;
cco:definition "x describes y iff x is an instance of Information Content Entity, and y is an instance of Entity, such that x is about the characteristics by which y can be recognized or visualized."@en ;
cco:example_of_usage "the content of a newspaper article describes some current event" ,
"the content of a visitor's log describes some facility visit" ,
"the content of an accident report describes some accident" ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:comment "It is possible that this relation should be a functional property, that is for all x, y, z if x describes y and x describes z then y = z. For example, if a financial report x describes the quarterly results of a company y and that same financial report describes the quarterly results of a company z, then it should be inferred that companies y and z are the same. We refrained from classifying the relation as a functional property on the concern that descriptions are multifaceted and so consequently it may be that the same report would contain descriptions of multiple entities."@en ;
rdfs:label "describes"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/describes_condition
mro:describes_condition rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:propertyChainAxiom ( mro:BFO_0000178
mro:describes
) ;
cco:definition "p describes_condition c iff p is an instance of a Performance Specification, and p has part d, and d is an instance of a Descriptive Information Content Entity, and p prescribes an entity s, and d describes c, and c is an entity that is causally relevant to s existing as prescribed by p."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "describes condition"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/designated_by
mro:designated_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_subject_of ;
owl:inverseOf mro:designates ;
rdfs:range cco:DesignativeInformationContentEntity ;
cco:definition "x designated_by y iff y is an instance of Information Content Entity and x is an instance of Entity, such that given some context, y uniquely distinguishes x from other entities."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "designated by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/designates
mro:designates rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_about ;
rdfs:domain cco:DesignativeInformationContentEntity ;
cco:definition "x designates y iff x is an instance of an Information Content Entity, and y is an instance of an Entity, such that given some context, x uniquely distinguishes y from other entities."@en ;
cco:example_of_usage "a URL designates the location of a Web Page on the internet" ,
"a person's name designates that person" ,
"a vehicle identification number designates some vehicle" ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "designates"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be functional. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/disconnected_with
mro:disconnected_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 is disconnected with some immaterial entity im2 iff there does not exist some immaterial entity im3 that is common to both im1 and im2."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "disconnected with"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/disposition_of_aggregate
mro:disposition_of_aggregate rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:inheres_in_aggregate ;
rdfs:domain obo:BFO_0000016 ;
rdfs:range obo:BFO_0000027 ;
cco:definition "x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, such that x disposition_of_aggregate y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "disposition of aggregate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/disrupts
mro:disrupts rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_disrupted_by ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000015 ;
<http://purl.org/dc/terms/created> "2022-12-30T21:32:27-05:00"^^xsd:dateTime ;
<http://purl.org/dc/terms/creator> "https://cubrc.org"^^xsd:anyURI ;
cco:definition "A relation where one process disrupts another process from occurring as it would have."@en ;
cco:elucidation "A process can disrupt another process from occurring as it would have by 1) preventing a disposition or role from being realized by that process, 2) lowering the grade of the process, or 3) stopping the process from continuing to occur."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "disrupts"@en ;
<http://www.w3.org/2004/02/skos/core#editorialNote> "To lower the grade of a process is to lower the quality of a process according to some standard, for example when realizing a capability or a function."@en ;
<http://www.w3.org/2004/02/skos/core#prefLabel> "disrupts"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/externally_connects_with
mro:externally_connects_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:connected_with ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 externally connects with some immaterial entity im2 iff im1 connects with im2 and im1 does not overlap with im2."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "externally connects with"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_accessory
mro:has_accessory rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000057 ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000040 ;
cco:definition "x has_accessory y iff x is an instance of Process and y is an instance of Agent, such that y assists another agent in the commission of x, and y was not located at the location of x when x occurred, and y was not an agent_in x."@en ;
cco:definition_source "http://en.wikipedia.org/wiki/Accessory_(legal_term)" ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has accessory"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_accomplice
mro:has_accomplice rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000057 ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000040 ;
cco:definition "A Processual Entity p1 has_accomplice some agent a1 iff a1 assists in the commission of p1, is located at the location of p1, but is not agent_in p1."@en ;
cco:definition_source "https://en.wikipedia.org/w/index.php?title=Accomplice&oldid=1002047204"^^xsd:anyURI ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has accomplice"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_affiliate
mro:has_affiliate rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_affiliated_with ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( cco:Agent
cco:Organization
cco:Person
)
] ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( cco:Agent
cco:Organization
cco:Person
)
] ;
cco:definition "x is_affiliated_with y iff x and y are instances of Agent, such that they have any kind of social or business relationship."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has affiliate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_agent
mro:has_agent rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000057 ;
cco:definition "x has_agent y iff x is an instance of Process and y is an instance of Agent, such that y is causally active in x."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has agent"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_aunt
mro:has_aunt rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_aunt_of ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has aunt"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_brother
mro:has_brother rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_sibling_of ;
owl:inverseOf mro:is_brother_of ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has brother"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_brother_in_law
mro:has_brother_in_law rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
owl:inverseOf mro:is_brother_in_law_of ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has brother in law"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_capability
mro:has_capability rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000196 ;
rdfs:domain cco:Agent ;
rdfs:range cco:AgentCapability ;
cco:definition "x has_capability y iff x is an instance of Agent and y is an instance of Agent Capability, such that x bearer of y."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has capability"@en .