Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#3 add numeric IDs to spatial.obo relations

open
nobody
None
5
2013-06-13
2010-05-05
Melissa Haendel
No

Hi,
So we'd like to add numeric IDs to some of the relations in spatial.obo. Some of course, come from elsewhere, but perhaps this can be an incentive to have numeric IDs for all obo relations.

the ones without numeric IDs are shown below:
[Typedef]
id: finishes_axis
name: finishes_axis
comment: A directional axis can be divided by a plane. Following Allen Interval Algebra terminology we say that the side on which the axis initiates starts the axis, with the other side finishing the axis. If s finishes_axis x, and x has_end_point p, then x overlaps p
domain: BSPO:0000054 ! anatomical side
range: BSPO:0000010 ! anatomical axis

[Typedef]
id: follows_axis
name: follows_axis
range: BSPO:0000010 ! anatomical axis

[Typedef]
id: has_end_point
name: has_end_point
def: "A relation between an axis and a part of an organism, in which the part defines the initial point of the axis." [BSPO:cjm]
comment: Axes can be defined in a given species by subtyping the relevant axis type and stating a end and end point
domain: BSPO:0000010 ! anatomical axis
range: CARO:0000000 ! anatomical entity

[Typedef]
id: has_start_point
name: has_start_point
def: "A relation between an axis and a part of an organism, in which the part defines the initial point of the axis." [BSPO:cjm]
comment: Axes can be defined in a given species by subtyping the relevant axis type and stating a start and end point.
domain: BSPO:0000010 ! anatomical axis
range: CARO:0000000 ! anatomical entity

[Typedef]
id: opposite_to
name: opposite_to
def: "Direcly opposite to. i.e. on the opposite side through the axis." [BSPO:cjm]
is_a: BSPO:0000105 ! ipsilateral_to

[Typedef]
id: orthogonal_to
name: orthogonal_to
def: "crossing at right angles" [BSPO:cjm]
domain: BSPO:0000010 ! anatomical axis
range: BSPO:0000400 ! anatomical section

[Typedef]
id: overlaps
name: overlaps
def: "x overlaps y iff they have some part in common." [BSPO:cjm]
formula: "(forall (x y) (iff (overlaps x y) (exists (z) (and (part_of z x) (part_of z y)))))" CLIF []

[Typedef]
id: passes_through
name: passes_through
def: "Intersects at two points." [BSPO:cjm]
domain: BSPO:0000010 ! anatomical axis

[Typedef]
id: starts_axis
name: starts_axis
comment: A directional axis can be divided by a plane. Following Allen Interval Algebra terminology we say that the side on which the axis initiates starts the axis, with the other side finishing the axis. . If s starts_axis x, and x has_start_point p, then x overlaps p
domain: BSPO:0000054 ! anatomical side
range: BSPO:0000010 ! anatomical axis

[Typedef]
id: surface_of
name: surface_of
comment: placeholder. used for relation between anatomical surface and an anatomical side.
domain: BSPO:0000005 ! anatomical surface

Discussion