never in taxon Chris Mungall tooth SubClassOf 'never in taxon' value 'Aves' ?X DisjointWith RO_0002162 some ?Y 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. in_subset definition definition expand expression to eco subset editor note has curation status is direct form of Chris Mungall If we have the annotation P is-direct-form-of Q, and we have inverses P' and Q', then it follows that P' is-direct-form-of Q' relation p is the direct form of relation q iff p is a subPropertyOf q, p does not have the Transitive characteristic, q does have the Transitive characteristic, and for all x, y: x q y -> exists z1, z2, ..., zn such that x p z1 ... z2n y definition source curator note term editor expand assertion to alternative term editor preferred term subset_property example of usage taxonomic class assertion An assertion that holds between an ontology class and an organism taxon class, which is intepreted to yield some relationship between instances of the ontology class and the taxon. logical macro assertion https://github.com/oborel/obo-relations/wiki/ShortcutRelations An assertion that involves at least one OWL object that is intended to be expanded into one or more logical axioms. The logical expansion can yield axioms expressed using any formal logical system, including, but not limited to OWL2-DL. logical macro assertion on a property A logical macro assertion whose domain is an IRI for a property logical macro assertion on an object property logical macro assertion on an annotation property imported from temporal interpretation https://github.com/oborel/obo-relations/wiki/ROAndTime An assertion that holds between an OWL Object Property and a temporal interpretation that elucidates how OWL Class Axioms that use this property are to be interpreted in a temporal context. logical macro assertion on a class The domain for this class can be considered to be owl:Class, but we cannot assert this in OWL2-DL A logical macro assertion whose domain is an IRI for a class elucidation part of Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other. Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime a core relation that holds between a part and its whole http://www.obofoundry.org/ro/#OBO_REL:part_of is part of my brain is part of my body (continuant parthood, two material entities) my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity) part_of this day is part of this year (occurrent parthood) has part Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part. Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime a core relation that holds between a whole and its part has part has_part my body has part my brain (continuant parthood, two material entities) my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity) this year has part this day (occurrent parthood) realized in Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process [copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003]) is realized by realized in realized_in this disease is realized in this disease course this fragility is realized in this shattering this investigator role is realized in this investigation realizes Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process realizes this disease course realizes this disease this investigation realizes this investigator role this shattering realizes this fragility to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003]) preceded by An example is: translation preceded_by transcription; aging preceded_by development (not however death preceded_by aging). Where derives_from links classes of continuants, preceded_by links classes of processes. Clearly, however, these two relations are not independent of each other. Thus if cells of type C1 derive_from cells of type C, then any cell division involving an instance of C1 in a given lineage is preceded_by cellular processes involving an instance of C. The assertion P preceded_by P1 tells us something about Ps in general: that is, it tells us something about what happened earlier, given what we know about what happened later. Thus it does not provide information pointing in the opposite direction, concerning instances of P1 in general; that is, that each is such as to be succeeded by some instance of P. Note that an assertion to the effect that P preceded_by P1 is rather weak; it tells us little about the relations between the underlying instances in virtue of which the preceded_by relation obtains. Typically we will be interested in stronger relations, for example in the relation immediately_preceded_by, or in relations which combine preceded_by with a condition to the effect that the corresponding instances of P and P1 share participants, or that their participants are connected by relations of derivation, or (as a first step along the road to a treatment of causality) that the one process in some way affects (for example, initiates or regulates) the other. http://www.obofoundry.org/ro/#OBO_REL:preceded_by is preceded by preceded by preceded_by x is preceded by y if and only if the time point at which y ends is before or equivalent to the time point at which x starts. Formally: x preceded by y iff ω(y) <= α(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. precedes precedes x precedes y if and only if the time point at which x ends is before or equivalent to the time point at which y starts. Formally: x precedes y iff ω(x) <= α(y), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. occurs in Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant 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 occurs in occurs_in unfolds in unfolds_in contains process Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant [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 site of bearer of A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist. a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence bearer of bearer_of is bearer of this apple is bearer of this red color this vase is bearer of this fragility has quality A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist. a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence has_quality this apple has quality this red color has role A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists. a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence has_role this person has role this investigator role (more colloquially: this person has this role of investigator) before or simultaneous with Primitive instance level timing relation between events <= David Osumi-Sutherland simultaneous with David Osumi-Sutherland t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2) ends after David Osumi-Sutherland X ends_after Y iff: end(Y) before_or_simultaneous_with end(X) immediately preceded by starts_at_end_of David Osumi-Sutherland X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y) immediately precedes David Osumi-Sutherland ends_at_start_of X immediately_precedes_Y iff: end(X) simultaneous_with start(Y) meets starts during David Osumi-Sutherland io X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y)) happens during David Osumi-Sutherland d during X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y)) ends during o David Osumi-Sutherland overlaps X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y). overlaps http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y) x overlaps y if and only if there exists some z such that x has part z and z part of y temporally related to https://docs.google.com/document/d/1kBv1ep_9g3sTR-SD3jqzFqhuwo9TPNF-l-9fUDbO6rM/edit?pli=1 Do not use this relation directly. It is ended as a grouping for relations between occurrents involving the relative timing of their starts and ends. A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations. Chris Mungall starts with started by Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor Chris Mungall x starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. Formally: α(y) = α(x) ∧ ω(y) < ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. ends with Chris Mungall x ends with y if and only if x has part y and the time point at which x ends is equivalent to the time point at which y ends. Formally: α(y) > α(x) ∧ ω(y) = ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. finished by mereotopologically related to A mereological relationship or a topological relationship Chris Mungall Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving parthood or connectivity relationships continuant An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts. occurrent An entity that has temporal parts and that happens, unfolds or develops through time. independent continuant A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. process An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. realizable entity A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances. quality specifically dependent continuant A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same. role A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts. ready for release pending final vetting axiom holds for all times