is course of
type: ObjectProperty
type: FunctionalProperty
comment: relates a course to unique material entity
range: BFO_0000040
domain: course
sub property of: is segment of course of

general has part
type: ObjectProperty
type: TransitiveProperty
comment: A has part relation that can be applied to either occurrents or continuants. for occurrents it is the timeless has part and for continuants it is has permanent specific part
domain: Class
  union of: BFO_0000002
  union of: BFO_0000003
range: Class
  union of: BFO_0000002
  union of: BFO_0000003

general part of
type: ObjectProperty
type: TransitiveProperty
comment: A part of relation that can be applied to either occurrents or continuants. for occurrents it is the timeless part of and for continuants it is permanent part of specific
domain: Class
  union of: BFO_0000002
  union of: BFO_0000003
range: Class
  union of: BFO_0000002
  union of: BFO_0000003

has course
type: ObjectProperty
type: FunctionalProperty
comment: relates a material entity to it's unique course
domain: BFO_0000040
range: course
inverse of: is course of

has part at all times
type: ObjectProperty
type: TransitiveProperty
comment: c1 has part at all times c2 means forall(t) if exists(c1,t) then exists(c2,t) and part_of(c2,c1,t). This is known as permanent specific parthood in that the had part is the same particular throughout
sub property of: has part at some time
property chain axiom: general has part
property chain axiom: self c

has part at some time
type: ObjectProperty
comment: c1 has part at some time c2 means there is some t such that exists(c1,t) and exists(c2,t) and part_of(c2,c1,t)
property chain axiom: has part during
property chain axiom: is segment of course of
property chain axiom: is course of

has part during
type: ObjectProperty
IAO_0000116: Note that this relation has domain material entity since in order for this relation to be of use it needs to relate to a course segment, which only material entities have
comment: c1 has part during p2 means forall(t) if t is in the temporal projection of p2, and if instance_of(p2,course) and course_of(c2,p2) then part_of(c1,c2,t) or if segment_of_course_of(p2,p2c) and course_of(c2,p2c) then part_of(c1,c2,t)
comment: c1 has part during p2 means forall(t) if t is part of the temporal projection of p2, and if instance_of(p2,course) and course_of(c2,p2) then has_part(c1,c2,t) or if segment_of_course_of(p2,p2c) and course_of(c2,p2c) has_part(c1,c2,t)
domain: BFO_0000040
range: course segment
property chain axiom: has temporal part

has participant at some time
type: ObjectProperty
IAO_0000116: This corresponds to the quantification over time as was stated for the class relation definition in Relations in Biomedical Ontology A suitable target for participates_in relations in the OBO to OWL conversion
IAO_0000115: A relation between a process and a continuant where there exists some temporal region that is part of the temporal projection of the process at which the continant participates in the process.
IAO_0000118: has participant
range: BFO_0000002
domain: BFO_0000007

has proper part at all times
type: ObjectProperty
type: AsymmetricProperty
sub property of: has part at all times
property disjoint with: self c

has temporal part
type: ObjectProperty
type: TransitiveProperty
domain: BFO_0000003
range: BFO_0000003
property chain axiom: has part that is occurrent
property chain axiom: self t

has temporal qualification
type: ObjectProperty
domain: BFO_0000002
range: temporally qualified continuant

is segment of course
type: ObjectProperty
type: FunctionalProperty
comment: a is segment of course of b if a is a course segment and b is a course and a is a temporal part of b.
range: course
domain: course segment
sub property of: is temporal part of

has part that is occurrent
type: ObjectProperty
type: TransitiveProperty
comment: relates occurrent to their occurrent parts
inverse of: is part of occurrent
property chain axiom: general has part
property chain axiom: self o

Axiom
comment: occurrent parthood is transitive
annotated source: has part that is occurrent
annotated property: type
annotated target: TransitiveProperty

Axiom
comment: since occurrent parthood is atemporal, these are inverse
annotated source: has part that is occurrent
annotated target: is part of occurrent
annotated property: inverseOf

part of at all times
type: ObjectProperty
type: TransitiveProperty
comment: c1 part of at all times c2 means forall(t) if exists(c1,t) then exists(c2,t) and part_of(c1,c2,t). This is known as permanent specific parthood in that the had part is the same particular throughout
range: BFO_0000002
domain: BFO_0000002
sub property of: part of at some time
property chain axiom: general part of
property chain axiom: self c

part of at some time
type: ObjectProperty
comment: c1 part of at some time c2 means there is some t such that exists(c1,t) and exists(c2,t) and part_of(c1,c2,t)
range: BFO_0000002
domain: BFO_0000002
property chain axiom: part of during
property chain axiom: is course of
property chain axiom: is segment of course of

part of during
type: ObjectProperty
IAO_0000116: Note that this relation has domain material entity since in order for this relation to be of use it needs to relate to a course segment, which only material entities have
comment: c1 part of during p2 means forall(t) if t is part of the temporal projection of p2, and if instance_of(p2,course) and course_of(c2,p2) then part_of(c1,c2,t) or if segment_of_course_of(p2,p2c) and course_of(c2,p2c) then part_of(c1,c2,t)
domain: BFO_0000040
range: course segment
property chain axiom: has temporal part

is part of occurrent
type: ObjectProperty
type: TransitiveProperty
comment: relates occurrents to other occurrents that they are part of
range: BFO_0000003
domain: BFO_0000003
property chain axiom: general part of
property chain axiom: self o

Axiom
comment: since occurrent parthood is atemporal, these are inverse
annotated source: has part that is occurrent
annotated target: is part of occurrent
annotated property: inverseOf

Axiom
comment: occurrent parthood is transitive
annotated source: is part of occurrent
annotated property: type
annotated target: TransitiveProperty

participates in at some time
type: ObjectProperty
IAO_0000116: This corresponds to the quantification over time as was stated for the class relation definition in Relations in Biomedical Ontology A suitable target for participates_in relations in the OBO to OWL conversion
IAO_0000118: participates in
IAO_0000115: A relation between a continuant and a process where there exists some temporal region that is part of the temporal projection of the process at which the continant participates in the process.
domain: BFO_0000002
range: BFO_0000007
inverse of: has participant at some time

Axiom
IAO_0000116: bfo2 reference has independent continuant as domain but hopefull will change
annotated target: BFO_0000002
annotated source: participates in at some time
annotated property: domain

Axiom
IAO_0000116: bfo2 reference has occurrent as target but hopefull will change
annotated target: BFO_0000007
annotated source: participates in at some time
annotated property: range

is proper part of occurrent
type: ObjectProperty
sub property of: is part of occurrent
property disjoint with: self o

is segment of course of
type: ObjectProperty
type: FunctionalProperty
comment: relates a temporal part of a course to the unique material entity whose course the segment is temporal part of.
range: BFO_0000040
domain: course segment

self c
type: ObjectProperty
comment: A property that relates every continuant instance to itself
range: BFO_0000002
domain: BFO_0000002
sub property of: general has part
sub property of: general part of
sub property of: has part at all times
sub property of: part of at all times

Axiom
IAO_0000116: local reflexivity
annotated target: general has part
annotated source: self c
annotated property: subPropertyOf

Axiom
IAO_0000116: local reflexivity
annotated target: part of at all times
annotated source: self c
annotated property: subPropertyOf

Axiom
IAO_0000116: local reflexivity
annotated target: has part at all times
annotated source: self c
annotated property: subPropertyOf

Axiom
IAO_0000116: local reflexivity
annotated target: general part of
annotated source: self c
annotated property: subPropertyOf

self o
type: ObjectProperty
comment: A property that relates every occurent instance to itself
domain: BFO_0000003
range: BFO_0000003
sub property of: general has part
sub property of: general part of
sub property of: has temporal part
sub property of: has part that is occurrent
sub property of: is part of occurrent
sub property of: is temporal part of

Axiom
comment: enforce that self_o only relates occurrents
annotated target: BFO_0000003
annotated source: self o
annotated property: range

Axiom
comment: every occurrent is part of itself
annotated target: is part of occurrent
annotated source: self o
annotated property: subPropertyOf

Axiom
comment: every occurrent has part itself
annotated target: has part that is occurrent
annotated source: self o
annotated property: subPropertyOf

Axiom
IAO_0000116: local reflexivity
annotated target: general part of
annotated source: self o
annotated property: subPropertyOf

Axiom
comment: enforce that self_o only relates occurrents
annotated target: BFO_0000003
annotated source: self o
annotated property: domain

Axiom
IAO_0000116: local reflexivity
annotated target: general has part
annotated source: self o
annotated property: subPropertyOf

self p
type: ObjectProperty
comment: A property that relates every process instance to itself
domain: BFO_0000007
range: BFO_0000007

Axiom
comment: enforce that self_p only relates processes
annotated target: BFO_0000007
annotated source: self p
annotated property: range

Axiom
comment: enforce that self_p only relates processes
annotated target: BFO_0000007
annotated source: self p
annotated property: domain

self t
type: ObjectProperty
comment: A property that relates every temporal region to itself
range: BFO_0000008
domain: BFO_0000008

Axiom
comment: enforce that self_t only relates occurrents
annotated target: BFO_0000008
annotated source: self t
annotated property: range

Axiom
comment: enforce that self_t only relates occurrents
annotated target: BFO_0000008
annotated source: self t
annotated property: domain

is temporal part of
type: ObjectProperty
type: TransitiveProperty
comment: a is temporal part of b if a and b are occurrents, and there is no part of b that doesn't overlap a and occupies a temporal region that overlaps the temporal region of a.
domain: BFO_0000003
range: BFO_0000003
property chain axiom: is part of occurrent
property chain axiom: self t

is temporal qualification of
type: ObjectProperty
type: FunctionalProperty
range: BFO_0000002
domain: temporally qualified continuant

transformation of
type: ObjectProperty
domain: temporally qualified continuant
range: temporally qualified continuant

BFO_0000002
subclass of: Restriction
  on property: self c
  has self: true
subclass of: Restriction
  on property: general part of
  all values from: BFO_0000002

Axiom
comment: make it self loop
annotated source: BFO_0000002
annotated property: subClassOf
annotated target: Restriction
  on property: self c
  has self: true

BFO_0000003
subclass of: Restriction
  on property: self o
  has self: true
subclass of: Restriction
  on property: general part of
  all values from: BFO_0000003

Axiom
comment: make it loop
annotated source: BFO_0000003
annotated property: subClassOf
annotated target: Restriction
  on property: self o
  has self: true

BFO_0000007
subclass of: Restriction
  on property: self p
  has self: true
subclass of: Restriction
  on property: is part of occurrent
  all values from: BFO_0000007
subclass of: Restriction
  on property: has part that is occurrent
  all values from: BFO_0000007

Axiom
comment: make it loop
annotated source: BFO_0000007
annotated property: subClassOf
annotated target: Restriction
  on property: self p
  has self: true

BFO_0000008
subclass of: Restriction
  on property: has part that is occurrent
  all values from: BFO_0000008
subclass of: Restriction
  on property: is part of occurrent
  all values from: BFO_0000008
subclass of: Restriction
  on property: self t
  has self: true

Axiom
comment: make it loop
annotated source: BFO_0000008
annotated property: subClassOf
annotated target: Restriction
  on property: self t
  has self: true

course
type: Class
subclass of: course segment
subclass of: Restriction
  on property: has temporal part
  all values from: course segment
IAO_0000116: Another formulation of the definition: A course is the unique process associated with an independent continuant which the sum total of [fiat or bona fide] processes whose spatial projection at any time is part of the spatial region occupied by the independent continuant.
IAO_0000116: Sometimes called the life of an independent continuant, or the existence (process) of an independent continuant. The 1:1 relation has-course relates the continuant to the course. We do not extend courses to dependent continuants for now. Given the current definition and the BFO definition of qualities having the same spatial region as their bearers, this definition contradicts the 1:1 nature of the relation. Something may be done about this - there are several discussions occurring at the moment. We do believe that this mapping is 1:1. Options: otege1) Say something about the participation of the continuant in the processes of the course. Downside: might be hard to do. There is still disagreement on how to understand participation. 2) Reexamin BFO's definition of the spatial region of dependent continuants 3) Restrict course to be processes associated with material entities and look for another solution for dependent continuants ...
IAO_0000116: Should there be courses of populations (which can include progeny)? It seems yes, BUT, if we do that then we have a problem mapping course_of uniquely back to a continuant because: imagine first organism course. Part of that course would map to either the original or the population, ambiguously. So we have a potential problem with uniquely mapping course parts.
comment: At each moment a material entity is located in a spatial region. The stitching together of these across time amounts to a spatiotemporal region. The course of a material entity is the sum of all processes (fiat or bona fide) that are located in that spatiotemporal region. These processes may be wholly located, or may be parts of other processes cut so that the part's location is wholly located(so fiat). Each material entity is in a 1:1 correspondence with its course.

course segment
type: Class
equivalent class: Restriction
  on property: is temporal part of
  some values from: course
subclass of: BFO_0000007
comment: A temporal part of a course

temporally qualified continuant
type: Class
equivalent class: Restriction
  on property: is temporal qualification of
  some values from: BFO_0000002
subclass of: BFO_0000002
comment: A stage of a continuant is a representation of the continuant that allows for predication over a temporal interval. Although an OWL individual, it does not represent an additional BFO particular.
IAO_0000118: phase sortal