-
Notifications
You must be signed in to change notification settings - Fork 54
/
Copy pathbfo_import.obo
103 lines (84 loc) · 3.08 KB
/
bfo_import.obo
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
format-version: 1.2
ontology: envo/imports/bfo_import
[Term]
id: BFO:0000001
name: entity
[Term]
id: BFO:0000002
name: continuant
is_a: BFO:0000001 ! entity
disjoint_from: BFO:0000003 ! occurrent
[Term]
id: BFO:0000003
name: occurrent
is_a: BFO:0000001 ! entity
[Term]
id: BFO:0000004
name: independent continuant
def: "b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])" [] {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/017-002"}
is_a: BFO:0000002 ! continuant
disjoint_from: BFO:0000020 ! specifically dependent continuant
[Term]
id: BFO:0000006
name: spatial region
is_a: BFO:0000141 ! immaterial entity
disjoint_from: BFO:0000140 ! continuant fiat boundary
[Term]
id: BFO:0000015
name: process
def: "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])" [] {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/083-003"}
is_a: BFO:0000003 ! occurrent
[Term]
id: BFO:0000016
name: disposition
is_a: BFO:0000017 ! realizable entity
disjoint_from: BFO:0000023 ! role
[Term]
id: BFO:0000017
name: realizable entity
is_a: BFO:0000020 ! specifically dependent continuant
disjoint_from: BFO:0000019 ! quality
[Term]
id: BFO:0000019
name: quality
is_a: BFO:0000020 ! specifically dependent continuant
[Term]
id: BFO:0000020
name: specifically dependent continuant
def: "b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])" [] {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/050-003"}
is_a: BFO:0000002 ! continuant
[Term]
id: BFO:0000023
name: role
is_a: BFO:0000017 ! realizable entity
[Term]
id: BFO:0000024
name: fiat object part
is_a: BFO:0000040 ! material entity
[Term]
id: BFO:0000034
name: function
is_a: BFO:0000016 ! disposition
[Term]
id: BFO:0000040
name: material entity
is_a: BFO:0000004 ! independent continuant
disjoint_from: BFO:0000141 ! immaterial entity
[Term]
id: BFO:0000140
name: continuant fiat boundary
def: "b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])" [] {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/029-001"}
is_a: BFO:0000141 ! immaterial entity
[Term]
id: BFO:0000141
name: immaterial entity
is_a: BFO:0000004 ! independent continuant
[Term]
id: BFO:0000142
name: one-dimensional continuant fiat boundary
is_a: BFO:0000140 ! continuant fiat boundary
disjoint_from: BFO:0000146 ! two-dimensional continuant fiat boundary
[Term]
id: BFO:0000146
name: two-dimensional continuant fiat boundary
is_a: BFO:0000140 ! continuant fiat boundary