Term IRI Term label Parent term IRI Parent term label Alternative term Definition http://purl.obolibrary.org/obo/BFO_0000079 function of at all times http://purl.obolibrary.org/obo/BFO_0000052 inheres in at all times a function_of b at t =Def. a is a function and a inheres_in b at t. (axiom label in BFO2 Reference: [067-001]) http://purl.obolibrary.org/obo/BFO_0000080 quality of at all times http://purl.obolibrary.org/obo/BFO_0000052 inheres in at all times b quality_of c at t = Def. b is a quality & c is an independent continuant that is not a spatial region & b s-depends_on c at t. (axiom label in BFO2 Reference: [056-002]) http://purl.obolibrary.org/obo/BFO_0000081 role of at all times http://purl.obolibrary.org/obo/BFO_0000052 inheres in at all times a role_of b at t =Def. a is a role and a inheres_in b at t. (axiom label in BFO2 Reference: [065-001]) http://purl.obolibrary.org/obo/BFO_0000115 has member part at some time http://purl.obolibrary.org/obo/BFO_0000178 has continuant part at some time [copied from inverse property 'member part of at some time'] b member_part_of c at t =Def. b is an object & there is at t a mutually exhaustive and pairwise disjoint partition of c into objects x1, …, xn (for some n > 1) with b = xi for some 1 ? i ? n. (axiom label in BFO2 Reference: [026-004]) http://purl.obolibrary.org/obo/BFO_0000121 has temporal part http://purl.obolibrary.org/obo/BFO_0000117 has occurrent part [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]) http://purl.obolibrary.org/obo/BFO_0000129 member part of at some time http://purl.obolibrary.org/obo/BFO_0000175 proper part of continuant at some time b member_part_of c at t =Def. b is an object & there is at t a mutually exhaustive and pairwise disjoint partition of c into objects x1, …, xn (for some n > 1) with b = xi for some 1 ? i ? n. (axiom label in BFO2 Reference: [026-004]) http://purl.obolibrary.org/obo/BFO_0000138 proper part of occurrent http://purl.obolibrary.org/obo/BFO_0000132 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]) http://purl.obolibrary.org/obo/BFO_0000139 temporal part of http://purl.obolibrary.org/obo/BFO_0000132 part of occurrent 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]) http://purl.obolibrary.org/obo/BFO_0000158 bearer of at all times http://purl.obolibrary.org/obo/BFO_0000168 has specific dependent at all times 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]) http://purl.obolibrary.org/obo/BFO_0000160 has function at all times http://purl.obolibrary.org/obo/BFO_0000158 bearer of at all times a has_function b at t =Def. b function_of a at t. (axiom label in BFO2 Reference: [070-001]) http://purl.obolibrary.org/obo/BFO_0000161 has role at all times http://purl.obolibrary.org/obo/BFO_0000158 bearer of at all times a has_role b at t =Def. b role_of a at t. (axiom label in BFO2 Reference: [068-001]) http://purl.obolibrary.org/obo/BFO_0000173 member part of at all times http://purl.obolibrary.org/obo/BFO_0000137 proper part of continuant at all times b member_part_of c at t =Def. b is an object & there is at t a mutually exhaustive and pairwise disjoint partition of c into objects x1, …, xn (for some n > 1) with b = xi for some 1 ? i ? n. (axiom label in BFO2 Reference: [026-004]) http://purl.obolibrary.org/obo/BFO_0000184 history of http://purl.obolibrary.org/obo/BFO_0000066 occurs in [copied from inverse property 'has history'] b has_history c iff c history_of b [XXX-001 http://purl.obolibrary.org/obo/BFO_0000185 has history http://purl.obolibrary.org/obo/BFO_0000067 contains process b has_history c iff c history_of b [XXX-001 http://purl.obolibrary.org/obo/BFO_0000186 part of continuant at all times that whole exists http://purl.obolibrary.org/obo/BFO_0000176 part of continuant at some time [copied from inverse property 'has continuant part at all times'] b has_continuant_part c at t = Def. c continuant_part_of b at t. (axiom label in BFO2 Reference: [006-001]) http://purl.obolibrary.org/obo/OGG_0000000014 is genome of organism http://purl.obolibrary.org/obo/BFO_0000176 part of continuant at some time a 'part of continuant at some time' relation that incides a genome belongs to a organism. http://purl.obolibrary.org/obo/OGG_0000000016 is gene of organism http://purl.obolibrary.org/obo/BFO_0000176 part of continuant at some time a relation between a gene and the organism where this gene belongs to the organism in nature. It does not include a foreign gene that is transferred to an organism by a genetic engineering method. http://purl.obolibrary.org/obo/BFO_0000111 has proper continuant part at all times http://purl.obolibrary.org/obo/BFO_0000174 has proper continuant part at some time b has_proper_continuant_part c at t = Def. c proper_continuant_part_of b at t. [XXX-001 http://purl.obolibrary.org/obo/BFO_0000177 part of continuant at all times http://purl.obolibrary.org/obo/BFO_0000176 part of continuant at some time [copied from inverse property 'has continuant part at all times that part exists'] forall(t) exists_at(y,t) -> exists_at(x,t) and 'has continuant part'(x,y,t) http://purl.obolibrary.org/obo/BFO_0000187 has continuant part at all times that part exists http://purl.obolibrary.org/obo/BFO_0000178 has continuant part at some time forall(t) exists_at(y,t) -> exists_at(x,t) and 'has continuant part'(x,y,t) http://purl.obolibrary.org/obo/BFO_0000052 inheres in at all times http://purl.obolibrary.org/obo/BFO_0000070 specifically depends on at all times 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]) http://purl.obolibrary.org/obo/BFO_0000053 bearer of at some time http://purl.obolibrary.org/obo/BFO_0000125 has specific dependent at some time 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]) http://purl.obolibrary.org/obo/BFO_0000087 has role at some time http://purl.obolibrary.org/obo/BFO_0000053 bearer of at some time a has_role b at t =Def. b role_of a at t. (axiom label in BFO2 Reference: [068-001]) http://purl.obolibrary.org/obo/BFO_0000082 located in at all times http://purl.obolibrary.org/obo/BFO_0000171 located in at some time b located_in c at t = Def. b and c are independent continuants, and the region at which b is located at t is a (proper or improper) continuant_part_of the region at which c is located at t. (axiom label in BFO2 Reference: [045-001]) http://purl.obolibrary.org/obo/BFO_0000107 disposition of at all times http://purl.obolibrary.org/obo/BFO_0000052 inheres in at all times a disposition_of b at t =Def. a is a disposition and a inheres_in b at t. (axiom label in BFO2 Reference: [066-001]) http://purl.obolibrary.org/obo/BFO_0000112 has disposition at some time http://purl.obolibrary.org/obo/BFO_0000053 bearer of at some time a has_disposition b at t =Def. b disposition_of a at t. (axiom label in BFO2 Reference: [069-001]) http://purl.obolibrary.org/obo/BFO_0000162 has disposition at all times http://purl.obolibrary.org/obo/BFO_0000158 bearer of at all times a has_disposition b at t =Def. b disposition_of a at t. (axiom label in BFO2 Reference: [069-001]) http://purl.obolibrary.org/obo/BFO_0000085 has function at some time http://purl.obolibrary.org/obo/BFO_0000053 bearer of at some time a has_function b at t =Def. b function_of a at t. (axiom label in BFO2 Reference: [070-001]) http://purl.obolibrary.org/obo/BFO_0000110 has continuant part at all times http://purl.obolibrary.org/obo/BFO_0000178 has continuant part at some time b has_continuant_part c at t = Def. c continuant_part_of b at t. (axiom label in BFO2 Reference: [006-001]) http://purl.obolibrary.org/obo/BFO_0000118 has proper occurrent part http://purl.obolibrary.org/obo/BFO_0000117 has occurrent part b has_proper_occurrent_part c = Def. c proper_occurrent_part_of b. [XXX-001 http://purl.obolibrary.org/obo/BFO_0000137 proper part of continuant at all times http://purl.obolibrary.org/obo/BFO_0000175 proper part of continuant at some time b proper_continuant_part_of c at t =Def. b continuant_part_of c at t & b and c are not identical. (axiom label in BFO2 Reference: [004-001]) http://purl.obolibrary.org/obo/BFO_0000174 has proper continuant part at some time http://purl.obolibrary.org/obo/BFO_0000178 has continuant part at some time [copied from inverse property 'proper part of continuant at some time'] b proper_continuant_part_of c at t =Def. b continuant_part_of c at t & b and c are not identical. (axiom label in BFO2 Reference: [004-001]) http://purl.obolibrary.org/obo/BFO_0000175 proper part of continuant at some time http://purl.obolibrary.org/obo/BFO_0000176 part of continuant at some time [copied from inverse property 'has proper continuant part at some time'] b has_proper_continuant_part c at t = Def. c proper_continuant_part_of b at t. [XXX-001 http://purl.obolibrary.org/obo/BFO_0000172 has member part at all times http://purl.obolibrary.org/obo/BFO_0000110 has continuant part at all times http://purl.obolibrary.org/obo/BFO_0000181 has proper temporal part http://purl.obolibrary.org/obo/BFO_0000118 has proper occurrent part http://purl.obolibrary.org/obo/BFO_0000170 has location at all times http://purl.obolibrary.org/obo/BFO_0000124 has location at some time http://purl.obolibrary.org/obo/BFO_0000136 proper temporal part of http://purl.obolibrary.org/obo/BFO_0000139 temporal part of http://purl.obolibrary.org/obo/BFO_0000159 has quality at all times http://purl.obolibrary.org/obo/BFO_0000158 bearer of at all times http://purl.obolibrary.org/obo/BFO_0000166 participates in at all times http://purl.obolibrary.org/obo/BFO_0000056 participates in at some time http://purl.obolibrary.org/obo/BFO_0000167 has participant at all times http://purl.obolibrary.org/obo/BFO_0000057 has participant at some time http://purl.obolibrary.org/obo/BFO_0000163 material basis of at all times http://purl.obolibrary.org/obo/BFO_0000127 material basis of at some time http://purl.obolibrary.org/obo/BFO_0000086 has quality at some time http://purl.obolibrary.org/obo/BFO_0000053 bearer of at some time http://purl.obolibrary.org/obo/BFO_0000168 has specific dependent at all times http://purl.obolibrary.org/obo/BFO_0000125 has specific dependent at some time http://purl.obolibrary.org/obo/BFO_0000070 specifically depends on at all times http://purl.obolibrary.org/obo/BFO_0000169 specifically depends on at some time http://purl.obolibrary.org/obo/BFO_0000165 concretized by at all times http://purl.obolibrary.org/obo/BFO_0000058 concretized by at some time http://purl.obolibrary.org/obo/BFO_0000164 concretizes at all times http://purl.obolibrary.org/obo/BFO_0000059 concretizes at some time http://purl.obolibrary.org/obo/BFO_0000154 temporal projection of spatiotemporal http://purl.obolibrary.org/obo/BFO_0000157 during which exists http://purl.obolibrary.org/obo/BFO_0000156 has temporal occupant http://purl.obolibrary.org/obo/BFO_0000157 during which exists http://purl.obolibrary.org/obo/BFO_0000153 projects onto temporal region http://purl.obolibrary.org/obo/BFO_0000108 exists at http://purl.obolibrary.org/obo/BFO_0000155 occupies temporal region http://purl.obolibrary.org/obo/BFO_0000108 exists at http://purl.obolibrary.org/obo/BFO_0000124 has location at some time [copied from inverse property 'located in at some time'] b located_in c at t = Def. b and c are independent continuants, and the region at which b is located at t is a (proper or improper) continuant_part_of the region at which c is located at t. (axiom label in BFO2 Reference: [045-001]) http://purl.obolibrary.org/obo/BFO_0000171 located in at some time b located_in c at t = Def. b and c are independent continuants, and the region at which b is located at t is a (proper or improper) continuant_part_of the region at which c is located at t. (axiom label in BFO2 Reference: [045-001]) http://purl.obolibrary.org/obo/BFO_0000067 contains process [copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t [XXX-001 http://purl.obolibrary.org/obo/BFO_0000117 has occurrent part b has_occurrent_part c = Def. c occurrent_part_of b. (axiom label in BFO2 Reference: [007-001]) http://purl.obolibrary.org/obo/BFO_0000066 occurs in b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t [XXX-001 http://purl.obolibrary.org/obo/BFO_0000132 part of occurrent [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]) http://purl.obolibrary.org/obo/BFO_0000176 part of continuant at some time [copied from inverse property 'has continuant part at some time'] b has_continuant_part c at t = Def. c continuant_part_of b at t. (axiom label in BFO2 Reference: [006-001]) http://purl.obolibrary.org/obo/BFO_0000178 has continuant part at some time b has_continuant_part c at t = Def. c continuant_part_of b at t. (axiom label in BFO2 Reference: [006-001]) http://purl.obolibrary.org/obo/BFO_0000051 has part has_part http://purl.obolibrary.org/obo/BFO_0000084 generically depends on at some time http://purl.obolibrary.org/obo/BFO_0000101 has generic dependent at some time http://purl.obolibrary.org/obo/BFO_0000126 has spatiotemporal occupant http://purl.obolibrary.org/obo/BFO_0000130 occupies spatiotemporal region http://purl.obolibrary.org/obo/BFO_0000151 projects onto spatial region at some time http://purl.obolibrary.org/obo/BFO_0000152 spatial projection of spatiotemporal at some time http://purl.obolibrary.org/obo/BFO_0000056 participates in at some time http://purl.obolibrary.org/obo/BFO_0000057 has participant at some time http://purl.obolibrary.org/obo/BFO_0000054 realized in http://purl.obolibrary.org/obo/BFO_0000055 realizes http://purl.obolibrary.org/obo/BFO_0000113 has material basis at all times http://purl.obolibrary.org/obo/BFO_0000127 material basis of at some time http://purl.obolibrary.org/obo/BFO_0000133 process profile of http://purl.obolibrary.org/obo/BFO_0000083 occupies spatial region at some time http://purl.obolibrary.org/obo/BFO_0000123 has spatial occupant at some time http://purl.obolibrary.org/obo/BFO_0000125 has specific dependent at some time http://purl.obolibrary.org/obo/BFO_0000119 has profile http://purl.obolibrary.org/obo/BFO_0000169 specifically depends on at some time http://purl.obolibrary.org/obo/BFO_0000058 concretized by at some time http://purl.obolibrary.org/obo/BFO_0000059 concretizes at some time http://purl.obolibrary.org/obo/BFO_0000157 during which exists http://purl.obolibrary.org/obo/BFO_0000108 exists at