OBO Relations Ontology
type: Ontology
description: The OBO Relations Ontology (RO) is a collection of OWL relations (ObjectProperties) intended for use across a wide variety of biological ontologies.
source: ro
imports: annotations.owl
imports: core.owl
imports: temporal-intervals.owl
version IRI: ro.owl

never in taxon
type: AnnotationProperty
IAO_0000115: x never in taxon T if and only if T is a class, and x does not instantiate the class expression "in taxon some T". Note that this is a shortcut relation, and should be used as a hasValue restriction in OWL.
IAO_0000425: ?X DisjointWith RO_0002162 some ?Y
IAO_0000112: tooth SubClassOf 'never in taxon' value 'Aves'
IAO_0000117: Chris Mungall
IAO_0000119: PMID:17921072
IAO_0000119: PMID:20973947

in neural circuit with
type: ObjectProperty
type: TransitiveProperty
IAO_0000426: (forall (?x ?y) (iff (neural_circuit_path ?x ?y) (and ("neuron ; CL_0000540" ?x) ("neuron ; CL_0000540" ?y) (or (synapsed_by ?x ?y) (synapsed_to ?x ?y))))) (forall (...s ?x ?y ?z) (iff (neural_circuit_path ...s ?x ?y ?z) (and (neural_circuit_path ...s ?x ?y) ("neuron ; CL_0000540" ?z) (or (synapsed_by ?y ?z) (synapsed_to ?y ?z))))) (forall (?x ?y) (iff (in_neural_circuit_with ?x ?y) (exists (...s) (neural_circuit_path ?x ...s ?y))))
IAO_0000115: A relation that holds between two neurons connected directly via a synapse, or indirectly via a series of synaptically connected neurons.
IAO_0000117: David Osumi-Sutherland
IAO_0000114: pending final vetting
RO_0001900: RO_0001901

upstream in neural circuit with
type: ObjectProperty
type: TransitiveProperty
IAO_0000426: (forall (?x ?y) (iff (upstream_neural_circuit_path ?x ?y) (and ("neuron ; CL_0000540" ?x) ("neuron ; CL_0000540" ?y) (synapsed_to ?x ?y)))) (forall (...s ?x ?y ?z) (iff (upstream_neural_circuit_path ...s ?x ?y ?z ) (and (upstream_neural_circuit_path ...s ?x ?y) ("neuron ; CL_0000540" ?z) (synapsed_to ?y ?z)))) (forall (?x ?y) (iff (upstream_in_neural_circuit_with ?x ?y) (exists (...s) (upstream_neural_circuit_path ?x ...s ?y))))
IAO_0000115: A relation that holds between a neuron that is synapsed_to another neuron or a neuron that is connected indirectly to another by a chain of neurons, each synapsed_to the next.
IAO_0000117: David Osumi-Sutherland
IAO_0000114: pending final vetting
sub property of: in neural circuit with
RO_0001900: RO_0001901

downstream in neural circuit with
type: ObjectProperty
type: TransitiveProperty
IAO_0000426: (forall (?x ?y) (iff (downstream_neural_circuit_path ?x ?y) (and ("neuron ; CL_0000540" ?x) ("neuron ; CL_0000540" ?y) (synapsed_by ?x ?y)))) (forall (...s ?x ?y ?z) (iff (downstream_neural_circuit_path ...s ?x ?y ?z ) (and (downstream_neural_circuit_path ...s ?x ?y) ("neuron ; CL_0000540" ?z) (synapsed_by ?y ?z)))) (forall (?x ?y) (iff (downstream_in_neural_circuit_with ?x ?y) (exists (...s) (downstream_neural_circuit_path ?x ...s ?y))))
IAO_0000115: A relation that holds between a neuron that is synapsed_to another neuron or a neuron that is connected indirectly to another by a chain of neurons, each synapsed_to the next.
IAO_0000117: David Osumi-Sutherland
IAO_0000114: pending final vetting
sub property of: in neural circuit with
RO_0001900: RO_0001901

aligned with
type: ObjectProperty
type: TransitiveProperty
IAO_0000114: pending final vetting
RO_0001900: RO_0001901

encompasses
type: ObjectProperty
type: TransitiveProperty
IAO_0000118: di
comment: Previously had ID http://purl.obolibrary.org/obo/RO_0002124 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range.
sub property of: RO_0002088
inverse of: RO_0002092

has soma location
type: ObjectProperty
IAO_0000424: <http://purl.obolibrary.org/obo/BFO_0000051> some ( <http://purl.obolibrary.org/obo/GO_0043025> and <http://purl.obolibrary.org/obo/BFO_0000050> some ?Y)
IAO_0000115: Relation between a neuron and an anatomical structure that its soma is part of.
domain: neuron
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: overlaps
property chain axiom: BFO_0000050

fasciculates with
type: ObjectProperty
IAO_0000426: (forall (?x ?y) (iff (fasciculates_with ?x ?y) (exists (?nps ?npbs) (and ("neuron ; CL_0000540" ?x) ("neuron projection bundle ; CARO_0001001" ?y) ("neuron projection segment ; CARO_0001502" ?nps) ("neuron projection bundle segment ; CARO_0001500' " ?npbs) (part_of ?npbs ?y) (part_of ?nps ?x) (part_of ?nps ?npbs) (forall (?npbss) (if (and ("neuron projection bundle subsegment ; CARO_0001501" ?npbss) (part_of ?npbss ?npbs) ) (overlaps ?nps ?npbss) ))))))
IAO_0000118: fasciculates with
IAO_0000115: relationship between a neuron and a neuron projection bundle (e.g.- tract or nerve bundle) that one or more of its projections travels through.
range: neuron projection bundle
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: overlaps
domain: Class
  union of: neuron
  union of: Restriction
    on property: BFO_0000050
    some values from: neuron

axon synapses in
type: ObjectProperty
IAO_0000424: <http://purl.obolibrary.org/obo/BFO_0000051> some ( <http://purl.obolibrary.org/obo/GO_0030424> and <http://purl.obolibrary.org/obo/BFO_0000051> some ( <http://purl.obolibrary.org/obo/GO_0042734> and <http://purl.obolibrary.org/obo/BFO_0000050> some ( <http://purl.obolibrary.org/obo/GO_0045202> and <http://purl.obolibrary.org/obo/BFO_0000050> some ?Y)))
IAO_0000117: Chris Mungall
IAO_0000117: David Osumi-Sutherland
IAO_0000115: Relation between a neuron and some structure its axon forms (chemical) synapses in.
domain: neuron
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: has presynaptic terminal in
property chain axiom: BFO_0000050

synapsed by
type: ObjectProperty
IAO_0000424: <http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0045211> that part_of some (<http://purl.obolibrary.org/obo/GO_0045202> that has_part some (<http://purl.obolibrary.org/obo/GO_0042734> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)))
IAO_0000117: Chris Mungall
IAO_0000117: David Osumi-Sutherland
IAO_0000115: Relation between an anatomical structure (including cells) and a neuron that chemically synapses to it.
IAO_0000114: pending final vetting
sub property of: upstream in neural circuit with
RO_0001900: RO_0001901
inverse of: synapsed to
range: Class
  union of: neuron
  union of: Restriction
    on property: BFO_0000050
    some values from: neuron

has plasma membrane part
type: ObjectProperty
IAO_0000115: Holds between a cell c and a protein complex or protein p if and only if that cell has as part a plasma_membrane[GO:0005886], and that plasma membrane has p as part.
IAO_0000424: <http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0005886> and <http://purl.obolibrary.org/obo/BFO_0000051> some ?Y)
IAO_0000117: Chris Mungall
IAO_0000112: Every B cell[CL_0000236] has plasma membrane part some immunoglobulin complex[GO_0019814]
IAO_0000117: Lindsay Cowell
IAO_0000117: Alexander Diehl
IAO_0000119: PMID:19243617
sub property of: BFO_0000051
IAO_0000114: pending final vetting
RO_0001900: RO_0001901

synapsed_via_type_Ib_bouton_to
type: ObjectProperty
comment: Expands to: has_part some ('type Ib terminal button' that has_part some ('pre-synaptic membrane' that part_of some ('synapse' that has_part some ('post-synaptic membrane' that part_of some ?Y))))
IAO_0000117: Marta Costa
IAO_0000424: BFO_0000051 some (GO_0061176 that BFO_0000051 some (that BFO_0000051 some (GO_0045202 that BFO_0000051 some ( that BFO_0000050 some ?Y))))
IAO_0000117: David Osumi-Sutherland
IAO_0000115: A relation between a motor neuron and a muscle that it synapses to via a type Ib bouton.
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
inverse of: synapsed_by_via_type_Ib_bouton
sub property of: synapsed to

synapsed_via_type_Is_bouton_to
type: ObjectProperty
comment: Expands to: has_part some ('type Is terminal button' that has_part some ('pre-synaptic membrane' that part_of some ('synapse' that has_part some ('post-synaptic membrane' that part_of some ?Y))))
IAO_0000115: A relation between a motor neuron and a muscle that it synapses to via a type Is bouton.
IAO_0000424: BFO_0000051 some (GO_0061177 that BFO_0000051 some (that BFO_0000051 some (GO_0045202 that BFO_0000051 some ( that BFO_0000050 some ?Y))))
IAO_0000117: David Osumi-Sutherland
IAO_0000117: Marta Costa
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
inverse of: synapsed_by_via_type_Is_bouton
sub property of: synapsed to

synapsed_via_type_II_bouton_to
type: ObjectProperty
IAO_0000115: A relation between a motor neuron and a muscle that it synapses to via a type II bouton.
IAO_0000117: David Osumi-Sutherland
IAO_0000117: Marta Costa
comment: Expands to: has_part some ('type II terminal button' that has_part some ('pre-synaptic membrane' that part_of some ('synapse' that has_part some ('post-synaptic membrane' that part_of some ?Y))))
IAO_0000424: BFO_0000051 some (GO_0061175 that BFO_0000051 some (that BFO_0000051 some (GO_0045202 that BFO_0000051 some ( that BFO_0000050 some ?Y))))
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
inverse of: synapsed_by_via_type_II_bouton
sub property of: synapsed to

synapsed_by_via_type_II_bouton
type: ObjectProperty
comment: Expands to: has_part some ('presynaptic membrane' that part_of some ('synapse' that has_part some ('type II terminal button' that has_part some 'postsynaptic membrane' that part_of some ?Y)))))
IAO_0000115: Relation between a muscle and a motor neuron that synapses to it via a type II bouton.
IAO_0000117: David Osumi-Sutherland
IAO_0000117: Marta Costa
IAO_0000424: BFO_0000051 some (GO_0042734 that BFO_0000050 some (GO_0045202 that BFO_0000051 some (GO_0061174 that BFO_0000051 some GO_0045211 that BFO_0000050 some ?Y)))
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: synapsed by

synapsed_by_via_type_Ib_bouton
type: ObjectProperty
IAO_0000117: Marta Costa
IAO_0000115: Relation between a muscle and a motor neuron that synapses to it via a type Ib bouton.
comment: Expands to: has_part some ('presynaptic membrane' that part_of some ('synapse' that has_part some ('type Ib terminal button' that has_part some 'postsynaptic membrane' that part_of some ?Y)))))
IAO_0000117: David Osumi-Sutherland
IAO_0000424: BFO_0000051 some (GO_0042734 that BFO_0000050 some (GO_0045202 that BFO_0000051 some (GO_0061176 that BFO_0000051 some GO_0045211 that BFO_0000050 some ?Y)))
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: synapsed by

has postsynaptic terminal in
type: ObjectProperty
IAO_0000424: http://purl.obolibrary.org/obo/BFO_0000051 some ( http://purl.org/obo/owl/GO#GO_0045211 and http://purl.obolibrary.org/obo/BFO_0000050 some ( http://purl.org/obo/owl/GO#GO_0045202 and http://purl.obolibrary.org/obo/BFO_0000050 some ?Y))
IAO_0000117: Chris Mungall
IAO_0000117: David Osumi-Sutherland
IAO_0000115: Relation between a neuron and some structure (e.g.- a brain region) in which it receives (chemical) synaptic input.
IAO_0000118: synapsed in
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
inverse of: axon synapses in
sub property of: has synaptic terminal in
property chain axiom: BFO_0000050
domain: Class
  union of: neuron
  union of: Restriction
    on property: BFO_0000050
    some values from: neuron

releases neurotransmitter
type: ObjectProperty
IAO_0000114: pending final vetting
sub property of: topObjectProperty

synapsed_by_via_type_Is_bouton
type: ObjectProperty
IAO_0000424: BFO_0000051 some (GO_0042734 that BFO_0000050 some (GO_0045202 that BFO_0000051 some (GO_0061177 that BFO_0000051 some GO_0045211 that BFO_0000050 some ?Y)))
comment: Expands to: has_part some ('presynaptic membrane' that part_of some ('synapse' that has_part some ('type Is terminal button' that has_part some 'postsynaptic membrane' that part_of some ?Y)))))
IAO_0000117: David Osumi-Sutherland
IAO_0000117: Marta Costa
IAO_0000115: Relation between a muscle and a motor neuron that synapses to it via a type Is bouton.
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: synapsed by

has presynaptic terminal in
type: ObjectProperty
IAO_0000424: <http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0042734> that <http://purl.obolibrary.org/obo/BFO_0000050> some (<http://purl.obolibrary.org/obo/GO_0045202> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)
IAO_0000115: Relation between a neuron and some structure (e.g.- a brain region) in which it receives (chemical) synaptic input.
IAO_0000118: synapses in
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: has synaptic terminal in
domain: Class
  union of: neuron
  union of: Restriction
    on property: BFO_0000050
    some values from: neuron
property chain axiom: BFO_0000050

synapsed_via_type_III_bouton_to
type: ObjectProperty
comment: Expands to: has_part some ('type III terminal button' that has_part some ('pre-synaptic membrane' that part_of some ('synapse' that has_part some ('post-synaptic membrane' that part_of some ?Y))))
IAO_0000424: BFO_0000051 some (GO_0061177 that BFO_0000051 some (that BFO_0000051 some (GO_0097467 that BFO_0000051 some ( that BFO_0000050 some ?Y))))
IAO_0000115: A relation between a motor neuron and a muscle that it synapses to via a type III bouton.
RO_0001900: RO_0001901
inverse of: synapsed_by_via_type_III_bouton
sub property of: synapsed to

synapsed_by_via_type_III_bouton
type: ObjectProperty
IAO_0000424: BFO_0000051 some (GO_0042734 that BFO_0000050 some (GO_0045202 that BFO_0000051 some (GO_0097467 that BFO_0000051 some GO_0045211 that BFO_0000050 some ?Y)))
comment: Expands to: has_part some ('presynaptic membrane' that part_of some ('synapse' that has_part some ('type III terminal button' that has_part some 'postsynaptic membrane' that part_of some ?Y)))))
IAO_0000115: Relation between a muscle and a motor neuron that synapses to it via a type III bouton.
RO_0001900: RO_0001901
sub property of: synapsed by

synapsed to
type: ObjectProperty
IAO_0000424: <http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0042734> that part_of some (<http://purl.obolibrary.org/obo/GO_0045202> that <http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0045211> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)))
IAO_0000115: Relation between a neuron and an anatomical structure (including cells) that it chemically synapses to.
IAO_0000117: Chris Mungall
comment: N1 synapsed_to some N2 Expands to: N1 SubclassOf ( has_part some ( ‘pre-synaptic membrane ; GO:0042734’ that part_of some ( ‘synapse ; GO:0045202’ that has_part some ( ‘post-synaptic membrane ; GO:0045211’ that part_of some N2))))
IAO_0000117: David Osumi-Sutherland
IAO_0000114: pending final vetting
sub property of: downstream in neural circuit with
RO_0001900: RO_0001901
domain: Class
  union of: neuron
  union of: Restriction
    on property: BFO_0000050
    some values from: neuron

dendrite synapsed in
type: ObjectProperty
IAO_0000424: <http://purl.obolibrary.org/obo/BFO_0000051> some ( <http://purl.obolibrary.org/obo/GO_0030425> and <http://purl.obolibrary.org/obo/BFO_0000051> some ( http://purl.obolibrary.org/obo/GO_0042734 and <http://purl.obolibrary.org/obo/BFO_0000050> some ( <http://purl.obolibrary.org/obo/GO_0045202> and <http://purl.obolibrary.org/obo/BFO_0000050> some ?Y)))
IAO_0000117: Chris Mungall
IAO_0000117: David Osumi-Sutherland
IAO_0000115: Relation between a neuron and some structure (e.g.- a brain region) in which its dendrite receives synaptic input.
domain: neuron
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: has postsynaptic terminal in
property chain axiom: BFO_0000050

has synaptic terminal in
type: ObjectProperty
IAO_0000424: <http://purl.obolibrary.org/obo/RO_0002131> some (<http://purl.obolibrary.org/obo/GO_0045202> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)
IAO_0000117: David Osumi-Sutherland
IAO_0000118: has synapse in
IAO_0000115: A general relation between a neuron and some structure in which it either chemically synapses to some target or in which it receives (chemical) synaptic input.
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: overlaps
domain: Class
  union of: neuron
  union of: Restriction
    on property: BFO_0000050
    some values from: neuron
property chain axiom: BFO_0000050

overlaps
type: ObjectProperty
IAO_0000115: x overlaps y if and only if there exists some z such that x has part z and z part of y
IAO_0000424: http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: mereotopologically related to
property chain axiom: BFO_0000050
property chain axiom: BFO_0000051

has fasciculating neuron projection
type: ObjectProperty
IAO_0000426: (forall (?x ?y) (iff (has_fasciculating_neuron_projection ?x ?y) (exists (?nps ?npbs) (and ("neuron projection bundle ; CARO_0001001" ?x) ("neuron projection ; GO0043005" ?y) ("neuron projection segment ; CARO_0001502" ?nps) ("neuron projection bundle segment ; CARO_0001500" ?npbs) (part_of ?nps ?y) (part_of ?npbs ?x) (part_of ?nps ?npbs) (forall (?npbss) (if (and ("neuron projection bundle subsegment ; CARO_0001501" ?npbss) (part_of ?npbss ?npbs) ) (overlaps ?nps ?npbss) ))))))
IAO_0000117: David Osumi-Sutherland
IAO_0000115: The relation between a neuron projection bundle and a neuron projection that is fasciculated with it.
IAO_0000118: has fasciculating component
domain: neuron projection bundle
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
inverse of: fasciculates with
sub property of: overlaps
range: Class
  union of: neuron
  union of: Restriction
    on property: BFO_0000050
    some values from: neuron

innervates
type: ObjectProperty
IAO_0000424: <http://purl.obolibrary.org/obo/RO_0002132> some (<http://purl.obolibrary.org/obo/GO_0043005> that (<http://purl.obolibrary.org/obo/RO_0002131> some (<http://purl.obolibrary.org/obo/GO_0045202> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)))
IAO_0000117: David Osumi-Sutherland
IAO_0000115: Relation between a 'neuron projection bundle' and a region in which one or more of its component neuron projections either synapses to targets or receives synaptic input. T innervates some R Expands_to: T has_fasciculating_neuron_projection that synapse_in some R.
domain: neuron projection bundle
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: topObjectProperty
property chain axiom: BFO_0000050

connected to
type: ObjectProperty
IAO_0000117: David Osumi-Sutherland
IAO_0000115: X connected_to Y if and only if X and Y share a fiat boundary.
IAO_0000232: Consider relabeling this to "continuous with" (FMA:85972). The standard notion of connectedness does not imply shared boundaries - e.g. Glasgow connected_to Edinburgh via M8; my patella connected_to my femur (via patellar-femoral joint)
domain: BFO_0000004
range: BFO_0000004
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: mereotopologically related to

proper overlaps
type: ObjectProperty
IAO_0000426: (forall (?x ?y) (iff (proper_overlaps ?x ?y) (and (overlaps ?x ?y) (not (part_of ?x ?y)) (not (part_of ?y ?x)))))
IAO_0000118: partially overlaps
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: overlaps

derived by descent from
type: ObjectProperty
type: TransitiveProperty
IAO_0000118: ancestral_stucture_of
IAO_0000115: d derived_by_descent_from a if d is specified by some genetic program that is sequence-inherited-from a genetic program that specifies a.
IAO_0000118: evolutionarily_descended_from
IAO_0000114: pending final vetting
inverse of: has derived by descendant
sub property of: evolutionarily related to

has derived by descendant
type: ObjectProperty
type: TransitiveProperty
IAO_0000114: pending final vetting
sub property of: evolutionarily related to

shares ancestor with
type: ObjectProperty
type: SymmetricProperty
type: TransitiveProperty
comment: VBO calls this homologous_to
IAO_0000115: two individual entities d1 and d2 stand in a shares_ancestor_with relation if and only if there exists some a such that d1 derived_by_descent_from a and d2 derived_by_descent_from a.
IAO_0000114: pending final vetting
sub property of: evolutionarily related to
property chain axiom: derived by descent from
property chain axiom: has derived by descendant

serially homologous to
type: ObjectProperty
type: SymmetricProperty
type: TransitiveProperty
IAO_0000114: pending final vetting
sub property of: evolutionarily related to

only in taxon
type: ObjectProperty
IAO_0000112: lactation SubClassOf 'only in taxon' some 'Mammalia'
IAO_0000117: Chris Mungall
IAO_0000119: PMID:17921072
IAO_0000119: PMID:20973947
IAO_0000116: The original intent was to treat this as a macro that expands to 'in taxon' only ?Y - however, this is not necessary if we instead have supplemental axioms that state that each pair of sibling tax have a disjointness axiom using the 'in taxon' property - e.g. 'in taxon' some Eukaryota DisjointWith 'in taxon' some Eubacteria
IAO_0000115: x only in taxon y if and only if x is in taxon y, and there is no other organism z such that y!=z a and x is in taxon z.
IAO_0000114: pending final vetting
sub property of: in taxon

in taxon
type: ObjectProperty
comment: Connects a biological entity to its taxon of origin.
IAO_0000117: Chris Mungall
IAO_0000115: x is in taxon y if an only if y is an organism, and the relationship between x and y is one of: part of (reflexive), developmentally preceded by, derives from, secreted by, expressed.
IAO_0000117: Jennifer Deegan
IAO_0000119: PMID:17921072
IAO_0000119: PMID:20973947
domain: BFO_0000001
range: BFO_0000004
IAO_0000114: pending final vetting
sub property of: evolutionarily related to
property chain axiom: actively participates in
property chain axiom: has prototype
property chain axiom: expressed in
property chain axiom: BFO_0000050
property chain axiom: capable of
property chain axiom: BFO_0000051

spatially disjoint from
type: ObjectProperty
IAO_0000115: A is spatially_disjoint_from B if and only if they have no parts in common
IAO_0000424: BFO_0000051 exactly 0 (BFO_0000050 some ?Y)
IAO_0000117: Chris Mungall
IAO_0000116: There are two ways to encode this as a shortcut relation. The other possibility to use an annotation assertion between two classes, and expand this to a disjointness axiom.
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: mereotopologically related to

has component
type: ObjectProperty
comment: For use in recording has_part with a cardinality constraint.
sub property of: BFO_0000051
IAO_0000114: pending final vetting
RO_0001900: RO_0001901

has phenotype
type: ObjectProperty
IAO_0000117: Chris Mungall
IAO_0000119: PMID:20971987
IAO_0000117: Robert Hoehndorf
domain: BFO_0000002
IAO_0000114: pending final vetting
sub property of: topObjectProperty

phenotype of
type: ObjectProperty
type: FunctionalProperty
IAO_0000117: Chris Mungall
IAO_0000119: PMID:20971987
IAO_0000117: Robert Hoehndorf
IAO_0000114: pending final vetting
inverse of: has phenotype
sub property of: topObjectProperty

develops from
type: ObjectProperty
type: TransitiveProperty
IAO_0000115: x develops from y if and only if either (a) x directly develops from y or (b) there exists some z such that x directly develops from z and z develops from y
comment: This is the transitive form of the develops from relation
IAO_0000117: Chris Mungall
IAO_0000117: David Osumi-Sutherland
IAO_0000117: Melissa Haendel
IAO_0000117: Terry Meehan
range: BFO_0000004
domain: BFO_0000004
IAO_0000114: pending final vetting
sub property of: developmentally preceded by

develops into
type: ObjectProperty
type: TransitiveProperty
IAO_0000117: Chris Mungall
IAO_0000117: David Osumi-Sutherland
IAO_0000117: Terry Meehan
IAO_0000114: pending final vetting
inverse of: develops from
sub property of: developmentally succeeded by

gene product of
type: ObjectProperty
IAO_0000115: definition "x has gene product of y if and only if y is a gene (SO:0000704) that participates in some gene expression process (GO:0010467) where the output of that process is either y or something that is ribosomally translated from x"
IAO_0000117: Chris Mungall
range: BFO_0000002
domain: BFO_0000004
IAO_0000114: pending final vetting
sub property of: genomically related to

has gene product
type: ObjectProperty
IAO_0000112: every sonic hedgehog protein (PR:000014841) is the gene product of some sonic hedgehog gene
IAO_0000115: x has gene product y if and only if x is a gene (SO:0000704) that participates in some gene expression process (GO:0010467) where the output of that process is either y or something that is ribosomally translated from y
IAO_0000117: Chris Mungall
IAO_0000112: every HOTAIR lncRNA is the gene product of some HOXC gene
domain: BFO_0000002
range: BFO_0000004
IAO_0000114: pending final vetting
inverse of: gene product of
sub property of: genomically related to

expressed in
type: ObjectProperty
IAO_0000112: 'neural crest cell' SubClassOf expresses some 'Wnt1 gene'
IAO_0000115: x expressed in y if and only if there is a gene expression process (GO:0010467) that occurs in y, and one of the following holds: (i) x is a gene, and x is transcribed into a transcript as part of the gene expression process (ii) x is a transcript, and the transcription of x is part of the gene expression process (iii) x is a mature gene product such as a protein, and x was translated or otherwise processes from a transcript that was transcribed as part of this gene expression process
IAO_0000117: Chris Mungall
domain: BFO_0000002
range: BFO_0000004
IAO_0000114: pending final vetting
sub property of: genomically related to
property chain axiom: BFO_0000050

directly develops from
type: ObjectProperty
IAO_0000119: FBbt
IAO_0000117: Chris Mungall
IAO_0000115: Candidate definition: x directly_develops from y if and only if there exists some developmental process (GO:0032502) p such that x and y both participates in p, and x is the output of p and y is the input of p, and a substantial portion of the matter of y comes from x, and the start of x is coincident with or after the end of y
IAO_0000117: has developmental precursor
comment: TODO - add child relations from DOS
IAO_0000117: David Osumi-Sutherland
IAO_0000114: pending final vetting
sub property of: develops from
range: Class
  union of: multicellular anatomical structure
  union of: cell
domain: Class
  union of: multicellular anatomical structure
  union of: cell

directly develops into
type: ObjectProperty
IAO_0000118: developmental precursor of
IAO_0000114: pending final vetting
sub property of: develops into
inverse of: directly develops from

regulates
type: ObjectProperty
IAO_0000119: GO
IAO_0000117: David Hill
IAO_0000117: Chris Mungall
IAO_0000115: x regulates y if and only if x is a process and y is either a process or a quality, and the progression of x exerts an effect on the frequency, rate or exteny of y
IAO_0000117: Tanya Berardini
domain: BFO_0000007
IAO_0000114: pending final vetting
sub property of: functionally related to
property chain axiom: RO_0002230
property chain axiom: BFO_0000050

negatively regulates
type: ObjectProperty
IAO_0000115: x negatively regulates y if and only if x is a process and y is either a process or a quality, and the progression of x reduces the frequency, rate or exteny of y
IAO_0000114: pending final vetting
sub property of: regulates
property chain axiom: RO_0002230

positively regulates
type: ObjectProperty
IAO_0000115: x negatively regulates y if and only if x is a process and y is either a process or a quality, and the progression of x increases the frequency, rate or exteny of y
IAO_0000114: pending final vetting
sub property of: regulates
property chain axiom: RO_0002230

has prototype
type: ObjectProperty
IAO_0000112: 'human p53 protein' SubClassOf some ('has prototype' some ('participates in' some 'DNA repair'))
IAO_0000232: Experimental. In future there may be a formalization in which this relation is treated as a shortcut to some modal logic axiom. We may decide to obsolete this and adopt a more specific evolutionary relationship (e.g. evolved from)
IAO_0000115: x has prototype y if and only if x is an instance of C and y is a prototypical instance of C. For example, every instance of heart, both normal and abnormal is related by the has prototype relation to some instance of a "canonical" heart, which participates in blood circulation.
IAO_0000112: heart SubClassOf 'has prototype' some ('participates in' some 'blood circulation')
IAO_0000117: Chris Mungall
domain: BFO_0000002
range: BFO_0000002
IAO_0000114: pending final vetting

capable of
type: ObjectProperty
IAO_0000115: A relation between a material entity (such as a cell) and a process, in which the material entity has the ability to carry out the process.
IAO_0000232: For compatibility with BFO, this relation has a shortcut definition in which the expression "capable of some P" expands to "bearer_of (some realized_by only P)".
IAO_0000119: PMID:21208450
IAO_0000118: has function realized in
IAO_0000112: mechanosensory neuron capable of detection of mechanical stimulus involved in sensory perception (GO:0050974)
IAO_0000112: osteoclast SubClassOf 'capable of' some 'bone resorption'
IAO_0000119: PMID:20123131
IAO_0000117: Chris Mungall
IAO_0000424: BFO_0000053 some (BFO_0000054 only ?Y)
domain: BFO_0000004
range: BFO_0000007
IAO_0000114: pending final vetting
sub property of: functionally related to
property chain axiom: has prototype
property chain axiom: actively participates in

has function in
type: ObjectProperty
IAO_0000117: Chris Mungall
IAO_0000424: BFO_0000053 some (BFO_0000054 only (BFO_0000050 some ?Y))
IAO_0000118: capable of part of
IAO_0000115: c stands in this relationship to p if and only if there exists some p' such that c is capable_of p', and p' is part_of p.
IAO_0000114: pending final vetting
sub property of: functionally related to
property chain axiom: capable of
property chain axiom: BFO_0000050

actively participates in
type: ObjectProperty
IAO_0000115: x actively participates in y if and only if x participates in y and x realizes some active role
IAO_0000118: agent in
IAO_0000114: pending final vetting
sub property of: RO_0000056
inverse of: has active participant

has active participant
type: ObjectProperty
IAO_0000115: x has participant y if and only if x realizes some active role that inheres in y
IAO_0000118: has agent
IAO_0000114: pending final vetting
sub property of: RO_0000057

surrounded by
type: ObjectProperty
IAO_0000115: x surrounded_by y if and only if x is adjacent to y and for every region r that is adjacent to x, r overlaps y
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: adjacent to

adjacent to
type: ObjectProperty
IAO_0000115: x adjacent to y if and only if x and y share a boundary
comment: TODO: replaced by BFO_0001008
IAO_0000116: belongs in BFO?
domain: BFO_0000004
range: BFO_0000004
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
sub property of: spatially disjoint from

surrounds
type: ObjectProperty
IAO_0000114: pending final vetting
RO_0001900: RO_0001901
inverse of: surrounded by
sub property of: adjacent to

develops from part of
type: ObjectProperty
IAO_0000115: x develops from part of y if and only if there exists some z such that x develops from z and z is part of y
IAO_0000114: pending final vetting
sub property of: develops from
property chain axiom: directly develops from
property chain axiom: BFO_0000050

develops in
type: ObjectProperty
IAO_0000119: EHDAA2
IAO_0000115: x develops_in y if x is located in y whilst x is developing
IAO_0000116: todo - bring in containment relation from BFO
IAO_0000114: pending final vetting
sub property of: developmentally preceded by

has start location
type: ObjectProperty
IAO_0000115: x 'has starts location' y if and only if there exists some process z such that x 'starts with' z and z 'occurs in' y
IAO_0000114: pending final vetting
property chain axiom: RO_0002224
property chain axiom: BFO_0000066

has end location
type: ObjectProperty
IAO_0000115: x 'has end location' y if and only if there exists some process z such that x 'ends with' z and z 'occurs in' y
IAO_0000114: pending final vetting
property chain axiom: RO_0002230
property chain axiom: BFO_0000066

has input
type: ObjectProperty
IAO_0000114: pending final vetting
sub property of: RO_0000057

has output
type: ObjectProperty
IAO_0000114: pending final vetting
sub property of: RO_0000057

has developmental contribution from
type: ObjectProperty
IAO_0000112: Mammalian thymus has developmental contribution from some pharyngeal pouch 3; Mammalian thymus has developmental contribution from some pharyngeal pouch 4 [Kardong]
IAO_0000114: pending final vetting
sub property of: developmentally preceded by
property chain axiom: BFO_0000051
property chain axiom: develops from

developmentally contributes to
type: ObjectProperty
IAO_0000114: pending final vetting
inverse of: has developmental contribution from
sub property of: developmentally succeeded by

developmentally induced by
type: ObjectProperty
IAO_0000117: David Osumi-Sutherland
IAO_0000117: Chris Mungall
IAO_0000117: Melissa Haendel
IAO_0000118: induced by
IAO_0000119: GO:0001759
IAO_0000119: Developmental Biology, Gilbert, 8th edition, figure 6.5(F)
IAO_0000115: t1 induced_by t2 if there is a process of developmental induction (GO:0031128) with t1 and t2 as interacting participants. t2 causes t1 to change its fate from a precursor anatomical structure type T to T', where T' develops_from T
IAO_0000232: We place this under 'developmentally preceded by'. This placement should be examined in the context of reciprocal inductions[cjm]
IAO_0000114: pending final vetting
sub property of: developmentally preceded by

developmentally induces
type: ObjectProperty
IAO_0000114: pending final vetting
inverse of: developmentally induced by
sub property of: developmentally succeeded by

developmentally preceded by
type: ObjectProperty
comment: This relation groups together various other developmental relations. It is fairly generic, encompassing induction, developmental contribution and direct and transitive develops from
IAO_0000232: In general you should not use this relation to make assertions - use one of the more specific relations below this one
IAO_0000115: Candidate definition: x developmentally related to y if and only if there exists some developmental process (GO:0032502) p such that x and y both participates in p, and x is the output of p and y is the input of p
IAO_0000114: pending final vetting
sub property of: developmentally related to

developmentally replaces
type: ObjectProperty
IAO_0000118: replaces
IAO_0000115: x developmentally replaces y if and only if there is some developmental process that causes x to move or to cease to exist, and for the site that was occupied by x to become occupied by y, where y either comes into existence in this site or moves to this site from somewhere else
IAO_0000117: Chris Mungall
IAO_0000114: pending final vetting
sub property of: developmentally preceded by

developmentally succeeded by
type: ObjectProperty
IAO_0000115: Inverse of developmentally preceded by
IAO_0000114: pending final vetting
inverse of: developmentally preceded by
sub property of: developmentally related to

part of developmental precursor of
type: ObjectProperty
IAO_0000112: 'hypopharyngeal eminence' SubClassOf 'part of precursor of' some tongue
IAO_0000114: pending final vetting
sub property of: developmentally succeeded by
property chain axiom: BFO_0000050
property chain axiom: directly develops into

ubiquitously expressed in
type: ObjectProperty
IAO_0000115: x is ubiquitously expressed in y if and only if x is expressed in y, and the majority of cells in y express x
IAO_0000116: Revisit this term after coordinating with SO/SOM. The domain of this relation should be a sequence, as an instance of a DNA molecule is only expressed in the cell of which it is a part.
IAO_0000114: pending final vetting
sub property of: expressed in

expresses
type: ObjectProperty
IAO_0000115: Inverse of 'expressed in'
IAO_0000114: pending final vetting
inverse of: expressed in
sub property of: genomically related to

ubiquitously expresses
type: ObjectProperty
IAO_0000114: pending final vetting
inverse of: ubiquitously expressed in
sub property of: expresses

results in developmental progression of
type: ObjectProperty
shorthand: results_in_developmental_progression_of
IAO_0000116: This property and its subproperties are being used primarily for the definition of GO developmental processes. The property hierarchy mirrors the core GO hierarchy. In future we may be able to make do with a more minimal set of properties, but due to the way GO is currently structured we require highly specific relations to avoid incorrect entailments. To avoid this, the corresponding genus terms in GO should be declared mutually disjoint.
domain: BFO_0000007
range: anatomical structure
IAO_0000114: pending final vetting
sub property of: developmentally related to

results in development of
type: ObjectProperty
IAO_0000119: http://www.geneontology.org/GO.doc.development.shtml#fate
shorthand: results_in_development_of
IAO_0000112: every flower development (GO:0009908) results in development of some flower (PO:0009046)
IAO_0000114: pending final vetting
sub property of: results in developmental progression of

results in formation of
type: ObjectProperty
shorthand: results_in_formation_of
IAO_0000115: The relationship linking a cell and its participation in a process that results in the transition of a cell such that is can only develop into a single cell type when left in its environment.
IAO_0000112: an annotation of gene X to anatomical structure formation with results_in_formation_of UBERON:0000007 (pituitary gland) means that at the beginning of the process a pituitary gland does not exist and at the end of the process a pituitary gland exists.
IAO_0000119: GOC:mtg_berkeley_2013
IAO_0000112: every "endocardial cushion formation" (GO:0003272) results_in_formation_of some "endocardial cushion" (UBERON:0002062)
IAO_0000118: has product
IAO_0000114: pending final vetting
sub property of: has output
sub property of: results in developmental progression of

Axiom
annotated target: has product
IAO_0000116: from SIO
annotated property: IAO_0000118
annotated source: results in formation of

results in morphogenesis of
type: ObjectProperty
shorthand: results_in_morphogenesis_of
IAO_0000119: GOC:mtg_berkeley_2013
IAO_0000115: The relationship that links an entity with the process that results in the formation and shaping of that entity over time from an immature to a mature state.
IAO_0000112: an annotation of gene X to cell morphogenesis with results_in_morphogenesis_of CL:0000540 (neuron) means that at the end of the process an input neuron has attained its shape.
IAO_0000112: tongue morphogenesis (GO:0043587) results in morphogenesis of tongue (UBERON:0001723)
IAO_0000114: pending final vetting
sub property of: results in developmental progression of

results in maturation of
type: ObjectProperty
shorthand: results_in_maturation_of
IAO_0000119: GOC:mtg_berkeley_2013
IAO_0000115: The relationship that links an entity with a process that results in the progression of the entity over time that is independent of changes in it's shape and results in an end point state of that entity.
IAO_0000112: an annotation of gene X to cell maturation with results_in_maturation_of CL:0000057 (fibroblast) means that the fibroblast is mature at the end of the process
IAO_0000112: bone maturation (GO:0070977) results_in_developmental_progression_of bone (UBERON:0001474)
IAO_0000114: pending final vetting
sub property of: results in developmental progression of

results in disappearance of
type: ObjectProperty
shorthand: results_in_disappearance_of
IAO_0000112: foramen ovale closure SubClassOf results in disappearance of foramen ovale
IAO_0000114: pending final vetting
sub property of: results in developmental progression of

results in regression of
type: ObjectProperty
shorthand: results_in_regression_of
IAO_0000112: every mullerian duct regression (GO:0001880) results in regression of some mullerian duct (UBERON:0003890)
IAO_0000114: pending final vetting
sub property of: results in developmental progression of

has habitat
type: ObjectProperty
IAO_0000118: adapted for living in
IAO_0000115: x 'has habitat' y if and only if: x is an organism, y is a habitat, and x is specially adapted (either naturally or via artifical selection) to living in y. Here 'living in' encompasses the majority of the animal's lifespan.
IAO_0000112: Hydrozoa (NCBITaxon_6074) SubClassOf 'has habitat' some 'marine environment' (ENVO_00000569) -- http://eol.org/pages/1795/overview
domain: material anatomical entity
range: habitat
IAO_0000114: pending final vetting
sub property of: ecologically related to

variant of
type: ObjectProperty
sub property of: evolutionarily related to

transports or maintains localization of
type: ObjectProperty
IAO_0000117: Chris Mungall
IAO_0000118: regulates location of
IAO_0000115: Holds between p and c when p is a transportation or localization process and the outcome of this process is to regulate the location of c
sub property of: related via localization to

inheres in part of
type: ObjectProperty
RO_0001900: RO_0001901
property chain axiom: RO_0000052
property chain axiom: BFO_0000050

results in acquisition of features of
type: ObjectProperty
shorthand: results_in_acquisition_of_features_of
IAO_0000119: GOC:mtg_berkeley_2013
IAO_0000112: an annotation of gene X to cell differentiation with results_in_maturation_of CL:0000057 (fibroblast) means that at the end of the process the input cell that did not have features of a fibroblast, now has the features of a fibroblast.
IAO_0000115: The relationship that links a specified entity with the process that results in an unspecified entity acquiring the features and characteristics of the specified entity
range: cell
sub property of: results in developmental progression of

evolutionarily related to
type: ObjectProperty
IAO_0000115: A relationship that holds via some environmental process
IAO_0000117: Chris Mungall

ecologically related to
type: ObjectProperty
IAO_0000117: Chris Mungall
IAO_0000115: A relationship that is mediated in some way by the environment or environmental feature (ENVO:00002297)

confers advantage in
type: ObjectProperty
IAO_0000118: adapted for
IAO_0000117: Chris Mungall
IAO_0000116: An experimental relation currently used to connect a feature possessed by an organism (e.g. anatomical structure, biological process, phenotype or quality) to a habitat or environment in which that feature is well suited, adapted or provides a reproductive advantage for the organism. For example, fins to an aquatic environment. Usually this will mean that the structure is adapted for this environment, but we avoid saying this directly - primitive forms of the structure may not have evolved specifically for that environment (for example, early wings were not necessarily adapted for an aerial environment). Note also that this is a statement about the general class of structures - not every instance of a limb need confer an advantage for a terrestrial environment, e.g. if the limb is vestigial.
sub property of: ecologically related to

mereotopologically related to
type: ObjectProperty
IAO_0000117: Chris Mungall
IAO_0000115: A mereological relationship or a topological relationship
RO_0001900: RO_0001901

developmentally related to
type: ObjectProperty
IAO_0000232: A relationship that holds via some developmental process (GO:0032502)
IAO_0000117: Chris Mungall

colocalizes_with
type: ObjectProperty
IAO_0000119: http://www.geneontology.org/GO.annotation.conventions.shtml#colocalizes_with
creator: Gene Ontology Consortium
IAO_0000112: Clp1p relocalizes from the nucleolus to the spindle and site of cell division; i.e. it is associated transiently with the spindle pole body and the contractile ring (evidence from GFP fusion). Clp1p colocalizes_with spindle pole body (GO:0005816) and contractile ring (GO:0005826)
IAO_0000232: In the context of the Gene Ontology, colocalizes_with may be used for annotating to cellular component terms[GO]
IAO_0000115: a colocalizes_with b if and only if a is transiently or peripherally associated with b[GO].
sub property of: mereotopologically related to

contributes_to
type: ObjectProperty
IAO_0000119: http://www.geneontology.org/GO.annotation.conventions.shtml#contributes_to
IAO_0000112: eIF2: has three subunits (alpha, beta, gamma); one binds GTP; one binds RNA; the whole complex binds the ribosome (all three subunits are required for ribosome binding). So one subunit is annotated to GTP binding and one to RNA binding without qualifiers, and all three stand in the contributes_to relationship to "ribosome binding". And all three are part_of an eIF2 complex
IAO_0000112: Subunits of nuclear RNA polymerases: none of the individual subunits have RNA polymerase activity, yet all of these subunits contribute_to DNA-dependent RNA polymerase activity.
IAO_0000112: ATP citrate lyase (ACL) in Arabidopsis: it is a heterooctamer, composed of two types of subunits, ACLA and ACLB in a A(4)B(4) stoichiometry. Neither of the subunits expressed alone give ACL activity, but co-expression results in ACL activity. Both subunits contribute_to the ATP citrate lyase activity.
IAO_0000232: In the context of the Gene Ontology, contributes_to may be used only with classes from the molecular function ontology.
IAO_0000116: We would like to say if and only if exists c', p' c part_of c' and c' capable_of p and c capable_of p' and p' part_of p then c ontributes_to p However, this is not possible in OWL. We instead make this relation a sub-relation of the two chains, which gives us the inference in the one direction.
sub property of: has function in
sub property of: part of structure that is capable of

enables
type: ObjectProperty
IAO_0000112: akt-2 enables protein kinase activity
IAO_0000118: catalyzes
IAO_0000118: has
IAO_0000232: This relation is currently used experimentally by the Gene Ontology Consortium. It may not be stable and may be obsoleted at some future time.
sub property of: capable of

Axiom
contributor: http://www.arabidopsis.org/
annotated target: enables
annotated source: enables
annotated property: label

functionally related to
type: ObjectProperty
IAO_0000232: This is a grouping relation that collects relations used for the purpose of connecting structure and function
IAO_0000117: Chris Mungall

part of structure that is capable of
type: ObjectProperty
IAO_0000115: this relation holds between c and p when c is part of some c', and c' is capable of p.
sub property of: functionally related to
property chain axiom: BFO_0000050
property chain axiom: capable of

genomically related to
type: ObjectProperty
IAO_0000115: holds between two entities when some genome-level process such as gene expression is involved. This includes transcriptional, spliceosomal events.

involved in
type: ObjectProperty
sub property of: functionally related to

regulates levels of
type: ObjectProperty
IAO_0000112: every cellular sphingolipid homeostasis process regulates_level_of some sphingolipid
sub property of: functionally related to

enabled_by
type: ObjectProperty
inverse of: enables
sub property of: functionally related to
sub property of:
  inverse of: capable of

regulated by
type: ObjectProperty
inverse of: regulates
sub property of: functionally related to

negatively regulated by
type: ObjectProperty
inverse of: negatively regulates
sub property of: regulated by

positively regulated by
type: ObjectProperty
inverse of: positively regulates
sub property of: regulated by

related via localization to
type: ObjectProperty
IAO_0000115: A relationship that holds via some process of localization
IAO_0000117: Chris Mungall
range: BFO_0000002
domain: BFO_0000007

has target start location
type: ObjectProperty
IAO_0000117: Chris Mungall
IAO_0000115: This relationship holds between p and l when p is a transport or localization process in which the outcome is to move some cargo c from some initial location l to some destination.
sub property of: results in transport to from or in

has target end location
type: ObjectProperty
IAO_0000115: This relationship holds between p and l when p is a transport or localization process in which the outcome is to move some cargo c from a an initial location to some destination l.
IAO_0000117: Chris Mungall
sub property of: results in transport to from or in

imports
type: ObjectProperty
IAO_0000117: Chris Mungall
IAO_0000115: Holds between p and c when p is a transportation or localization process and the outcome of this process is to move c to a destination that is part of some s, where the start location of c is part of the region that surrounds s.
sub property of: transports or maintains localization of

results in transport along
type: ObjectProperty
IAO_0000115: Holds between p and l when p is a transportation or localization process and the outcome of this process is to move c from one location to another, and the route taken by c follows a path that is aligned_with l
IAO_0000117: Chris Mungall
sub property of: related via localization to

results in transport across
type: ObjectProperty
IAO_0000115: Holds between p and m when p is a transportation or localization process and the outcome of this process is to move c from one location to another, and the route taken by c follows a path that crosses m.
sub property of: results in transport to from or in

results in growth of
type: ObjectProperty
IAO_0000112: 'pollen tube growth' results_in growth_of some 'pollen tube'
sub property of: results in developmental progression of

results in transport to from or in
type: ObjectProperty
IAO_0000112: 'mitochondrial transport' results_in_transport_to_from_or_in some mitochondrion (GO:0005739)
sub property of: related via localization to

exports
type: ObjectProperty
sub property of: transports or maintains localization of

results in commitment to
type: ObjectProperty
IAO_0000119: http://www.geneontology.org/GO.doc.development.shtml#fate
IAO_0000112: an annotation of gene X to cell commitment with results_in_commitment_to CL:0000540 (neuron) means that at the end of the process an unspecified cell has been specified and determined to develop into a neuron.
IAO_0000115: The relationship linking a cell and its participation in a process that results in the transition of a cell such that is can only develop into a single cell type. The commitment of cells to specific cell fates and their capacity to differentiate into particular kinds of cells. Positional information is established through protein signals that emanate from a localized source within a cell (the initial one-cell zygote) or within a developmental field.
range: cell
sub property of: results in developmental progression of

results in determination of
type: ObjectProperty
IAO_0000119: http://www.geneontology.org/GO.doc.development.shtml#fate
IAO_0000115: The relationship linking a cell and its participation in a process that results in the the fate of the cell being determined. Once determination has taken place, a cell becomes committed to differentiate down a particular pathway regardless of its environment.
range: cell
sub property of: results in developmental progression of

input of
type: ObjectProperty
sub property of: RO_0000056
inverse of: has input

output of
type: ObjectProperty
sub property of: RO_0000056
inverse of: has output

formed as result of
type: ObjectProperty
inverse of: results in formation of
sub property of: output of

results in structural organization of
type: ObjectProperty
IAO_0000115: A relationship between a process and an anatomical entity such that the process contributes to the act of creating the structural organization of the anatomical entity.
sub property of: results in developmental progression of

results in specification of
type: ObjectProperty
IAO_0000119: http://www.geneontology.org/GO.doc.development.shtml#fate
IAO_0000115: The relationship linking a cell and its participation in a process that results in the fate of the cell being specified. Once specification has taken place, a cell will be committed to differentiate down a specific pathway if left in its normal environment.
range: cell
sub property of: results in developmental progression of

results in developmental induction of
type: ObjectProperty
sub property of: results in developmental progression of

attached to
type: ObjectProperty
type: SymmetricProperty

has muscle origin
type: ObjectProperty
IAO_0000119: Wikipedia:Insertion_(anatomy)
IAO_0000115: m has_muscle_origin s iff m is attached_to s, and it is the case that when m contracts, s does not move. The site of the origin tends to be more proximal and have greater mass than what the other end attaches to.
sub property of: attached to

has muscle insertion
type: ObjectProperty
IAO_0000119: Wikipedia:Insertion_(anatomy)
IAO_0000115: m has_muscle_insertion s iff m is attaches_to s, and it is the case that when m contracts, s moves. Insertions are usually connections of muscle via tendon to bone.
sub property of: attached to

has fused element
type: ObjectProperty
comment: A single bone in one species may correspond to the fusion of two or more bones found as distinct elements in another. For example, tibiofibula has_fused_element tibia. A has_fused_element B does not imply that A has_part some B, rather than A has_part some B', where B' is not a subtype of B (because B is a distinct element but B' is a regional part) but has some evolutionary relationship to B.
IAO_0000117: Chris Mungall
IAO_0000115: x has_fused_element y iff: there exists some z : x has_part z, z homologous_to y, and y is a distinct element, the boundary between x and z is largely fiat
sub property of: evolutionarily related to

produces
type: ObjectProperty
IAO_0000117: Melissa Haendel
comment: Note that this definition doesn't quite distinguish the output of a transformation process from a production process, which is related to the identity/granularity issue.
IAO_0000115: a produces b if some process that occurs_in a has_output b, where a and b are material entities. Examples: hybridoma cell line produces monoclonal antibody reagent; chondroblast produces avascular GAG-rich matrix.
range: BFO_0000040
domain: BFO_0000040
IAO_0000114: pending final vetting
inverse of: produced by

produced by
type: ObjectProperty
IAO_0000117: Melissa Haendel
domain: BFO_0000040
range: BFO_0000040
IAO_0000114: pending final vetting

anatomical structure
type: Class
subclass of: material anatomical entity
IAO_0000412: caro.owl

material anatomical entity
type: Class
subclass of: BFO_0000040
IAO_0000412: caro.owl

cell component
type: Class
subclass of: anatomical structure
IAO_0000412: caro.owl

multi-cell-component structure
type: Class
subclass of: anatomical structure
IAO_0000412: caro.owl

neuron projection bundle
type: Class
subclass of: multi-cell-component structure
IAO_0000412: caro.owl

multicellular anatomical structure
type: Class
subclass of: anatomical structure
subclass of: Restriction
  on property: directly develops from
  all values from: multicellular anatomical structure
IAO_0000412: caro.owl

cell
type: Class
subclass of: anatomical structure
subclass of: Restriction
  on property: directly develops from
  all values from: cell
IAO_0000412: cl.owl

neuron
type: Class
subclass of: cell
IAO_0000412: cl.owl

habitat
type: Class
subclass of: BFO_0000004
IAO_0000115: A spatial region having environmental qualities which may sustain an organism or a community of organisms.
IAO_0000412: envo.owl

membrane
type: Class
subclass of: cell part
IAO_0000412: go.owl

axon
type: Class
subclass of: neuron projection
IAO_0000412: go.owl

dendrite
type: Class
subclass of: neuron projection
IAO_0000412: go.owl

presynaptic membrane
type: Class
subclass of: membrane
subclass of: synapse part
IAO_0000412: go.owl

cell projection
type: Class
subclass of: cell part
IAO_0000412: go.owl

neuron projection
type: Class
subclass of: cell projection
IAO_0000412: go.owl

synapse part
type: Class
subclass of: cell component
IAO_0000412: go.owl

cell part
type: Class
subclass of: cell component
IAO_0000412: go.owl

synapse
type: Class
subclass of: cell component
IAO_0000412: go.owl

postsynaptic membrane
type: Class
subclass of: membrane
subclass of: synapse part
IAO_0000412: go.owl

term replaced by
IAO_0000114: pending final vetting

OBO foundry unique label
IAO_0000114: pending final vetting

curation status specification
IAO_0000114: pending final vetting

requires discussion

obsolescence reason specification
IAO_0000114: pending final vetting