forked from ontodev/bfo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
bfo-1.2.owl
1378 lines (1025 loc) · 76.1 KB
/
bfo-1.2.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"?>
<!DOCTYPE rdf:RDF [
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY obo "http://purl.obolibrary.org/obo/" >
<!ENTITY dc "http://purl.org/dc/elements/1.1/" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>
<rdf:RDF xmlns="&obo;bfo.owl#"
xml:base="&obo;bfo.owl"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:obo="http://purl.obolibrary.org/obo/"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<owl:Ontology rdf:about="&obo;bfo.owl">
<owl:versionIRI rdf:resource="&obo;bfo-1.2.owl"/>
</owl:Ontology>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotation properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<owl:AnnotationProperty rdf:about="&dc;creator"/>
<owl:AnnotationProperty rdf:about="&obo;IAO_0000115">
<rdfs:label xml:lang="en">definition</rdfs:label>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&obo;IAO_0000116">
<rdfs:label xml:lang="en">editor note</rdfs:label>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dc;publisher"/>
<owl:AnnotationProperty rdf:about="&dc;contributor"/>
<owl:AnnotationProperty rdf:about="&obo;IAO_0000118">
<rdfs:label xml:lang="en">alternative term</rdfs:label>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dc;source"/>
<owl:AnnotationProperty rdf:about="&obo;IAO_0000111">
<rdfs:label xml:lang="en">editor preferred term</rdfs:label>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&obo;IAO_0000112">
<rdfs:label xml:lang="en">example of usage</rdfs:label>
</owl:AnnotationProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Datatypes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.obolibrary.org/obo/BFO_0000050 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000050">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">part of</rdfs:label>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:part_of</dc:source>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">Parthood as a relation between instances: The primitive instance-level relation p part_of p1 is illustrated in assertions such as: this instance of rhodopsin mediated phototransduction part_of this instance of visual perception. This relation satisfies at least the following standard axioms of mereology: reflexivity (for all p, p part_of p); anti-symmetry (for all p, p1, if p part_of p1 and p1 part_of p then p and p1 are identical); and transitivity (for all p, p1, p2, if p part_of p1 and p1 part_of p2, then p part_of p2). Analogous axioms hold also for parthood as a relation between spatial regions. For parthood as a relation between continuants, these axioms need to be modified to take account of the incorporation of a temporal argument. Thus for example the axiom of transitivity for continuants will assert that if c part_of c1 at t and c1 part_of c2 at t, then also c part_of c2 at t. Parthood as a relation between classes: To define part_of as a relation between classes we again need to distinguish the two cases of continuants and processes, even though the explicit reference to instants of time now falls away. For continuants, we have C part_of C1 if and only if any instance of C at any time is an instance-level part of some instance of C1 at that time, as for example in: cell nucleus part_ of cell.</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">part of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">part_of</obo:IAO_0000118>
<owl:inverseOf rdf:resource="&obo;BFO_0000051"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000051 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000051">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">has part</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has part</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_part</obo:IAO_0000118>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000052 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000052">
<rdfs:label xml:lang="en">inheres in</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: specifically dependent continuant
range: independent continuant
time: at all times
A specifically dependent continuant A inheres in its independent continuant B at all times during which A exists.</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">inheres in</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">inheres_in</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000020"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000053 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000053">
<rdfs:label xml:lang="en">bearer of</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: independent continuant
range: specifically dependent continuant
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">bearer of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">bearer_of</obo:IAO_0000118>
<obo:IAO_0000118 xml:lang="en">is bearer of</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000020"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000052"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000054 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000054">
<rdfs:label xml:lang="en">realized in</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: realizable entity
range: processual entity
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000118 xml:lang="en">is realized by</obo:IAO_0000118>
<obo:IAO_0000111 xml:lang="en">realized in</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">realized_in</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000007"/>
<rdfs:domain rdf:resource="&obo;BFO_0000017"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000055 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000055">
<rdfs:label xml:lang="en">realizes</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: processual entity
range: realizable entity
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">realizes</obo:IAO_0000111>
<rdfs:domain rdf:resource="&obo;BFO_0000007"/>
<rdfs:range rdf:resource="&obo;BFO_0000017"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000054"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000056 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000056">
<rdfs:label xml:lang="en">participates in</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: continuant and (not spatial region)
range: processual entity
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">participates in</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">participates_in</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000002"/>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000057 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000057">
<rdfs:label xml:lang="en">has participant</rdfs:label>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:has_participant</dc:source>
<obo:IAO_0000116 xml:lang="en">Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time.</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: processual entity
range: continuant and (not spatial region)
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has participant</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_participant</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000002"/>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000056"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000058 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000058">
<rdfs:label xml:lang="en">concretized by</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: generically dependent continuant
range: specifically dependent continuant
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">concretized by</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">concretized_by</obo:IAO_0000118>
<obo:IAO_0000118 xml:lang="en">is concretized by</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000020"/>
<rdfs:domain rdf:resource="&obo;BFO_0000031"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000059 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000059">
<rdfs:label xml:lang="en">concretizes</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: specifically dependent continuant
range: generically dependent continuant
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">concretizes</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">is concretization of</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000020"/>
<rdfs:range rdf:resource="&obo;BFO_0000031"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000058"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000060 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000060">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">preceded by</rdfs:label>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:preceded_by</dc:source>
<obo:IAO_0000116 xml:lang="en">An example is: translation preceded_by transcription; aging preceded_by development (not however death preceded_by aging). Where derives_from links classes of continuants, preceded_by links classes of processes. Clearly, however, these two relations are not independent of each other. Thus if cells of type C1 derive_from cells of type C, then any cell division involving an instance of C1 in a given lineage is preceded_by cellular processes involving an instance of C. The assertion P preceded_by P1 tells us something about Ps in general: that is, it tells us something about what happened earlier, given what we know about what happened later. Thus it does not provide information pointing in the opposite direction, concerning instances of P1 in general; that is, that each is such as to be succeeded by some instance of P. Note that an assertion to the effect that P preceded_by P1 is rather weak; it tells us little about the relations between the underlying instances in virtue of which the preceded_by relation obtains. Typically we will be interested in stronger relations, for example in the relation immediately_preceded_by, or in relations which combine preceded_by with a condition to the effect that the corresponding instances of P and P1 share participants, or that their participants are connected by relations of derivation, or (as a first step along the road to a treatment of causality) that the one process in some way affects (for example, initiates or regulates) the other.</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000118 xml:lang="en">is preceded by</obo:IAO_0000118>
<obo:IAO_0000111 xml:lang="en">preceded by</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">preceded_by</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000063"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000063 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000063">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">precedes</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">precedes</obo:IAO_0000111>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000066 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000066">
<rdfs:label xml:lang="en">occurs in</rdfs:label>
<obo:IAO_0000118 xml:lang="en">Intended meaning:
domain: occurrent
range: independent continuant
time: atemporal</obo:IAO_0000118>
<obo:IAO_0000111 xml:lang="en">occurs in</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">occurs_in</obo:IAO_0000118>
<obo:IAO_0000118 xml:lang="en">unfolds in</obo:IAO_0000118>
<obo:IAO_0000118 xml:lang="en">unfolds_in</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<rdfs:range rdf:resource="&obo;BFO_0000004"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000079 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000079">
<rdfs:label xml:lang="en">function of</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: function
range: independent continuant
time: at all times</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">function of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">function_of</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000034"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000052"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000085"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000080 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000080">
<rdfs:label xml:lang="en">quality of</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: quality
range: independent continuant
time: at all times</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">quality of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">quality_of</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000019"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000052"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000086"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000081 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000081">
<rdfs:label xml:lang="en">role of</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: role
range: independent continuant
time: at all times</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">role of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">role_of</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000023"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000052"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000087"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000085 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000085">
<rdfs:label xml:lang="en">has function</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: independent continuant
range: function
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has function</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_function</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000034"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000053"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000086 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000086">
<rdfs:label xml:lang="en">has quality</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: independent continuant
range: quality
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has quality</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_quality</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000019"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000053"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000087 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000087">
<rdfs:label xml:lang="en">has role</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: independent continuant
range: role
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has role</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_role</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000023"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000053"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000107 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000107">
<rdfs:label xml:lang="en">disposition of</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: disposition
range: independent continuant
time: at all times</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">disposition of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">disposition_of</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000016"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000052"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000112 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000112">
<rdfs:label xml:lang="en">has disposition</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: independent continuant
range: disposition
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has disposition</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_disposition</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000016"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000053"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001008 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001008">
<rdfs:label xml:lang="en">adjacent to</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: independent continuant
range: independent continuant
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">adjacent to</obo:IAO_0000111>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:adjacent_to</dc:source>
<obo:IAO_0000116 xml:lang="en">Note that adjacent_to as thus defined is not a symmetric relation, in contrast to its instance-level counterpart. For it can be the case that Cs are in general such as to be adjacent to instances of C1 while no analogous statement holds for C1s in general in relation to instances of C. Examples are: nuclear membrane adjacent_to cytoplasm; seminal vesicle adjacent_to urinary bladder; ovary adjacent_to parietal pelvic peritoneum</obo:IAO_0000116>
<obo:IAO_0000118 xml:lang="en">adjacent_to</obo:IAO_0000118>
<obo:IAO_0000118 xml:lang="en">is adjacent to</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000004"/>
<rdfs:range rdf:resource="&obo;BFO_0000004"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001009 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001009">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">derives from</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Derivation as a relation between instances. The temporal relation of derivation is more complex. Transformation, on the instance level, is just the relation of identity: each adult is identical to some child existing at some earlier time. Derivation on the instance-level is a relation holding between non-identicals. More precisely, it holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. Thus we will have axioms to the effect that from c derives_from c1 we can infer that c and c1 are not identical and that there is some instant of time t such that c1 exists only prior to and c only subsequent to t. We will also be able to infer that the spatial region occupied by c as it begins to exist at t overlaps with the spatial region occupied by c1 as it ceases to exist in the same instant.</obo:IAO_0000116>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:derives_from</dc:source>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: material entity
range: material entity
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">derives from</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">derives_from</obo:IAO_0000118>
<rdfs:domain rdf:resource="&obo;BFO_0000040"/>
<rdfs:range rdf:resource="&obo;BFO_0000040"/>
<owl:inverseOf rdf:resource="&obo;BFO_0001010"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001010 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001010">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">derived into</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: material entity
range: material entity
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">derived into</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">derived_into</obo:IAO_0000118>
<rdfs:range rdf:resource="&obo;BFO_0000040"/>
<rdfs:domain rdf:resource="&obo;BFO_0000040"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001011 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001011">
<rdfs:label xml:lang="en">has agent</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: processual entity
range: continuant and (not spatial region)
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has agent</obo:IAO_0000111>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:has_agent</dc:source>
<obo:IAO_0000118 xml:lang="en">has_agent</obo:IAO_0000118>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000057"/>
<owl:inverseOf rdf:resource="&obo;BFO_0001012"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001012 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001012">
<rdfs:label xml:lang="en">agent in</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: continuant and (not spatial region)
range: processual entity
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">agent in</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">agent_in</obo:IAO_0000118>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000056"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001013 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001013">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">integral part of</rdfs:label>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:integral_part_of</dc:source>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">integral part of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">integral_part_of</obo:IAO_0000118>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000050"/>
<owl:inverseOf rdf:resource="&obo;BFO_0001014"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001014 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001014">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">has integral part</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has integral part</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_integral_part</obo:IAO_0000118>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000051"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001015 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001015">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">location of</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: spatial region
range: continuant
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">location of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">location_of</obo:IAO_0000118>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001016 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001016">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">proper part of</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:proper_part_of</dc:source>
<obo:IAO_0000111 xml:lang="en">proper part of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">proper_part_of</obo:IAO_0000118>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000050"/>
<owl:inverseOf rdf:resource="&obo;BFO_0001017"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001017 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001017">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">has proper part</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has proper part</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_proper_part</obo:IAO_0000118>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000051"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001018 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001018">
<rdfs:label xml:lang="en">contained in</rdfs:label>
<obo:IAO_0000116>Containment is location not involving parthood, and arises only where some immaterial continuant is involved.</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition):</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: material entity
range: spatial region or site (immaterial continuant)
time: at some time</obo:IAO_0000116>
<obo:IAO_0000118 xml:lang="en">contained_in</obo:IAO_0000118>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:contained_in</dc:source>
<obo:IAO_0000111 xml:lang="en">contained in</obo:IAO_0000111>
<owl:inverseOf rdf:resource="&obo;BFO_0001019"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001019 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001019">
<rdfs:label xml:lang="en">contains</rdfs:label>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: spatial region or site (immaterial continuant)
range: material entity
time: at some time</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">contains</obo:IAO_0000111>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001020 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001020">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">transformation of</rdfs:label>
<obo:IAO_0000116 xml:lang="en">When an embryonic oenocyte (a type of insect cell) is transformed into a larval oenocyte, one and the same continuant entity preserves its identity while instantiating distinct classes at distinct times. The class-level relation transformation_of obtains between continuant classes C and C1 wherever each instance of the class C is such as to have existed at some earlier time as an instance of the distinct class C1 (see Figure 2 in paper). This relation is illustrated first of all at the molecular level of granularity by the relation between mature RNA and the pre-RNA from which it is processed, or between (UV-induced) thymine-dimer and thymine dinucleotide. At coarser levels of granularity it is illustrated by the transformations involved in the creation of red blood cells, for example, from reticulocyte to erythrocyte, and by processes of development, for example, from larva to pupa, or from (post-gastrular) embryo to fetus or from child to adult. It is also manifest in pathological transformations, for example, of normal colon into carcinomatous colon. In each such case, one and the same continuant entity instantiates distinct classes at different times in virtue of phenotypic changes.</obo:IAO_0000116>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:transformation_of</dc:source>
<obo:IAO_0000111 xml:lang="en">transformation of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">transformation_of</obo:IAO_0000118>
<owl:inverseOf rdf:resource="&obo;BFO_0001021"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001021 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001021">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">transformed into</rdfs:label>
<owl:deprecated rdf:datatype="&xsd;boolean">true</owl:deprecated>
<obo:IAO_0000116 xml:lang="en">Obsolete in OBO_REL.</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">transformed into</obo:IAO_0000111>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001022 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001022">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">has improper part</rdfs:label>
<owl:deprecated rdf:datatype="&xsd;boolean">true</owl:deprecated>
<obo:IAO_0000116 xml:lang="en">Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">OBSOLETE: See reasons for obsoletion of improper_part_of.</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">has improper part</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_improper_part</obo:IAO_0000118>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000051"/>
<owl:inverseOf rdf:resource="&obo;BFO_0001023"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001023 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001023">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">improper part of</rdfs:label>
<owl:deprecated rdf:datatype="&xsd;boolean">true</owl:deprecated>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">OBSOLETE. The definition is "As for part_of, with the additional constraint that subject and object may be identical". However, part_of is already reflexive, therefore improper_part_of is identical to part_of. If read differently, as "improper_part_of is part_of but not proper_part_of",improper_part_of becomes identity. So, improper_part_of is either identical to part_of or to identity, and not an intuitive synonym for either of them. [Robert Hoehndorf]</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">improper part of</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">improper_part_of</obo:IAO_0000118>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000050"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001024 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001024">
<rdfs:label xml:lang="en">relationship</rdfs:label>
<obo:IAO_0000116 rdf:datatype="&xsd;boolean">false</obo:IAO_0000116>
<owl:deprecated rdf:datatype="&xsd;boolean">true</owl:deprecated>
<obo:IAO_0000111 xml:lang="en">relationship</obo:IAO_0000111>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0001025 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0001025">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">located in</rdfs:label>
<dc:source>http://www.obofoundry.org/ro/#OBO_REL:located_in</dc:source>
<obo:IAO_0000116 xml:lang="en">Intended meaning:
domain: continuant
range: spatial region
time: at some time</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">located in</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">located_in</obo:IAO_0000118>
<owl:inverseOf rdf:resource="&obo;BFO_0001015"/>
</owl:ObjectProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.obolibrary.org/obo/BFO_0000001 -->
<owl:Class rdf:about="&obo;BFO_0000001">
<rdfs:label xml:lang="en">entity</rdfs:label>
<obo:IAO_0000111 xml:lang="en">entity</obo:IAO_0000111>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000002 -->
<owl:Class rdf:about="&obo;BFO_0000002">
<rdfs:label xml:lang="en">continuant</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000001"/>
<obo:IAO_0000115 xml:lang="en">An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.</obo:IAO_0000115>
<obo:IAO_0000112 xml:lang="en">a heart</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a person</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a symphony orchestra</obo:IAO_0000112>
<obo:IAO_0000111 xml:lang="en">continuant</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">endurant</obo:IAO_0000118>
<obo:IAO_0000112 xml:lang="en">the color of a tomato</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the disposition of blood to coagulate</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the lawn and atmosphere in front of our building</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the mass of a cloud</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000003 -->
<owl:Class rdf:about="&obo;BFO_0000003">
<rdfs:label xml:lang="en">occurrent</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000001"/>
<obo:IAO_0000115 xml:lang="en">An entity that has temporal parts and that happens, unfolds or develops through time.</obo:IAO_0000115>
<obo:IAO_0000112 xml:lang="en">a surgical operation as processual context for a nosocomical infection</obo:IAO_0000112>
<obo:IAO_0000111 xml:lang="en">occurrent</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">perdurant</obo:IAO_0000118>
<obo:IAO_0000112 xml:lang="en">the life of an organism</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the most interesting part of Van Gogh's life</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the spatiotemporal context occupied by a process of cellular meiosis</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the spatiotemporal region occupied by the development of a cancer tumor</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000004 -->
<owl:Class rdf:about="&obo;BFO_0000004">
<rdfs:label xml:lang="en">independent continuant</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000002"/>
<obo:IAO_0000115 xml:lang="en">A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.</obo:IAO_0000115>
<obo:IAO_0000112 xml:lang="en">a chair</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a heart</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a leg</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a person</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a symphony orchestra</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">an organism</obo:IAO_0000112>
<obo:IAO_0000111 xml:lang="en">independent continuant</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">substantial entity</obo:IAO_0000118>
<obo:IAO_0000112 xml:lang="en">the bottom right portion of a human torso</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the lawn and atmosphere in front of our building</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000005 -->
<owl:Class rdf:about="&obo;BFO_0000005">
<rdfs:label xml:lang="en">dependent continuant</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000002"/>
<obo:IAO_0000115 xml:lang="en">A continuant that is either dependent on one or other independent continuant bearers or inheres in or is borne by other entities.</obo:IAO_0000115>
<obo:IAO_0000111 xml:lang="en">dependent continuant</obo:IAO_0000111>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000006 -->
<owl:Class rdf:about="&obo;BFO_0000006">
<rdfs:label xml:lang="en">spatial region</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000002"/>
<obo:IAO_0000115 xml:lang="en">A continuant that is neither bearer of quality entities nor inheres in any other entities.</obo:IAO_0000115>
<obo:IAO_0000116 xml:lang="en">All instances of continuant are spatial entities, that is, they enter in the relation of (spatial) location with spatial region entities. As a particular case, the exact spatial location of a spatial region is this region itself.</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">An instance of spatial region is a part of space. All parts of space are spatial region entities and only spatial region entities are parts of space. Space is the entire extent of the spatial universe, a designated individual, which is thus itself a spatial region.</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">Comment: Space and spatial region entities are entities in their own rights which exist independently of any entities which can be located at them. This view of space is sometimes called "absolutist" or "the container view". In BFO, the class site allows for a so-called relational view of space, that is to say, a view according to which spatiality is a matter of relative location between entities and not a matter of being tied to space. The bridge between these two views is secured through the fact that while instances of site are not spatial region entities, they are nevertheless spatial entities.</obo:IAO_0000116>
<obo:IAO_0000112 xml:lang="en">parts of the sum total of all space in the universe</obo:IAO_0000112>
<obo:IAO_0000111 xml:lang="en">spatial region</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">spatial_region</obo:IAO_0000118>
<obo:IAO_0000112 xml:lang="en">the sum total of all space in the universe</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000007 -->
<owl:Class rdf:about="&obo;BFO_0000007">
<rdfs:label xml:lang="en">processual entity</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000003"/>
<obo:IAO_0000115 xml:lang="en">A processual entity that is a maximally connected spatiotemporal whole and has bona fide beginnings and endings corresponding to real discontinuities.</obo:IAO_0000115>
<obo:IAO_0000111 xml:lang="en">process</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">the life of an organism</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the process of cell-division</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the process of sleeping</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000008 -->
<owl:Class rdf:about="&obo;BFO_0000008">
<rdfs:label xml:lang="en">temporal region</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000003"/>
<obo:IAO_0000116 xml:lang="en">All instances of occurrent are temporal entities, that is, they enter in the relation of (temporal) location with temporal region entities. As a particular case, the exact spatiotemporal location of a temporal region is this region itself. Continuant entities are not temporal entities in the technical sense just explained; they are related to time in a different way, not through temporal location but through a relation of existence at a time or during a period of time (see continuant).</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">An instance of temporal region [span:TemporalRegion] is a part of time. All parts of time are temporal region [span:TemporalRegion] entities and only temporal region [span:TemporalRegion] entities are parts of time. Time is the entire extent of the temporal universe, a designated individual, which is thus a temporal region itself.</obo:IAO_0000116>
<obo:IAO_0000115 xml:lang="en">An occurrent that is part of time.</obo:IAO_0000115>
<obo:IAO_0000116 xml:lang="en">Time and temporal region entities are entities in their own rights which exist independently of any entities which can be located at them. This view of time can be called "absolutist" or "the container view" in analogy to what is traditionally the case with space (see spatial region).</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">temporal region</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">the duration of a surgical procedure</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the moment of death</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the time it takes to run a marathon</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000009 -->
<owl:Class rdf:about="&obo;BFO_0000009">
<rdfs:label xml:lang="en">two dimensional region</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000006"/>
<obo:IAO_0000112 xml:lang="en">A spatial region with two dimensions.</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the surface of a cube-shaped part of space</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the surface of a rectilinear planar figure-shaped part of space</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the surface of a sphere-shaped part of space</obo:IAO_0000112>
<obo:IAO_0000111 xml:lang="en">two dimensional region</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">two_dimensional_region</obo:IAO_0000118>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000010 -->
<owl:Class rdf:about="&obo;BFO_0000010">
<rdfs:label xml:lang="en">scattered spatiotemporal region</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000011"/>
<obo:IAO_0000115 xml:lang="en">A spatiotemporal region that has spatial and temporal dimensions and every spatial and temporal point of which is not connected with every other spatial and temporal point of which.</obo:IAO_0000115>
<obo:IAO_0000111 xml:lang="en">scattered spatiotemporal region</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">the space and time occupied by the individual games of the World Cup</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the space and time occupied by the individual liaisons in a romantic affair</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000011 -->
<owl:Class rdf:about="&obo;BFO_0000011">
<rdfs:label xml:lang="en">spatiotemporal region</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000003"/>
<obo:IAO_0000116 xml:lang="en">All instances of occurrent are spatiotemporal entities, that is, they enter in the relation of (spatiotemporal) location with spatiotemporal region entities. As a particular case, the exact spatiotemporal location of a spatiotemporal region is this region itself.</obo:IAO_0000116>
<obo:IAO_0000115 xml:lang="en">An occurrent at or in which processual entity entities can be located.</obo:IAO_0000115>
<obo:IAO_0000116 xml:lang="en">Spacetime and spatiotemporal region entities are entities in their own rights which exist independently of any entities which can be located at them. This view of spacetime can be called "absolutist" or "the container view". In BFO, the class processual context allows for a so-called relational view of spacetime, that is to say, a view according to which spatiotemporality is a matter of relative location between entities and not a matter of being tied to spacetime. In BFO, the bridge between these two views is secured through the fact that instances of processual context are too spatiotemporal entities.</obo:IAO_0000116>
<obo:IAO_0000111 xml:lang="en">spatiotemporal region</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">the spatiotemporal context occupied by a process of cellular meiosis</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the spatiotemporal region occupied by a human life</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the spatiotemporal region occupied by the development of a cancer tumor</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000012 -->
<owl:Class rdf:about="&obo;BFO_0000012">
<rdfs:label xml:lang="en">spatiotemporal instant</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000013"/>
<obo:IAO_0000115 xml:lang="en">A connected spatiotemporal region at a specific moment.</obo:IAO_0000115>
<obo:IAO_0000111 xml:lang="en">spatiotemporal instant</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">the spatiotemporal region occupied by a single instantaneous temporal slice (part) of a process</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000013 -->
<owl:Class rdf:about="&obo;BFO_0000013">
<rdfs:label xml:lang="en">connected spatiotemporal region</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000011"/>
<obo:IAO_0000115 xml:lang="en">A spatiotemporal region that has temporal and spatial dimensions such that all points within the spatiotemporal region are mediately or immediately connected to all other points within the same spatiotemporal region.</obo:IAO_0000115>
<obo:IAO_0000111 xml:lang="en">connected spatiotemporal region</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">the spatial and temporal location of an individual organism's life</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the spatial and temporal location of the development of a fetus</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000014 -->
<owl:Class rdf:about="&obo;BFO_0000014">
<rdfs:label xml:lang="en">process aggregate</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000007"/>
<obo:IAO_0000115 xml:lang="en">A processual entity that is a mereological sum of process entities and possesses non-connected boundaries.</obo:IAO_0000115>
<obo:IAO_0000112 xml:lang="en">a process of digestion and a process of thinking taken together</obo:IAO_0000112>
<obo:IAO_0000111 xml:lang="en">process aggregate</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">the beating of the hearts of each of seven individuals in the room</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the playing of each of the members of an orchestra</obo:IAO_0000112>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/BFO_0000015 -->
<owl:Class rdf:about="&obo;BFO_0000015">
<rdfs:label xml:lang="en">process</rdfs:label>
<rdfs:subClassOf rdf:resource="&obo;BFO_0000007"/>
<obo:IAO_0000115 xml:lang="en">A processual entity that is a maximally connected spatiotemporal whole and has bona fide beginnings and endings corresponding to real discontinuities.</obo:IAO_0000115>
<obo:IAO_0000111 xml:lang="en">process</obo:IAO_0000111>