contained_in
range: Thing
domain: Thing
has_alternative_id: OBO_REL:0000010
has_definition: http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#9
has_obo_namespace: relationship
type: ObjectProperty
comment: Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition):
inverse of: contains
type: Property
range: Resource
domain: Resource

subset
subclass of: Resource
subclass of: Thing
type: Class
has_definition: A grouping of terms from an ontology or ontologies. Note that this is not a metaclass - classes are linked to subsets via oboInOwl:inSubset
has_related_synonym: view
has_related_synonym: partition
has_narrow_synonym: slim
has_narrow_synonym: GO-slim
has_dbxref: oboFormat:subsetdef
has_synonym: view
has_synonym: partition
has_synonym: slim
has_synonym: GO-slim

has_narrow_synonym
type: Property
sub property of: has_synonym
has_definition: An alias in which the alias is narrower than the primary class name. Example: pyrimidine-dimer repair by photolyase is a narrow synonym of photoreactive repair
has_dbxref: oboFormat:narrow_synonym
type: AnnotationProperty

obsolete_property
range: Thing
domain: Thing
comment: Note that this is not a metaclass
has_definition: pseudo-property. in the oboInOwl translation, all obsolete relations are subProperties of this class
type: ObjectProperty
type: Property
range: Resource
domain: Resource

contains
range: Thing
domain: Thing
has_alternative_id: OBO_REL:0000011
has_obo_namespace: relationship
type: ObjectProperty
inverse of: contained_in
type: Property
range: Resource
domain: Resource

has_related_synonym
type: Property
sub property of: has_synonym
has_definition: http://lodlaundromat.org/.well-known/genid/samples/jena///class//0ecf15007b9ec5302ebd128738c89a7a/d13d27ab493afccf38011b2b53010821#44
has_dbxref: oboFormat:related_synonym
type: AnnotationProperty

has_URI
type: Property
type: AnnotationProperty

has_definition
type: Property
comment: we are forced to use the n-ary relation pattern in OWL1.0. For OWL2 we may make this a direct axiom between a class and the string
has_definition: a relation between a class and an instance of a oboInOwl:Definition
has_dbxref: oboFormat:def
type: AnnotationProperty

obsolete_class
subclass of: Resource
subclass of: Thing
type: Class
has_definition: pseudo-class. in the oboInOwl translation, all obsolete classes are subclasses of this class. Note that this is not a metaclass

definition
subclass of: Resource
subclass of: Thing
type: Class
comment: we are forced to use the n-ary relation pattern in OWL1.0. For OWL2 we may make this a direct axiom between a class and the string
has_definition: The textual definition of the current term. There must be zero or one instances of this tag per term description
has_dbxref: URL:http://www.obofoundry.org/wiki/index.php/Definitions

database_cross_reference
subclass of: Resource
subclass of: Thing
type: Class

has_agent
range: Thing
domain: Thing
has_alternative_id: OBO_REL:0000021
has_definition: As for has_participant, but with the additional condition that the component instance is causally active in the relevant process
has_obo_namespace: relationship
type: ObjectProperty
sub property of: has_participant
inverse of: agent_in
type: Property
range: Resource
domain: Resource

adjacent_to
range: Thing
domain: Thing
has_alternative_id: OBO_REL:0000012
has_definition: C adjacent to C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c and c' are in spatial proximity
has_obo_namespace: relationship
type: ObjectProperty
comment: Note that adjacent_to as thus defined is not a symmetric relation, in contrast to its instance-level counterpart. For it can be the case that Cs are in general such as to be adjacent to instances of C1 while no analogous statement holds for C1s in general in relation to instances of C. Examples are: nuclear membrane adjacent_to cytoplasm; seminal vesicle adjacent_to urinary bladder; ovary adjacent_to parietal pelvic peritoneum
type: Property
range: Resource
domain: Resource

has_participant
range: Thing
domain: Thing
has_alternative_id: OBO_REL:0000019
has_definition: P has_participant C if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c participates in p at t
has_obo_namespace: relationship
type: ObjectProperty
comment: Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time.
inverse of: participates_in
type: Property
range: Resource
domain: Resource

has_obo_namespace
type: Property
has_definition: A relation between a class and an OBO namespace string. OBO namespaces are to be distinguished from IDspaces; for example, biological_process is a namespace, GO is an idspace.
has_dbxref: oboFormat:namespace
type: AnnotationProperty

has_exact_synonym
type: Property
sub property of: has_synonym
has_definition: An alias in which the alias exhibits true synonymy. Example: ornithine cycle is an exact synonym of urea cycle
has_dbxref: oboFormat:exact_synonym
type: AnnotationProperty

has_dbxref
type: Property
has_dbxref: oboFormat:xref
type: AnnotationProperty

has_default_namespace
type: Property
has_dbxref: oboFormat:default-namespace
type: AnnotationProperty

agent_in
range: Thing
domain: Thing
has_alternative_id: OBO_REL:0000022
has_obo_namespace: relationship
type: ObjectProperty
sub property of: participates_in
inverse of: has_agent
type: Property
range: Resource
domain: Resource

transformed_into
range: Thing
domain: Thing
has_alternative_id: OBO_REL:0000014
has_obo_namespace: relationship
type: ObjectProperty
comment: Obsoleted
sub property of: obsolete_property
type: Property
range: Resource
domain: Resource

synonym
subclass of: Resource
subclass of: Thing
type: Class
comment: we are forced to use the n-ary relation pattern in OWL1.0. For OWL2 we may make this a direct axiom between a class and the string
has_definition: An instance of synonym usage. synonym instances are linked to classes via oboInOwl:has*Synonym properties

saved_by
type: Property
has_dbxref: oboFormat:saved_by
type: AnnotationProperty

participates_in
range: Thing
domain: Thing
has_alternative_id: OBO_REL:0000020
has_obo_namespace: relationship
type: ObjectProperty
inverse of: has_participant
type: Property
range: Resource
domain: Resource

relationship
range: Thing
domain: Thing
has_definition: A relationship between two classes (terms). Relationships between classes are expressed in terms of relations on underlying instances.
has_obo_namespace: relationship
type: ObjectProperty
comment: this relation was superfluous, so it has been obsoleted
sub property of: obsolete_property
type: Property
range: Resource
domain: Resource

synonym_type
subclass of: Resource
subclass of: Thing
type: Class

has_alternative_id
type: Property
has_definition: An alternative identifier for this class; should follow ID syntax. These can result from class merges
has_dbxref: oboFormat:alt_id
type: AnnotationProperty

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

slim
type: synonym
type: Thing

relation between a class and a oboInOwl:Subset, indicating the class belongs (is a member of) the subset
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

An alias in which the alias is broader than the primary class name. Example: cell division is a broad synonym of cytokinesis
type: definition
has_dbxref: oboInOwl:GOC
type: Thing

has_synonym_type
has_dbxref: URL:http://www.geneontology.org/GO.usage.shtml#type
type: AnnotationProperty

oboInOwl:GOC
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_GOC
type: Thing

derived_from
type: synonym
type: Thing

has_version
has_dbxref: oboFormat:version
type: AnnotationProperty

URL:http://www.geneontology.org/GO.usage.shtml#type
type: database_cross_reference
has_URI: http://www.geneontology.org/GO.usage.shtml#type
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

located_in
has_alternative_id: OBO_REL:0000008
has_definition: http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#7
has_obo_namespace: relationship
type: TransitiveProperty
comment: Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus
inverse of: location_of
type: Property
type: ObjectProperty

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

C adjacent to C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c and c' are in spatial proximity
has_dbxref: PMID:15892874
type: definition
type: Thing

oboFormat:synonym
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_synonym
type: Thing

location_of
has_alternative_id: OBO_REL:0000009
has_obo_namespace: relationship
type: TransitiveProperty
inverse of: located_in
type: Property
type: ObjectProperty

As for part_of, with the additional constraint that subject and object may be identical
has_dbxref: PMID:15892874
type: definition
type: Thing

pseudo-property. in the oboInOwl translation, all obsolete relations are subProperties of this class
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

The textual definition of the current term. There must be zero or one instances of this tag per term description
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

oboFormat:replaced_by
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_replaced_by
type: Thing

oboFormat:default-namespace
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_default-namespace
type: Thing

As for part_of, with the additional constraint that subject and object are distinct
has_dbxref: PMID:15892874
type: definition
type: Thing

subset_property
type: AnnotationProperty
has_definition: This annotation property groups all subsets declared in the ontology

oboFormat:version
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_version
type: Thing

improper_part_of
has_alternative_id: OBO_REL:0000025
has_definition: As for part_of, with the additional constraint that subject and object may be identical
has_obo_namespace: relationship
type: TransitiveProperty
comment: OBSOLETE. The definition is "As for part_of, with the additional constraint that subject and object may be identical". However, part_of is already reflexive, therefore improper_part_of is identical to part_of. If read differently, as "improper_part_of is part_of but not proper_part_of",improper_part_of becomes identity. So, improper_part_of is either identical to part_of or to identity, and not an intuitive synonym for either of them. [Robert Hoehndorf]
sub property of: obsolete_property
sub property of: part_of
inverse of: has_improper_part
type: Property
type: ObjectProperty
range: Thing
range: Resource
domain: Thing
domain: Resource

oboFormat:alt_id
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_alt_id
type: Thing

oboInOwl:GOC
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_GOC
type: Thing

An alias in which the alias is narrower than the primary class name. Example: pyrimidine-dimer repair by photolyase is a narrow synonym of photoreactive repair
type: definition
has_dbxref: oboInOwl:GOC
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

has_integral_part
has_alternative_id: OBO_REL:0000005
has_obo_namespace: relationship
type: TransitiveProperty
sub property of: has_part
inverse of: integral_part_of
type: Property
type: ObjectProperty

is_cyclic
has_definition: http://lodlaundromat.org/.well-known/genid/samples/jena///class//0ecf15007b9ec5302ebd128738c89a7a/d13d27ab493afccf38011b2b53010821#58
has_dbxref: oboFormat:is_cyclic
type: AnnotationProperty

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

has_subset
has_definition: relation between an ontology and a oboInOwl:Subset, indicating classes in the ontology belong to the subset
type: AnnotationProperty

A grouping of terms from an ontology or ontologies. Note that this is not a metaclass - classes are linked to subsets via oboInOwl:inSubset
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

oboInOwl:GOC
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_GOC
type: Thing

replaced_by
has_definition: http://lodlaundromat.org/.well-known/genid/samples/jena///class//0ecf15007b9ec5302ebd128738c89a7a/d13d27ab493afccf38011b2b53010821#54
has_dbxref: oboFormat:replaced_by
type: AnnotationProperty

transformation_of
has_alternative_id: OBO_REL:0000013
has_definition: http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#13
has_obo_namespace: relationship
type: TransitiveProperty
comment: When an embryonic oenocyte (a type of insect cell) is transformed into a larval oenocyte, one and the same continuant entity preserves its identity while instantiating distinct classes at distinct times. The class-level relation transformation_of obtains between continuant classes C and C1 wherever each instance of the class C is such as to have existed at some earlier time as an instance of the distinct class C1 (see Figure 2 in paper). This relation is illustrated first of all at the molecular level of granularity by the relation between mature RNA and the pre-RNA from which it is processed, or between (UV-induced) thymine-dimer and thymine dinucleotide. At coarser levels of granularity it is illustrated by the transformations involved in the creation of red blood cells, for example, from reticulocyte to erythrocyte, and by processes of development, for example, from larva to pupa, or from (post-gastrular) embryo to fetus or from child to adult. It is also manifest in pathological transformations, for example, of normal colon into carcinomatous colon. In each such case, one and the same continuant entity instantiates distinct classes at different times in virtue of phenotypic changes.
type: Property
type: ObjectProperty

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

oboFormat:xref
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_xref
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

This annotation property groups all synonym types declared in the ontology
type: definition
has_dbxref: oboInOwl:GOC
type: Thing

in_subset
has_definition: relation between a class and a oboInOwl:Subset, indicating the class belongs (is a member of) the subset
has_dbxref: oboFormat:subset
type: AnnotationProperty

oboFormat:exact_synonym
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_exact_synonym
type: Thing

http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#15
has_dbxref: PMID:15892874
type: definition
label: Derivation on the instance level (*derives_from*) holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. We say that one class C derives_from class C' if instances of C are connected to instances of C' via some chain of instance-level derivation relations. Example: osteocyte derives_from osteoblast. Formally: C derives_immediately_from C' if and only if: given any c and any t, if c instantiates C at time t, then there is some c' and some t', such that c' instantiates C' at t' and t' earlier-than t and c *derives_from* c'. C derives_from C' if and only if: there is an chain of immediate derivation relations connecting C to C'.
type: Thing

consider
has_definition: Gives a term which may be an appropriate substitute for an obsolete term, but needs to be looked at carefully by a human expert before the replacement is done
has_dbxref: oboFormat:consider
type: AnnotationProperty

relationship
has_default_namespace: relationship
saved_by: cjm
type: Ontology
comment: This is an OWL translation of an ontology whose native representational form is .obo. The translation was performed using the oboInOwl xslt library. For details, see http://www.berkeleybop.org/obo-conv.cgi
comment: This ontology contains logical relations to be shared across the different OBO ontologies. Each OBO ontology is free to extend this set with relations specific to the biology within that ontology In the definitions, variables c, d, ..., p, q, ... range over instances of continuants and processes respectively. C, D, ..., P, Q, ... range over the corresponding classes For a discussion of instance-level relations and also of additional axioms needed to infer transitivity and other properties of the relations listed above see http://genomebiology.com/2005/6/5/R46 or the OBO relations page hosted at http://obo.sourceforge.net/relationship
comment: cvs version $Revision: 1.5 $
comment: release version 1.01

oboInOwl
type: Ontology
comment: OBO Format metamodel. This meta-ontology is self-describing. OBO metamodel properties are described using OBO metamodel properties
comment: This is an OWL translation of an ontology whose native representational form isobo. The translation was performed using the oboInOwl xslt library. For details, see http://www.berkeleybop.org/obo-conv.cgi

relation between an ontology and a oboInOwl:Subset, indicating classes in the ontology belong to the subset
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

oboFormat:consider
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_consider
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

has_synonym
comment: Note that this should be a super-property of hasRelatedSynonym, hasExactSynonym etc; however, we cannot state this and remain in OWL-DL
has_definition: A relation between a class and an alias term.
has_dbxref: oboFormat:synonym
type: AnnotationProperty
type: Property

http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#9
has_dbxref: PMID:15892874
type: definition
label: C contained_in C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.)
type: Thing

A relation between a class and an alias term.
type: definition
has_dbxref: oboInOwl:GOC
type: Thing

As for has_participant, but with the additional condition that the component instance is causally active in the relevant process
has_dbxref: PMID:15892874
type: definition
type: Thing

An instance of synonym usage. synonym instances are linked to classes via oboInOwl:has*Synonym properties
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

http://lodlaundromat.org/.well-known/genid/samples/jena///class//0ecf15007b9ec5302ebd128738c89a7a/d13d27ab493afccf38011b2b53010821#54
type: definition
label: Gives a term which replaces an obsolete term. The value is the id of the replacement term. The value of this tag can safely be used to automatically reassign links to an obsolete term. The replaced_by tag may only be specified for obsolete terms. A single obsolete term may have more than one replaced_by tag. This tag can be used in conjunction with the consider tag.
has_dbxref: oboInOwl:cjm
type: Thing

oboFormat:date
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_date
type: Thing

oboInOwl:GOC
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_GOC
type: Thing

C integral_part_of C' if and only if: C part_of C' AND C' has_part C
has_dbxref: PMID:15892874
type: definition
type: Thing

An alternative identifier for this class; should follow ID syntax. These can result from class merges
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

oboInOwl:GOC
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_GOC
type: Thing

oboInOwl:GOC
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_GOC
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

precedes
has_alternative_id: OBO_REL:0000018
has_obo_namespace: relationship
type: TransitiveProperty
inverse of: preceded_by
type: Property
type: ObjectProperty

has_part
has_alternative_id: OBO_REL:0000003
has_obo_namespace: relationship
type: TransitiveProperty
inverse of: part_of
type: Property
type: ObjectProperty

oboFormat:related_synonym
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_related_synonym
type: Thing

GOC:cjm
has_URI: http://purl.org/obo/owl/GOC#GOC_cjm
type: database_cross_reference
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

pseudo-class. in the oboInOwl translation, all obsolete classes are subclasses of this class. Note that this is not a metaclass
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

oboFormat:is_cyclic
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_is_cyclic
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

part_of
has_alternative_id: OBO_REL:0000002
has_definition: http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#1
has_obo_namespace: relationship
type: TransitiveProperty
comment: Parthood as a relation between instances: The primitive instance-level relation p part_of p1 is illustrated in assertions such as: this instance of rhodopsin mediated phototransduction part_of this instance of visual perception. This relation satisfies at least the following standard axioms of mereology: reflexivity (for all p, p part_of p); anti-symmetry (for all p, p1, if p part_of p1 and p1 part_of p then p and p1 are identical); and transitivity (for all p, p1, p2, if p part_of p1 and p1 part_of p2, then p part_of p2). Analogous axioms hold also for parthood as a relation between spatial regions. For parthood as a relation between continuants, these axioms need to be modified to take account of the incorporation of a temporal argument. Thus for example the axiom of transitivity for continuants will assert that if c part_of c1 at t and c1 part_of c2 at t, then also c part_of c2 at t. Parthood as a relation between classes: To define part_of as a relation between classes we again need to distinguish the two cases of continuants and processes, even though the explicit reference to instants of time now falls away. For continuants, we have C part_of C1 if and only if any instance of C at any time is an instance-level part of some instance of C1 at that time, as for example in: cell nucleus part_ of cell.
inverse of: has_part
type: Property
type: ObjectProperty

oboFormat:namespace
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_namespace
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

oboFormat:subsetdef
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_subsetdef
type: Thing

oboFormat:subset
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_subset
type: Thing

has_broad_synonym
sub property of: has_synonym
has_definition: An alias in which the alias is broader than the primary class name. Example: cell division is a broad synonym of cytokinesis
has_dbxref: oboFormat:broad_synonym
type: AnnotationProperty
type: Property

oboFormat:broad_synonym
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_broad_synonym
type: Thing

preceded_by
has_alternative_id: OBO_REL:0000017
has_definition: P preceded_by P' if and only if: given any process p that instantiates P at a time t, there is some process p' such that p' instantiates P' at time t', and t' is earlier than t.
has_obo_namespace: relationship
type: TransitiveProperty
comment: 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.
inverse of: precedes
type: Property
type: ObjectProperty

A relation between a class and an OBO namespace string. OBO namespaces are to be distinguished from IDspaces; for example, biological_process is a namespace, GO is an idspace.
type: definition
has_dbxref: oboInOwl:GOC
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

partition
type: synonym
type: Thing

This annotation property groups all subsets declared in the ontology
type: definition
has_dbxref: oboInOwl:GOC
type: Thing

An alias in which the alias exhibits true synonymy. Example: ornithine cycle is an exact synonym of urea cycle
type: definition
has_dbxref: oboInOwl:GOC
type: Thing

http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#13
has_dbxref: PMID:15892874
type: definition
label: Relation between two classes, in which instances retain their identity yet change their classification by virtue of some kind of transformation. Formally: C transformation_of C' if and only if given any c and any t, if c instantiates C at time t, then for some t', c instantiates C' at t' and t' earlier t, and there is no t2 such that c instantiates C at t2 and c instantiates C' at t2.
type: Thing

oboInOwl:GOC
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_GOC
type: Thing

A relationship between two classes (terms). Relationships between classes are expressed in terms of relations on underlying instances.
has_dbxref: GOC:cjm
type: definition
type: Thing

Gives a term which may be an appropriate substitute for an obsolete term, but needs to be looked at carefully by a human expert before the replacement is done
type: definition
has_dbxref: oboInOwl:cjm
type: Thing

URL:http://www.obofoundry.org/wiki/index.php/Definitions
type: database_cross_reference
has_URI: http://www.obofoundry.org/wiki/index.php/Definitions
type: Thing

derives_from
has_alternative_id: OBO_REL:0000015
has_definition: http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#15
has_exact_synonym: derived_from
has_obo_namespace: relationship
type: TransitiveProperty
comment: Derivation as a relation between instances. The temporal relation of derivation is more complex. Transformation, on the instance level, is just the relation of identity: each adult is identical to some child existing at some earlier time. Derivation on the instance-level is a relation holding between non-identicals. More precisely, it holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. Thus we will have axioms to the effect that from c derives_from c1 we can infer that c and c1 are not identical and that there is some instant of time t such that c1 exists only prior to and c only subsequent to t. We will also be able to infer that the spatial region occupied by c as it begins to exist at t overlaps with the spatial region occupied by c1 as it ceases to exist in the same instant.
inverse of: derived_into
has_synonym: derived_from
type: Property
type: ObjectProperty

synonym_type_property
type: AnnotationProperty
has_definition: This annotation property groups all synonym types declared in the ontology

http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#7
has_dbxref: PMID:15892874
type: definition
label: C located_in C' if and only if: given any c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c *located_in* c'. (Here *located_in* is the instance-level location relation.)
type: Thing

P has_participant C if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c participates in p at t
has_dbxref: PMID:15892874
type: definition
type: Thing

GO-slim
type: synonym
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

oboInOwl:GOC
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_GOC
type: Thing

http://lodlaundromat.org/.well-known/genid/0ecf15007b9ec5302ebd128738c89a7a#1
has_dbxref: PMID:15892874
type: definition
label: For continuants: C part_of C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c *part_of* c' at t. For processes: P part_of P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p *part_of* p' at t. (Here *part_of* is the instance-level part-relation.)
type: Thing

oboFormat:narrow_synonym
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_narrow_synonym
type: Thing

P preceded_by P' if and only if: given any process p that instantiates P at a time t, there is some process p' such that p' instantiates P' at time t', and t' is earlier than t.
has_dbxref: PMID:15892874
type: definition
type: Thing

has_date
has_dbxref: oboFormat:date
type: AnnotationProperty

integral_part_of
has_alternative_id: OBO_REL:0000004
has_definition: C integral_part_of C' if and only if: C part_of C' AND C' has_part C
has_obo_namespace: relationship
type: TransitiveProperty
sub property of: part_of
inverse of: has_integral_part
type: Property
type: ObjectProperty

has_proper_part
has_alternative_id: OBO_REL:0000007
has_obo_namespace: relationship
type: TransitiveProperty
sub property of: has_part
inverse of: proper_part_of
type: Property
type: ObjectProperty

view
type: synonym
type: Thing

derived_into
has_alternative_id: OBO_REL:0000016
has_obo_namespace: relationship
type: TransitiveProperty
inverse of: derives_from
type: Property
type: ObjectProperty

proper_part_of
has_alternative_id: OBO_REL:0000006
has_definition: As for part_of, with the additional constraint that subject and object are distinct
has_obo_namespace: relationship
type: TransitiveProperty
sub property of: part_of
inverse of: has_proper_part
type: Property
type: ObjectProperty

oboFormat:def
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_def
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

http://lodlaundromat.org/.well-known/genid/samples/jena///class//0ecf15007b9ec5302ebd128738c89a7a/d13d27ab493afccf38011b2b53010821#44
type: definition
label: An alias in which the alias is related the primary class name, but not necessarily broader or narrower. Example: cytochrome bc1 complex is a related synonym of ubiquinol-cytochrome-c reductase activity; virulence is a related synonym of pathogenesis
has_dbxref: oboInOwl:GOC
type: Thing

PMID:15892874
has_URI: http://purl.org/obo/owl/PMID#PMID_15892874
type: database_cross_reference
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

oboFormat:saved_by
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboFormat#oboFormat_saved_by
type: Thing

oboInOwl:cjm
type: database_cross_reference
has_URI: http://purl.org/obo/owl/oboInOwl#oboInOwl_cjm
type: Thing

has_improper_part
has_alternative_id: OBO_REL:0000024
has_obo_namespace: relationship
type: TransitiveProperty
comment: See reasons for obsoletion of improper_part_of
sub property of: obsolete_property
sub property of: has_part
inverse of: improper_part_of
type: Property
type: ObjectProperty
range: Thing
range: Resource
domain: Thing
domain: Resource

a relation between a class and an instance of a oboInOwl:Definition
type: definition
has_dbxref: oboInOwl:cjm
type: Thing