-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathOGG_import.owl
2390 lines (1966 loc) · 193 KB
/
OGG_import.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 foaf "http://xmlns.com/foaf/0.1/" >
<!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 ncbitaxon "http://purl.obolibrary.org/obo/ncbitaxon#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
<!ENTITY oboInOwl "http://www.geneontology.org/formats/oboInOwl#" >
]>
<rdf:RDF xmlns="&obo;ego/OGG_import.owl#"
xml:base="&obo;ego/OGG_import.owl"
xmlns:ncbitaxon="&obo;ncbitaxon#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:obo="http://purl.obolibrary.org/obo/"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:dc="http://purl.org/dc/elements/1.1/">
<owl:Ontology rdf:about="&obo;ego/OGG_import.owl"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotation properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.obolibrary.org/obo/BFO_0000179 -->
<owl:AnnotationProperty rdf:about="&obo;BFO_0000179">
<rdfs:label xml:lang="en">BFO OWL specification label</rdfs:label>
<obo:IAO_0000232 xml:lang="en">Really of interest to developers only</obo:IAO_0000232>
<obo:IAO_0000115 xml:lang="en">Relates an entity in the ontology to the name of the variable that is used to represent it in the code that generates the BFO OWL file from the lispy specification.</obo:IAO_0000115>
<rdfs:subPropertyOf rdf:resource="&rdfs;label"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000180 -->
<owl:AnnotationProperty rdf:about="&obo;BFO_0000180">
<rdfs:label xml:lang="en">BFO CLIF specification label</rdfs:label>
<obo:IAO_0000119>Person:Alan Ruttenberg</obo:IAO_0000119>
<obo:IAO_0000232 xml:lang="en">Really of interest to developers only</obo:IAO_0000232>
<obo:IAO_0000115 xml:lang="en">Relates an entity in the ontology to the term that is used to represent it in the the CLIF specification of BFO2</obo:IAO_0000115>
<rdfs:subPropertyOf rdf:resource="&rdfs;label"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000111 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000111">
<rdfs:label xml:lang="en">editor preferred term</rdfs:label>
<obo:IAO_0000119 xml:lang="en">GROUP:OBI:<http://purl.obolibrary.org/obo/obi></obo:IAO_0000119>
<obo:IAO_0000117 xml:lang="en">PERSON:Daniel Schober</obo:IAO_0000117>
<obo:IAO_0000115 xml:lang="en">The concise, meaningful, and human-friendly name for a class or property preferred by the ontology developers. (US-English)</obo:IAO_0000115>
<obo:IAO_0000111 xml:lang="en">editor preferred term</obo:IAO_0000111>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000112 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000112">
<rdfs:label xml:lang="en">example of usage</rdfs:label>
<obo:IAO_0000115 xml:lang="en">A phrase describing how a class name should be used. May also include other kinds of examples that facilitate immediate understanding of a class semantics, such as widely known prototypical subclasses or instances of the class. Although essential for high level terms, examples for low level terms (e.g., Affymetrix HU133 array) are not</obo:IAO_0000115>
<obo:IAO_0000119 xml:lang="en">GROUP:OBI:<http://purl.obolibrary.org/obo/obi></obo:IAO_0000119>
<obo:IAO_0000117 xml:lang="en">PERSON:Daniel Schober</obo:IAO_0000117>
<obo:IAO_0000111 xml:lang="en">example</obo:IAO_0000111>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000114 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000114">
<rdfs:label xml:lang="en">has curation status</rdfs:label>
<obo:IAO_0000119 xml:lang="en">OBI_0000281</obo:IAO_0000119>
<obo:IAO_0000117 xml:lang="en">PERSON:Alan Ruttenberg</obo:IAO_0000117>
<obo:IAO_0000117 xml:lang="en">PERSON:Bill Bug</obo:IAO_0000117>
<obo:IAO_0000117 xml:lang="en">PERSON:Melanie Courtot</obo:IAO_0000117>
<obo:IAO_0000111 xml:lang="en">has curation status</obo:IAO_0000111>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000115 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000115">
<rdfs:label rdf:datatype="&xsd;string">definition</rdfs:label>
<rdfs:label xml:lang="en">definition</rdfs:label>
<obo:IAO_0000119 xml:lang="en">GROUP:OBI:<http://purl.obolibrary.org/obo/obi></obo:IAO_0000119>
<obo:IAO_0000117 xml:lang="en">PERSON:Daniel Schober</obo:IAO_0000117>
<obo:IAO_0000115 xml:lang="en">The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.</obo:IAO_0000115>
<obo:IAO_0000111 xml:lang="en">definition</obo:IAO_0000111>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000116 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000116">
<rdfs:label xml:lang="en">editor note</rdfs:label>
<obo:IAO_0000115 xml:lang="en">An administrative note intended for its editor. It may not be included in the publication version of the ontology, so it should contain nothing necessary for end users to understand the ontology.</obo:IAO_0000115>
<obo:IAO_0000119 xml:lang="en">GROUP:OBI:<http://purl.obfoundry.org/obo/obi></obo:IAO_0000119>
<obo:IAO_0000117 xml:lang="en">PERSON:Daniel Schober</obo:IAO_0000117>
<obo:IAO_0000111 xml:lang="en">editor note</obo:IAO_0000111>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000117 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000117">
<rdfs:label xml:lang="en">term editor</rdfs:label>
<obo:IAO_0000116 xml:lang="en">20110707, MC: label update to term editor and definition modified accordingly. See http://code.google.com/p/information-artifact-ontology/issues/detail?id=115.</obo:IAO_0000116>
<obo:IAO_0000119 xml:lang="en">GROUP:OBI:<http://purl.obolibrary.org/obo/obi></obo:IAO_0000119>
<obo:IAO_0000115 xml:lang="en">Name of editor entering the term in the file. The term editor is a point of contact for information regarding the term. The term editor may be, but is not always, the author of the definition, which may have been worked upon by several people</obo:IAO_0000115>
<obo:IAO_0000117 xml:lang="en">PERSON:Daniel Schober</obo:IAO_0000117>
<obo:IAO_0000111 xml:lang="en">term editor</obo:IAO_0000111>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000118 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000118">
<rdfs:label xml:lang="en">alternative term</rdfs:label>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000125"/>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000119 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000119">
<rdfs:label xml:lang="en">definition source</rdfs:label>
<obo:IAO_0000119 rdf:datatype="&xsd;string">Discussion on obo-discuss mailing-list, see http://bit.ly/hgm99w</obo:IAO_0000119>
<obo:IAO_0000119 xml:lang="en">GROUP:OBI:<http://purl.obolibrary.org/obo/obi></obo:IAO_0000119>
<obo:IAO_0000117 xml:lang="en">PERSON:Daniel Schober</obo:IAO_0000117>
<obo:IAO_0000111 xml:lang="en">definition source</obo:IAO_0000111>
<obo:IAO_0000115 xml:lang="en">formal citation, e.g. identifier in external database to indicate / attribute source(s) for the definition. Free text indicate / attribute source(s) for the definition. EXAMPLE: Author Name, URI, MeSH Term C04, PUBMED ID, Wiki uri on 31.01.2007</obo:IAO_0000115>
<obo:IAO_0000114 rdf:resource="&obo;IAO_0000122"/>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000232 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000232">
<rdfs:label xml:lang="en">curator note</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000412 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000412">
<rdfs:label xml:lang="en">imported from</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000600 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000600">
<rdfs:label xml:lang="en">elucidation</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000601 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000601">
<rdfs:label xml:lang="en">has associated axiom(nl)</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000602 -->
<owl:AnnotationProperty rdf:about="&obo;IAO_0000602">
<rdfs:label xml:lang="en">has associated axiom(fol)</rdfs:label>
<rdfs:isDefinedBy rdf:resource="&obo;iao.owl"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000004 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000004">
<rdfs:label xml:lang="en">symbol from nomenclature authority</rdfs:label>
<obo:IAO_0000115>the symbol assigned by the nomenclature authority</obo:IAO_0000115>
<obo:IAO_0000117>Oliver He, Yue Liu</obo:IAO_0000117>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000005 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000005">
<rdfs:label xml:lang="en">full name from nomenclature authority</rdfs:label>
<obo:IAO_0000115>the full name assigned by the nomenclature authority</obo:IAO_0000115>
<obo:IAO_0000117>Oliver He, Yue Liu</obo:IAO_0000117>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000006 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000006">
<rdfs:label xml:lang="en">NCBI GeneID</rdfs:label>
<obo:IAO_0000117>Oliver He, Yue Liu</obo:IAO_0000117>
<obo:IAO_0000115>A GeneID in the NCBI Gene database </obo:IAO_0000115>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000008 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000008">
<rdfs:label xml:lang="en">gene map location</rdfs:label>
<obo:IAO_0000115>the map location of a gene</obo:IAO_0000115>
<obo:IAO_0000117>Oliver He, Yue Liu</obo:IAO_0000117>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000009 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000009">
<rdfs:label xml:lang="en">modification date</rdfs:label>
<obo:IAO_0000115>a date of content modification</obo:IAO_0000115>
<obo:IAO_0000117>Oliver He, Yue Liu</obo:IAO_0000117>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000015 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000015">
<rdfs:label xml:lang="en">organism NCBITaxon ID</rdfs:label>
<obo:IAO_0000115>The NCBITaxon ontology ID of an organism.</obo:IAO_0000115>
<obo:IAO_0000117>Oliver He, Yue Liu</obo:IAO_0000117>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000017 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000017">
<rdfs:label xml:lang="en">chromosome ID of gene</rdfs:label>
<obo:IAO_0000115>A chromosome ID where a gene is located.</obo:IAO_0000115>
<obo:IAO_0000117>Oliver He</obo:IAO_0000117>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000018 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000018">
<rdfs:label xml:lang="en">type of gene</rdfs:label>
<obo:IAO_0000117>Oliver He</obo:IAO_0000117>
<obo:IAO_0000115>an annotation property that specifies the type of a gene</obo:IAO_0000115>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000019 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000019">
<rdfs:label xml:lang="en">nomenclature status</rdfs:label>
<obo:IAO_0000115>an annotation property that specifies a nomenclature status</obo:IAO_0000115>
<obo:IAO_0000117>Oliver He</obo:IAO_0000117>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000029 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000029">
<rdfs:label xml:lang="en">has GO association</rdfs:label>
<obo:IAO_0000115>an annotation property that shows the GO information associated with a specific gene. </obo:IAO_0000115>
<obo:IAO_0000117>Yongqun He</obo:IAO_0000117>
<rdfs:domain rdf:resource="&obo;OGG_0000000002"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/OGG_0000000030 -->
<owl:AnnotationProperty rdf:about="&obo;OGG_0000000030">
<rdfs:label xml:lang="en">has PubMed association</rdfs:label>
<obo:IAO_0000117>Yongqun He</obo:IAO_0000117>
<obo:IAO_0000115>An annotation property that represents a gene's association with PubMed publication(s). </obo:IAO_0000115>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/RO_0001900 -->
<owl:AnnotationProperty rdf:about="&obo;RO_0001900">
<rdfs:label xml:lang="en">temporal interpretation</rdfs:label>
<foaf:page rdf:datatype="&xsd;anyURI">https://code.google.com/p/obo-relations/wiki/ROAndTime</foaf:page>
<obo:IAO_0000115>An assertion that holds between an OWL Object Property and a temporal interpretation that elucidates how OWL Class Axioms that use this property are to be interpreted in a temporal context.</obo:IAO_0000115>
<rdfs:subPropertyOf rdf:resource="&obo;RO_0002422"/>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/RO_0002422 -->
<owl:AnnotationProperty rdf:about="&obo;RO_0002422"/>
<!-- http://purl.obolibrary.org/obo/ncbitaxon#has_rank -->
<owl:AnnotationProperty rdf:about="&obo;ncbitaxon#has_rank">
<rdfs:label rdf:datatype="&xsd;string">has_rank</rdfs:label>
<obo:IAO_0000115 rdf:datatype="&xsd;string">A metadata relation between a class and its taxonomic rank (eg species, family)</obo:IAO_0000115>
<oboInOwl:hasOBONamespace rdf:datatype="&xsd;string">ncbi_taxonomy</oboInOwl:hasOBONamespace>
</owl:AnnotationProperty>
<!-- http://purl.org/dc/elements/1.1/description -->
<owl:AnnotationProperty rdf:about="&dc;description"/>
<!-- http://www.geneontology.org/formats/oboInOwl#hasDbXref -->
<owl:AnnotationProperty rdf:about="&oboInOwl;hasDbXref">
<rdfs:label rdf:datatype="&xsd;string">database_cross_reference</rdfs:label>
</owl:AnnotationProperty>
<!-- http://www.geneontology.org/formats/oboInOwl#hasExactSynonym -->
<owl:AnnotationProperty rdf:about="&oboInOwl;hasExactSynonym">
<rdfs:label rdf:datatype="&xsd;string">has_exact_synonym</rdfs:label>
</owl:AnnotationProperty>
<!-- http://www.geneontology.org/formats/oboInOwl#hasOBONamespace -->
<owl:AnnotationProperty rdf:about="&oboInOwl;hasOBONamespace">
<rdfs:label rdf:datatype="&xsd;string">has_obo_namespace</rdfs:label>
</owl:AnnotationProperty>
<!-- http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym -->
<owl:AnnotationProperty rdf:about="&oboInOwl;hasRelatedSynonym">
<rdfs:label rdf:datatype="&xsd;string">has_related_synonym</rdfs:label>
</owl:AnnotationProperty>
<!-- http://xmlns.com/foaf/0.1/page -->
<owl:AnnotationProperty rdf:about="&foaf;page"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- 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_0000111 xml:lang="en">has part</obo:IAO_0000111>
<obo:IAO_0000118 xml:lang="en">has_part</obo:IAO_0000118>
<obo:RO_0001900 rdf:resource="&obo;RO_0001901"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ro.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000052 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000052">
<rdfs:label xml:lang="en">inheres in at all times</rdfs:label>
<obo:BFO_0000180>inheresInAt</obo:BFO_0000180>
<obo:IAO_0000116>BFO2 Reference: independent continuant that is not a spatial region</obo:IAO_0000116>
<obo:BFO_0000179>inheres-in_at</obo:BFO_0000179>
<obo:IAO_0000116>BFO2 Reference: specifically dependent continuant</obo:IAO_0000116>
<obo:IAO_0000116>Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'inheres in at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'inheres in@en(x,y,t)'.</obo:IAO_0000116>
<obo:IAO_0000602>(iff (inheresInAt a b t) (and (DependentContinuant a) (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))) // axiom label in BFO2 CLIF: [051-002] </obo:IAO_0000602>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: Inherence is a subrelation of s-depends_on which holds between a dependent continuant and an independent continuant that is not a spatial region. Since dependent continuants cannot migrate from one independent continuant bearer to another, it follows that if b s-depends_on independent continuant c at some time, then b s-depends_on c at all times at which a exists. Inherence is in this sense redundantly time-indexed.For example, consider the particular instance of openness inhering in my mouth at t as I prepare to take a bite out of a donut, followed by a closedness at t+1 when I bite the donut and start chewing. The openness instance is then shortlived, and to say that it s-depends_on my mouth at all times at which this openness exists, means: at all times during this short life. Every time you make a fist, you make a new (instance of the universal) fist. (Every time your hand has the fist-shaped quality, there is created a new instance of the universal fist-shaped quality.)</obo:IAO_0000116>
<obo:IAO_0000115 xml:lang="en">b inheres_in c at t =Def. b is a dependent continuant & c is an independent continuant that is not a spatial region & b s-depends_on c at t. (axiom label in BFO2 Reference: [051-002])</obo:IAO_0000115>
<rdfs:domain rdf:resource="&obo;BFO_0000020"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000070"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
<rdfs:range>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="&obo;BFO_0000004"/>
<owl:Class>
<owl:complementOf rdf:resource="&obo;BFO_0000006"/>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</rdfs:range>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000058 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000058">
<rdfs:label xml:lang="en">concretized by at some time</rdfs:label>
<obo:IAO_0000600>[copied from inverse property 'concretizes at some time'] b concretizes c at t means: b is a specifically dependent continuant & c is a generically dependent continuant & for some independent continuant that is not a spatial region d, b s-depends_on d at t & c g-depends on d at t & if c migrates from bearer d to another bearer e than a copy of b will be created in e. (axiom label in BFO2 Reference: [075-002])</obo:IAO_0000600>
<obo:IAO_0000112>[copied from inverse property 'concretizes at some time'] You may concretize a recipe that you find in a cookbook by turning it into a plan which exists as a realizable dependent continuant in your head.</obo:IAO_0000112>
<obo:BFO_0000179>concretized-by_st</obo:BFO_0000179>
<obo:IAO_0000112>[copied from inverse property 'concretizes at some time'] you may concretize a poem as a pattern of memory traces in your head</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'concretizes at some time'] You may concretize a piece of software by installing it in your computer</obo:IAO_0000112>
<obo:IAO_0000116>[copied from inverse property 'concretizes at some time'] Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'concretizes at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'concretizes@en'(x,y,t)</obo:IAO_0000116>
<rdfs:range rdf:resource="&obo;BFO_0000020"/>
<rdfs:domain rdf:resource="&obo;BFO_0000031"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000070 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000070">
<rdfs:label xml:lang="en">specifically depends on at all times</rdfs:label>
<obo:IAO_0000602>(forall (x) (if (exists (y t) (specificallyDependsOnAt x y t)) (not (MaterialEntity x)))) // axiom label in BFO2 CLIF: [052-001] </obo:IAO_0000602>
<obo:IAO_0000116>BFO2 Reference: specifically dependent continuant\; process; process boundary</obo:IAO_0000116>
<obo:BFO_0000179>s-depends-on_at</obo:BFO_0000179>
<obo:IAO_0000602>(forall (x y z t) (if (and (specificallyDependsOnAt x y t) (specificallyDependsOnAt y z t)) (specificallyDependsOnAt x z t))) // axiom label in BFO2 CLIF: [054-002] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x y t) (if (and (Entity x) (or (continuantPartOfAt y x t) (continuantPartOfAt x y t) (occurrentPartOf x y) (occurrentPartOf y x))) (not (specificallyDependsOnAt x y t)))) // axiom label in BFO2 CLIF: [013-002] </obo:IAO_0000602>
<obo:IAO_0000112 xml:lang="en">A pain s-depends_on the organism that is experiencing the pain</obo:IAO_0000112>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: An entity – for example an act of communication or a game of football – can s-depends_on more than one entity. Complex phenomena for example in the psychological and social realms (such as inferring, commanding and requesting) or in the realm of multi-organismal biological processes (such as infection and resistance), will involve multiple families of dependence relations, involving both continuants and occurrents [1, 4, 28</obo:IAO_0000116>
<obo:IAO_0000601 xml:lang="en">If occurrent b s-depends_on some independent continuant c at t, then b s-depends_on c at every time at which b exists. (axiom label in BFO2 Reference: [015-002])</obo:IAO_0000601>
<obo:IAO_0000112 xml:lang="en">a gait s-depends_on the walking object. (All at some specific time.)</obo:IAO_0000112>
<obo:IAO_0000601 xml:lang="en">if b s-depends_on c at t & c s-depends_on d at t then b s-depends_on d at t. (axiom label in BFO2 Reference: [054-002])</obo:IAO_0000601>
<obo:IAO_0000112 xml:lang="en">one-sided s-dependence of a dependent continuant on an independent continuant: an instance of headache s-depends_on some head</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">one-sided s-dependence of a dependent continuant on an independent continuant: an instance of temperature s-depends_on some organism</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">one-sided s-dependence of a process on something: a process of cell death s-depends_on a cell</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">reciprocal s-dependence between occurrents: a process of buying and the associated process of selling</obo:IAO_0000112>
<obo:BFO_0000180>specificallyDependsOn</obo:BFO_0000180>
<obo:IAO_0000602>(forall (x y t) (if (specificallyDependsOnAt x y t) (exists (z) (and (IndependentContinuant z) (not (SpatialRegion z)) (specificallyDependsOnAt x z t))))) // axiom label in BFO2 CLIF: [136-001] </obo:IAO_0000602>
<obo:IAO_0000116>Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'specifically depends on at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'specifically depends on@en(x,y,t)'.</obo:IAO_0000116>
<obo:IAO_0000602>(forall (x y t) (if (and (Occurrent x) (IndependentContinuant y) (specificallyDependsOnAt x y t)) (forall (t_1) (if (existsAt x t_1) (specificallyDependsOnAt x y t_1))))) // axiom label in BFO2 CLIF: [015-002] </obo:IAO_0000602>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: S-dependence is just one type of dependence among many; it is what, in the literature, is referred to as ‘existential dependence’ [87, 46, 65, 20</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: the relation of s-depends_on does not in every case require simultaneous existence of its relata. Note the difference between such cases and the cases of continuant universals defined historically: the act of answering depends existentially on the prior act of questioning; the human being who was baptized or who answered a question does not himself depend existentially on the prior act of baptism or answering. He would still exist even if these acts had never taken place.</obo:IAO_0000116>
<obo:IAO_0000601 xml:lang="en">If b is s-depends_on something at some time, then b is not a material entity. (axiom label in BFO2 Reference: [052-001])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">If b s-depends_on something at t, then there is some c, which is an independent continuant and not a spatial region, such that b s-depends_on c at t. (axiom label in BFO2 Reference: [136-001])</obo:IAO_0000601>
<obo:IAO_0000600 xml:lang="en">To say that b s-depends_on a at t is to say that b and c do not share common parts & b is of its nature such that it cannot exist unless c exists & b is not a boundary of c and b is not a site of which c is the host [64</obo:IAO_0000600>
<obo:IAO_0000112 xml:lang="en">a shape s-depends_on the shaped object</obo:IAO_0000112>
<obo:IAO_0000601 xml:lang="en">an entity does not s-depend_on any of its (continuant or occurrent) parts or on anything it is part of. (axiom label in BFO2 Reference: [013-002])</obo:IAO_0000601>
<obo:IAO_0000112 xml:lang="en">one-sided s-dependence of a process on something: an instance of seeing (a relational process) s-depends_on some organism and on some seen entity, which may be an occurrent or a continuant</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">one-sided s-dependence of one occurrent on another: a process of answering a question is dependent on a prior process of asking a question</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">one-sided s-dependence of one occurrent on another: a process of obeying a command is dependent on a prior process of issuing a command</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">one-sided s-dependence of one occurrent on multiple independent continuants: a relational process of hitting a ball with a cricket bat</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">one-sided s-dependence of one occurrent on multiple independent continuants: a relational process of paying cash to a merchant in exchange for a bag of figs</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">reciprocal s-dependence between occurrents: a process of increasing the volume of a portion of gas while temperature remains constant and the associated process of decreasing the pressure exerted by the gas</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">reciprocal s-dependence between occurrents: in a game of chess the process of playing with the white pieces is mutually dependent on the process of playing with the black pieces</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the one-sided dependence of an occurrent on an independent continuant: football match on the players, the ground, the ball</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the one-sided dependence of an occurrent on an independent continuant: handwave on a hand</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the three-sided reciprocal s-dependence of the hue, saturation and brightness of a color [45</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the three-sided reciprocal s-dependence of the pitch, timbre and volume of a tone [45</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the two-sided reciprocal s-dependence of the roles of husband and wife [20</obo:IAO_0000112>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000169"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000083 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000083">
<rdfs:label xml:lang="en">occupies spatial region at some time</rdfs:label>
<obo:BFO_0000179>located-at-r_st</obo:BFO_0000179>
<obo:IAO_0000602>(forall (x y r_1 t) (if (and (occupiesSpatialRegionAt x r_1 t) (continuantPartOfAt y x t)) (exists (r_2) (and (continuantPartOfAt r_2 r_1 t) (occupiesSpatialRegionAt y r_2 t))))) // axiom label in BFO2 CLIF: [043-001] </obo:IAO_0000602>
<obo:IAO_0000116>BFO2 Reference: independent continuant</obo:IAO_0000116>
<obo:IAO_0000116>Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'occupies spatial region at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'occupies spatial region@en'(x,y,t)</obo:IAO_0000116>
<obo:IAO_0000602>(forall (x r t) (if (occupiesSpatialRegionAt x r t) (and (SpatialRegion r) (IndependentContinuant x)))) // axiom label in BFO2 CLIF: [041-002] </obo:IAO_0000602>
<obo:IAO_0000116>BFO2 Reference: spatial region</obo:IAO_0000116>
<obo:IAO_0000602>(forall (r t) (if (Region r) (occupiesSpatialRegionAt r r t))) // axiom label in BFO2 CLIF: [042-002] </obo:IAO_0000602>
<obo:IAO_0000600 xml:lang="en">b occupies_spatial_region r at t means that r is a spatial region in which independent continuant b is exactly located (axiom label in BFO2 Reference: [041-002])</obo:IAO_0000600>
<obo:IAO_0000601 xml:lang="en">every region r is occupies_spatial_region r at all times. (axiom label in BFO2 Reference: [042-002])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">if b occupies_spatial_region r at t & b continuant_part_of b at t, then there is some r which is continuant_part_of r at t such that b occupies_spatial_region r at t. (axiom label in BFO2 Reference: [043-001])</obo:IAO_0000601>
<obo:BFO_0000180>occupiesSpatialRegionAt</obo:BFO_0000180>
<rdfs:domain rdf:resource="&obo;BFO_0000004"/>
<rdfs:range rdf:resource="&obo;BFO_0000006"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000123"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000108 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000108">
<rdfs:label xml:lang="en">exists at</rdfs:label>
<obo:IAO_0000116>BFO2 Reference: entity</obo:IAO_0000116>
<obo:IAO_0000116>BFO2 Reference: temporal region</obo:IAO_0000116>
<obo:IAO_0000600 xml:lang="en">b exists_at t means: b is an entity which exists at some temporal region t. (axiom label in BFO2 Reference: [118-002])</obo:IAO_0000600>
<obo:BFO_0000180>existsAt</obo:BFO_0000180>
<obo:BFO_0000179>exists-at</obo:BFO_0000179>
<rdfs:domain rdf:resource="&obo;BFO_0000001"/>
<rdfs:range rdf:resource="&obo;BFO_0000008"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000157"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000110 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000110">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">has continuant part at all times</rdfs:label>
<obo:IAO_0000602>(iff (hasContinuantPartAt a b t) (continuantPartOfAt b a t)) // axiom label in BFO2 CLIF: [006-001] </obo:IAO_0000602>
<obo:IAO_0000116>[copied from inverse property 'part of continuant at all times that whole exists'] This is a binary version of a ternary time-indexed, instance level, relation. Unlike the rest of the temporalized relations which temporally quantify over existence of the subject of the relation, this relation temporally quantifies over the existence of the object of the relation. The relation is provided tentatively, to assess whether the GO needs such a relation. It is inverse of 'has continuant part at all times'</obo:IAO_0000116>
<obo:IAO_0000115>[copied from inverse property 'part of continuant at all times that whole exists'] forall(t) exists_at(y,t) -> exists_at(x,t) and 'part of continuant'(x,y,t)</obo:IAO_0000115>
<obo:IAO_0000116>Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'has continuant part at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'has continuant part@en(x,y,t)'.</obo:IAO_0000116>
<obo:BFO_0000180>hasContinuantPartAt</obo:BFO_0000180>
<obo:IAO_0000115 xml:lang="en">b has_continuant_part c at t = Def. c continuant_part_of b at t. (axiom label in BFO2 Reference: [006-001])</obo:IAO_0000115>
<obo:BFO_0000179>c-has-part_at</obo:BFO_0000179>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000178"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000117 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000117">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">has occurrent part</rdfs:label>
<obo:IAO_0000116>[copied from inverse property 'part of occurrent'] BFO 2 Reference: a (continuant or occurrent) part of itself. We appreciate that this is counterintuitive for some users, since it implies for example that President Obama is a part of himself. However it brings benefits in simplifying the logical formalism, and it captures an important feature of identity, namely that it is the limit case of mereological inclusion.</obo:IAO_0000116>
<obo:IAO_0000600>[copied from inverse property 'part of occurrent'] b occurrent_part_of c =Def. b is a part of c & b and c are occurrents. (axiom label in BFO2 Reference: [003-002])</obo:IAO_0000600>
<obo:IAO_0000112>[copied from inverse property 'part of occurrent'] Mary’s 5th birthday occurrent_part_of Mary’s life</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'part of occurrent'] The process of a footballer’s heart beating once is an occurrent part but not a temporal_part of a game of football.</obo:IAO_0000112>
<obo:BFO_0000179>o-has-part</obo:BFO_0000179>
<obo:IAO_0000602>(iff (hasOccurrentPart a b) (occurrentPartOf b a)) // axiom label in BFO2 CLIF: [007-001] </obo:IAO_0000602>
<obo:IAO_0000116>[copied from inverse property 'part of occurrent'] BFO2 Reference: occurrent</obo:IAO_0000116>
<obo:BFO_0000180>hasOccurrentPart</obo:BFO_0000180>
<obo:IAO_0000112>[copied from inverse property 'part of occurrent'] the first set of the tennis match occurrent_part_of the tennis match.</obo:IAO_0000112>
<obo:IAO_0000115 xml:lang="en">b has_occurrent_part c = Def. c occurrent_part_of b. (axiom label in BFO2 Reference: [007-001])</obo:IAO_0000115>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000118 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000118">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">has proper occurrent part</rdfs:label>
<obo:BFO_0000179>o-has-ppart</obo:BFO_0000179>
<obo:BFO_0000180>hasProperOccurrentPart</obo:BFO_0000180>
<obo:IAO_0000115>[copied from inverse property 'proper part of occurrent'] b proper_occurrent_part_of c =Def. b occurrent_part_of c & b and c are not identical. (axiom label in BFO2 Reference: [005-001])</obo:IAO_0000115>
<obo:IAO_0000115 xml:lang="en">b has_proper_occurrent_part c = Def. c proper_occurrent_part_of b. [XXX-001</obo:IAO_0000115>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000117"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000121 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000121">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">has temporal part</rdfs:label>
<obo:IAO_0000112>[copied from inverse property 'temporal part of'] the 4th year of your life is a temporal part of your life\. The first quarter of a game of football is a temporal part of the whole game\. The process of your heart beating from 4pm to 5pm today is a temporal part of the entire process of your heart beating.\ The 4th year of your life is a temporal part of your life</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'temporal part of'] the process boundary which separates the 3rd and 4th years of your life.</obo:IAO_0000112>
<obo:IAO_0000115>[copied from inverse property 'temporal part of'] b proper_temporal_part_of c =Def. b temporal_part_of c & not (b = c). (axiom label in BFO2 Reference: [116-001])</obo:IAO_0000115>
<obo:IAO_0000115>[copied from inverse property 'temporal part of'] b temporal_part_of c =Def.b occurrent_part_of c & & for some temporal region t, b occupies_temporal_region t & for all occurrents d, t (if d occupies_temporal_region t & t? occurrent_part_of t then (d occurrent_part_of a iff d occurrent_part_of b)). (axiom label in BFO2 Reference: [078-003])</obo:IAO_0000115>
<obo:IAO_0000112>[copied from inverse property 'temporal part of'] your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating</obo:IAO_0000112>
<obo:BFO_0000179>has-t-part</obo:BFO_0000179>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000117"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000123 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000123">
<rdfs:label xml:lang="en">has spatial occupant at some time</rdfs:label>
<obo:BFO_0000179>r-location-of_st</obo:BFO_0000179>
<obo:IAO_0000600>[copied from inverse property 'occupies spatial region at some time'] b occupies_spatial_region r at t means that r is a spatial region in which independent continuant b is exactly located (axiom label in BFO2 Reference: [041-002])</obo:IAO_0000600>
<obo:IAO_0000116>[copied from inverse property 'occupies spatial region at some time'] Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'occupies spatial region at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'occupies spatial region@en'(x,y,t)</obo:IAO_0000116>
<obo:IAO_0000116>[copied from inverse property 'occupies spatial region at some time'] BFO2 Reference: independent continuant</obo:IAO_0000116>
<obo:IAO_0000116>[copied from inverse property 'occupies spatial region at some time'] BFO2 Reference: spatial region</obo:IAO_0000116>
<rdfs:range rdf:resource="&obo;BFO_0000004"/>
<rdfs:domain rdf:resource="&obo;BFO_0000006"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000125 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000125">
<rdfs:label xml:lang="en">has specific dependent at some time</rdfs:label>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] a shape s-depends_on the shaped object</obo:IAO_0000112>
<obo:BFO_0000179>has-s-dep_st</obo:BFO_0000179>
<obo:IAO_0000600>[copied from inverse property 'specifically depends on at some time'] To say that b s-depends_on a at t is to say that b and c do not share common parts & b is of its nature such that it cannot exist unless c exists & b is not a boundary of c and b is not a site of which c is the host [64</obo:IAO_0000600>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] one-sided s-dependence of a process on something: an instance of seeing (a relational process) s-depends_on some organism and on some seen entity, which may be an occurrent or a continuant</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] the one-sided dependence of an occurrent on an independent continuant: football match on the players, the ground, the ball</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] a gait s-depends_on the walking object. (All at some specific time.)</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] A pain s-depends_on the organism that is experiencing the pain</obo:IAO_0000112>
<obo:IAO_0000116>[copied from inverse property 'specifically depends on at some time'] BFO 2 Reference: the relation of s-depends_on does not in every case require simultaneous existence of its relata. Note the difference between such cases and the cases of continuant universals defined historically: the act of answering depends existentially on the prior act of questioning; the human being who was baptized or who answered a question does not himself depend existentially on the prior act of baptism or answering. He would still exist even if these acts had never taken place.</obo:IAO_0000116>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] the two-sided reciprocal s-dependence of the roles of husband and wife [20</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] one-sided s-dependence of one occurrent on multiple independent continuants: a relational process of paying cash to a merchant in exchange for a bag of figs</obo:IAO_0000112>
<obo:IAO_0000116>[copied from inverse property 'specifically depends on at some time'] Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'specifically depends on at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'specifically depends on@en'(x,y,t)</obo:IAO_0000116>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] one-sided s-dependence of one occurrent on multiple independent continuants: a relational process of hitting a ball with a cricket bat</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] the one-sided dependence of an occurrent on an independent continuant: handwave on a hand</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] reciprocal s-dependence between occurrents: in a game of chess the process of playing with the white pieces is mutually dependent on the process of playing with the black pieces</obo:IAO_0000112>
<obo:IAO_0000116>[copied from inverse property 'specifically depends on at some time'] BFO2 Reference: specifically dependent continuant\; process; process boundary</obo:IAO_0000116>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] the three-sided reciprocal s-dependence of the hue, saturation and brightness of a color [45</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] reciprocal s-dependence between occurrents: a process of buying and the associated process of selling</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] the three-sided reciprocal s-dependence of the pitch, timbre and volume of a tone [45</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] reciprocal s-dependence between occurrents: a process of increasing the volume of a portion of gas while temperature remains constant and the associated process of decreasing the pressure exerted by the gas</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] one-sided s-dependence of a dependent continuant on an independent continuant: an instance of temperature s-depends_on some organism</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] one-sided s-dependence of one occurrent on another: a process of obeying a command is dependent on a prior process of issuing a command</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] one-sided s-dependence of a process on something: a process of cell death s-depends_on a cell</obo:IAO_0000112>
<obo:IAO_0000116>[copied from inverse property 'specifically depends on at some time'] BFO 2 Reference: S-dependence is just one type of dependence among many; it is what, in the literature, is referred to as ‘existential dependence’ [87, 46, 65, 20</obo:IAO_0000116>
<obo:IAO_0000116>[copied from inverse property 'specifically depends on at some time'] BFO 2 Reference: An entity – for example an act of communication or a game of football – can s-depends_on more than one entity. Complex phenomena for example in the psychological and social realms (such as inferring, commanding and requesting) or in the realm of multi-organismal biological processes (such as infection and resistance), will involve multiple families of dependence relations, involving both continuants and occurrents [1, 4, 28</obo:IAO_0000116>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] one-sided s-dependence of a dependent continuant on an independent continuant: an instance of headache s-depends_on some head</obo:IAO_0000112>
<obo:IAO_0000112>[copied from inverse property 'specifically depends on at some time'] one-sided s-dependence of one occurrent on another: a process of answering a question is dependent on a prior process of asking a question</obo:IAO_0000112>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="&obo;BFO_0000015"/>
<rdf:Description rdf:about="&obo;BFO_0000020"/>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="&obo;BFO_0000004"/>
<owl:Class>
<owl:complementOf rdf:resource="&obo;BFO_0000006"/>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</owl:unionOf>
</owl:Class>
</rdfs:domain>
<rdfs:range>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="&obo;BFO_0000015"/>
<rdf:Description rdf:about="&obo;BFO_0000020"/>
</owl:unionOf>
</owl:Class>
</rdfs:range>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000126 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000126">
<rdfs:label xml:lang="en">has spatiotemporal occupant</rdfs:label>
<obo:IAO_0000116>[copied from inverse property 'occupies spatiotemporal region'] BFO 2 Reference: The occupies_spatiotemporal_region and occupies_temporal_region relations are the counterpart, on the occurrent side, of the relation occupies_spatial_region.</obo:IAO_0000116>
<obo:BFO_0000179>occupied-by</obo:BFO_0000179>
<obo:IAO_0000600>[copied from inverse property 'occupies spatiotemporal region'] p occupies_spatiotemporal_region s. This is a primitive relation between an occurrent p and the spatiotemporal region s which is its spatiotemporal extent. (axiom label in BFO2 Reference: [082-003])</obo:IAO_0000600>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<rdfs:domain rdf:resource="&obo;BFO_0000011"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000130 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000130">
<rdfs:label xml:lang="en">occupies spatiotemporal region</rdfs:label>
<obo:BFO_0000180>occupiesSpatiotemporalRegion</obo:BFO_0000180>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: The occupies_spatiotemporal_region and occupies_temporal_region relations are the counterpart, on the occurrent side, of the relation occupies_spatial_region.</obo:IAO_0000116>
<obo:BFO_0000179>occupies</obo:BFO_0000179>
<obo:IAO_0000600 xml:lang="en">p occupies_spatiotemporal_region s. This is a primitive relation between an occurrent p and the spatiotemporal region s which is its spatiotemporal extent. (axiom label in BFO2 Reference: [082-003])</obo:IAO_0000600>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<rdfs:range rdf:resource="&obo;BFO_0000011"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000126"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000132 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000132">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">part of occurrent</rdfs:label>
<obo:IAO_0000116>BFO2 Reference: occurrent</obo:IAO_0000116>
<obo:BFO_0000180>occurrentPartOf</obo:BFO_0000180>
<obo:BFO_0000179>o-part-of</obo:BFO_0000179>
<obo:IAO_0000602>(forall (x y t) (if (and (occurrentPartOf x y t) (not (= x y))) (exists (z) (and (occurrentPartOf z y t) (not (exists (w) (and (occurrentPartOf w x t) (occurrentPartOf w z t)))))))) // axiom label in BFO2 CLIF: [124-001] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x y t) (if (and (occurrentPartOf x y t) (occurrentPartOf y x t)) (= x y))) // axiom label in BFO2 CLIF: [123-001] </obo:IAO_0000602>
<obo:IAO_0000115>[copied from inverse property 'has occurrent part'] b has_occurrent_part c = Def. c occurrent_part_of b. (axiom label in BFO2 Reference: [007-001])</obo:IAO_0000115>
<obo:IAO_0000602>(forall (x) (if (Occurrent x) (occurrentPartOf x x))) // axiom label in BFO2 CLIF: [113-002] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x y z) (if (and (occurrentPartOf x y) (occurrentPartOf y z)) (occurrentPartOf x z))) // axiom label in BFO2 CLIF: [112-001] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x y t) (if (exists (v) (and (occurrentPartOf v x t) (occurrentPartOf v y t))) (exists (z) (forall (u w) (iff (iff (occurrentPartOf w u t) (and (occurrentPartOf w x t) (occurrentPartOf w y t))) (= z u)))))) // axiom label in BFO2 CLIF: [125-001] </obo:IAO_0000602>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: a (continuant or occurrent) part of itself. We appreciate that this is counterintuitive for some users, since it implies for example that President Obama is a part of himself. However it brings benefits in simplifying the logical formalism, and it captures an important feature of identity, namely that it is the limit case of mereological inclusion.</obo:IAO_0000116>
<obo:IAO_0000112 xml:lang="en">Mary’s 5th birthday occurrent_part_of Mary’s life</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">The process of a footballer’s heart beating once is an occurrent part but not a temporal_part of a game of football.</obo:IAO_0000112>
<obo:IAO_0000600 xml:lang="en">b occurrent_part_of c =Def. b is a part of c & b and c are occurrents. (axiom label in BFO2 Reference: [003-002])</obo:IAO_0000600>
<obo:IAO_0000601 xml:lang="en">occurrent_part_of is antisymmetric. (axiom label in BFO2 Reference: [123-001])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">occurrent_part_of is reflexive (every occurrent entity is an occurrent_part_of itself). (axiom label in BFO2 Reference: [113-002])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">occurrent_part_of is transitive. (axiom label in BFO2 Reference: [112-001])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">occurrent_part_of satisfies unique product. (axiom label in BFO2 Reference: [125-001])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">occurrent_part_of satisfies weak supplementation. (axiom label in BFO2 Reference: [124-001])</obo:IAO_0000601>
<obo:IAO_0000112 xml:lang="en">the first set of the tennis match occurrent_part_of the tennis match.</obo:IAO_0000112>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000117"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000139 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000139">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">temporal part of</rdfs:label>
<obo:IAO_0000602>(iff (properTemporalPartOf a b) (and (temporalPartOf a b) (not (= a b)))) // axiom label in BFO2 CLIF: [116-001] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x y) (if (properTemporalPartOf x y) (exists (z) (and (properTemporalPartOf z y) (not (exists (w) (and (temporalPartOf w x) (temporalPartOf w z)))))))) // axiom label in BFO2 CLIF: [117-002] </obo:IAO_0000602>
<obo:IAO_0000115 xml:lang="en">b temporal_part_of c =Def.b occurrent_part_of c & & for some temporal region t, b occupies_temporal_region t & for all occurrents d, t (if d occupies_temporal_region t & t? occurrent_part_of t then (d occurrent_part_of a iff d occurrent_part_of b)). (axiom label in BFO2 Reference: [078-003])</obo:IAO_0000115>
<obo:BFO_0000180>temporalPartOf</obo:BFO_0000180>
<obo:BFO_0000179>t-part-of</obo:BFO_0000179>
<obo:IAO_0000602>(iff (temporalPartOf a b) (and (occurrentPartOf a b) (exists (t) (and (TemporalRegion t) (occupiesSpatioTemporalRegion a t))) (forall (c t_1) (if (and (Occurrent c) (occupiesSpatioTemporalRegion c t_1) (occurrentPartOf t_1 r)) (iff (occurrentPartOf c a) (occurrentPartOf c b)))))) // axiom label in BFO2 CLIF: [078-003] </obo:IAO_0000602>
<obo:IAO_0000115 xml:lang="en">b proper_temporal_part_of c =Def. b temporal_part_of c & not (b = c). (axiom label in BFO2 Reference: [116-001])</obo:IAO_0000115>
<obo:IAO_0000601 xml:lang="en">if b proper_temporal_part_of c, then there is some d which is a proper_temporal_part_of c and which shares no parts with b. (axiom label in BFO2 Reference: [117-002])</obo:IAO_0000601>
<obo:IAO_0000112 xml:lang="en">the 4th year of your life is a temporal part of your life\. The first quarter of a game of football is a temporal part of the whole game\. The process of your heart beating from 4pm to 5pm today is a temporal part of the entire process of your heart beating.\ The 4th year of your life is a temporal part of your life</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the process boundary which separates the 3rd and 4th years of your life.</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating</obo:IAO_0000112>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000121"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000132"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000151 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000151">
<rdfs:label xml:lang="en">projects onto spatial region at some time</rdfs:label>
<obo:BFO_0000179>st-projects-onto-s_st</obo:BFO_0000179>
<rdfs:range rdf:resource="&obo;BFO_0000006"/>
<rdfs:domain rdf:resource="&obo;BFO_0000011"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000152"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000152 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000152">
<rdfs:label xml:lang="en">spatial projection of spatiotemporal at some time</rdfs:label>
<obo:BFO_0000179>s-projection-of-st_st</obo:BFO_0000179>
<rdfs:domain rdf:resource="&obo;BFO_0000006"/>
<rdfs:range rdf:resource="&obo;BFO_0000011"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000153 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000153">
<rdfs:label xml:lang="en">projects onto temporal region</rdfs:label>
<obo:BFO_0000179>st-projects-onto-t</obo:BFO_0000179>
<rdfs:range rdf:resource="&obo;BFO_0000008"/>
<rdfs:domain rdf:resource="&obo;BFO_0000011"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000108"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000154"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000154 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000154">
<rdfs:label xml:lang="en">temporal projection of spatiotemporal</rdfs:label>
<obo:BFO_0000179>t-projection-of-st</obo:BFO_0000179>
<rdfs:domain rdf:resource="&obo;BFO_0000008"/>
<rdfs:range rdf:resource="&obo;BFO_0000011"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000157"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000155 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000155">
<rdfs:label xml:lang="en">occupies temporal region</rdfs:label>
<obo:BFO_0000179>spans</obo:BFO_0000179>
<obo:BFO_0000180>occupiesTemporalRegion</obo:BFO_0000180>
<obo:IAO_0000600 xml:lang="en">p occupies_temporal_region t. This is a primitive relation between an occurrent p and the temporal region t upon which the spatiotemporal region p occupies_spatiotemporal_region projects. (axiom label in BFO2 Reference: [132-001])</obo:IAO_0000600>
<rdfs:domain rdf:resource="&obo;BFO_0000003"/>
<rdfs:range rdf:resource="&obo;BFO_0000008"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000108"/>
<owl:inverseOf rdf:resource="&obo;BFO_0000156"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000156 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000156">
<rdfs:label xml:lang="en">has temporal occupant</rdfs:label>
<obo:IAO_0000600>[copied from inverse property 'occupies temporal region'] p occupies_temporal_region t. This is a primitive relation between an occurrent p and the temporal region t upon which the spatiotemporal region p occupies_spatiotemporal_region projects. (axiom label in BFO2 Reference: [132-001])</obo:IAO_0000600>
<obo:BFO_0000179>span-of</obo:BFO_0000179>
<obo:BFO_0000180>spanOf</obo:BFO_0000180>
<rdfs:range rdf:resource="&obo;BFO_0000003"/>
<rdfs:domain rdf:resource="&obo;BFO_0000008"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000157"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000157 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000157">
<rdfs:label xml:lang="en">during which exists</rdfs:label>
<obo:IAO_0000116>[copied from inverse property 'exists at'] BFO2 Reference: entity</obo:IAO_0000116>
<obo:BFO_0000179>during-which-exists</obo:BFO_0000179>
<obo:IAO_0000116>[copied from inverse property 'exists at'] BFO2 Reference: temporal region</obo:IAO_0000116>
<obo:IAO_0000600>[copied from inverse property 'exists at'] b exists_at t means: b is an entity which exists at some temporal region t. (axiom label in BFO2 Reference: [118-002])</obo:IAO_0000600>
<rdfs:range rdf:resource="&obo;BFO_0000001"/>
<rdfs:domain rdf:resource="&obo;BFO_0000008"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000158 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000158">
<rdfs:label xml:lang="en">bearer of at all times</rdfs:label>
<obo:IAO_0000602>(iff (bearerOfAt a b t) (and (specificallyDependsOnAt b a t) (IndependentContinuant a) (not (SpatialRegion a)) (existsAt b t))) // axiom label in BFO2 CLIF: [053-004] </obo:IAO_0000602>
<obo:BFO_0000180>bearerOfAt</obo:BFO_0000180>
<obo:IAO_0000116>BFO2 Reference: independent continuant that is not a spatial region</obo:IAO_0000116>
<obo:BFO_0000179>bearer-of_at</obo:BFO_0000179>
<obo:IAO_0000116>Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'bearer of at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'bearer of@en(x,y,t)'.</obo:IAO_0000116>
<obo:IAO_0000116>BFO2 Reference: specifically dependent continuant</obo:IAO_0000116>
<obo:IAO_0000115 xml:lang="en">b bearer_of c at t =Def. c s-depends_on b at t & b is an independent continuant that is not a spatial region. (axiom label in BFO2 Reference: [053-004])</obo:IAO_0000115>
<rdfs:range rdf:resource="&obo;BFO_0000020"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000168"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
<rdfs:domain>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="&obo;BFO_0000004"/>
<owl:Class>
<owl:complementOf rdf:resource="&obo;BFO_0000006"/>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</rdfs:domain>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000162 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000162">
<rdfs:label xml:lang="en">has disposition at all times</rdfs:label>
<obo:IAO_0000602>(iff (hasDispositionAt a b t) (dispositionOf b a t)) // axiom label in BFO2 CLIF: [069-001] </obo:IAO_0000602>
<obo:IAO_0000116>Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'has disposition at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'has disposition@en(x,y,t)'.</obo:IAO_0000116>
<obo:IAO_0000115 xml:lang="en">a has_disposition b at t =Def. b disposition_of a at t. (axiom label in BFO2 Reference: [069-001])</obo:IAO_0000115>
<obo:BFO_0000180>hasDispositionAt</obo:BFO_0000180>
<obo:BFO_0000179>has-d_at</obo:BFO_0000179>
<rdfs:range rdf:resource="&obo;BFO_0000016"/>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000158"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000168 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000168">
<rdfs:label xml:lang="en">has specific dependent at all times</rdfs:label>
<obo:BFO_0000179>has-s-dep_at</obo:BFO_0000179>
<rdfs:subPropertyOf rdf:resource="&obo;BFO_0000125"/>
<rdfs:isDefinedBy rdf:resource="&obo;bfo.owl"/>
<obo:IAO_0000412 rdf:resource="&obo;ogg.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000169 -->
<owl:ObjectProperty rdf:about="&obo;BFO_0000169">
<rdfs:label xml:lang="en">specifically depends on at some time</rdfs:label>
<obo:BFO_0000179>s-depends-on_st</obo:BFO_0000179>
<obo:IAO_0000116>BFO2 Reference: specifically dependent continuant\; process; process boundary</obo:IAO_0000116>
<obo:IAO_0000602>(forall (x) (if (exists (y t) (specificallyDependsOnAt x y t)) (not (MaterialEntity x)))) // axiom label in BFO2 CLIF: [052-001] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x y t) (if (and (Occurrent x) (IndependentContinuant y) (specificallyDependsOnAt x y t)) (forall (t_1) (if (existsAt x t_1) (specificallyDependsOnAt x y t_1))))) // axiom label in BFO2 CLIF: [015-002] </obo:IAO_0000602>
<obo:IAO_0000116>Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'specifically depends on at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'specifically depends on@en'(x,y,t)</obo:IAO_0000116>
<obo:IAO_0000602>(forall (x y t) (if (specificallyDependsOnAt x y t) (exists (z) (and (IndependentContinuant z) (not (SpatialRegion z)) (specificallyDependsOnAt x z t))))) // axiom label in BFO2 CLIF: [136-001] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x y t) (if (and (Entity x) (or (continuantPartOfAt y x t) (continuantPartOfAt x y t) (occurrentPartOf x y) (occurrentPartOf y x))) (not (specificallyDependsOnAt x y t)))) // axiom label in BFO2 CLIF: [013-002] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x y z t) (if (and (specificallyDependsOnAt x y t) (specificallyDependsOnAt y z t)) (specificallyDependsOnAt x z t))) // axiom label in BFO2 CLIF: [054-002] </obo:IAO_0000602>
<obo:IAO_0000112 xml:lang="en">A pain s-depends_on the organism that is experiencing the pain</obo:IAO_0000112>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: An entity – for example an act of communication or a game of football – can s-depends_on more than one entity. Complex phenomena for example in the psychological and social realms (such as inferring, commanding and requesting) or in the realm of multi-organismal biological processes (such as infection and resistance), will involve multiple families of dependence relations, involving both continuants and occurrents [1, 4, 28</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: S-dependence is just one type of dependence among many; it is what, in the literature, is referred to as ‘existential dependence’ [87, 46, 65, 20</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: the relation of s-depends_on does not in every case require simultaneous existence of its relata. Note the difference between such cases and the cases of continuant universals defined historically: the act of answering depends existentially on the prior act of questioning; the human being who was baptized or who answered a question does not himself depend existentially on the prior act of baptism or answering. He would still exist even if these acts had never taken place.</obo:IAO_0000116>
<obo:IAO_0000601 xml:lang="en">If b is s-depends_on something at some time, then b is not a material entity. (axiom label in BFO2 Reference: [052-001])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">If b s-depends_on something at t, then there is some c, which is an independent continuant and not a spatial region, such that b s-depends_on c at t. (axiom label in BFO2 Reference: [136-001])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">If occurrent b s-depends_on some independent continuant c at t, then b s-depends_on c at every time at which b exists. (axiom label in BFO2 Reference: [015-002])</obo:IAO_0000601>
<obo:IAO_0000600 xml:lang="en">To say that b s-depends_on a at t is to say that b and c do not share common parts & b is of its nature such that it cannot exist unless c exists & b is not a boundary of c and b is not a site of which c is the host [64</obo:IAO_0000600>
<obo:IAO_0000112 xml:lang="en">a gait s-depends_on the walking object. (All at some specific time.)</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a shape s-depends_on the shaped object</obo:IAO_0000112>
<obo:IAO_0000601 xml:lang="en">an entity does not s-depend_on any of its (continuant or occurrent) parts or on anything it is part of. (axiom label in BFO2 Reference: [013-002])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">if b s-depends_on c at t & c s-depends_on d at t then b s-depends_on d at t. (axiom label in BFO2 Reference: [054-002])</obo:IAO_0000601>