Western Australian Mulga Shrublands Ecoregion
|
ENVO_01001569 |
|
World Ocean
|
Q715269 |
[Earth's interconnected water system] |
Yemen and Saudi Arabia Ecoregion
|
ENVO_01001585 |
|
Yemen, Saudi Arabia, and Oman Ecoregion
|
ENVO_01001586 |
|
axiom holds for all times
|
RO_0001901 |
[
## Elucidation
This is used when the statement/axiom is assumed to hold true 'eternally'
## How to interpret (informal)
First the "atemporal" FOL is derived from the OWL using the standard
interpretation. This axiom is temporalized by embedding the axiom
within a for-all-times quantified sentence. The t argument is added to
all instantiation predicates and predicates that use this relation.
## Example
Class: nucleus
SubClassOf: part_of some cell
forall t :
forall n :
instance_of(n,Nucleus,t)
implies
exists c :
instance_of(c,Cell,t)
part_of(n,c,t)
## Notes
This interpretation is *not* the same as an at-all-times relation
] |
core
|
IAO_0000224 |
[Core is an instance of a grouping of terms from an ontology or ontologies. It is used by the ontology to identify main classes.] |
defined class
|
IAO_0000420 |
[A defined class is a class that is defined by a set of logically necessary and sufficient conditions but is not a universal] |
example to be eventually removed
|
IAO_0000002 |
|
failed exploratory term
|
IAO_0000103 |
[The term was used in an attempt to structure part of the ontology but in retrospect failed to do a good job] |
iao.owl
|
iao.owl |
|
metadata complete
|
IAO_0000120 |
[Class has all its metadata, but is either not guaranteed to be in its final location in the asserted IS_A hierarchy or refers to another class that is not complete.] |
metadata incomplete
|
IAO_0000123 |
[Class is being worked on; however, the metadata (including definition) are not complete or sufficiently clear to the branch editors.] |
named class expression
|
IAO_0000421 |
[A named class expression is a logical expression that is given a name. The name can be used in place of the expression.] |
organizational term
|
IAO_0000121 |
[Term created to ease viewing/sort terms for development purpose, and will not be included in a release, term created to ease viewing/sort terms for development purpose, and will not be included in a release] |
pending final vetting
|
IAO_0000125 |
[All definitions, placement in the asserted IS_A hierarchy and required minimal metadata are complete. The class is awaiting a final review by someone other than the term editor.] |
placeholder removed
|
IAO_0000226 |
|
ready for release
|
IAO_0000122 |
[Class has undergone final review, is ready for use, and will be included in the next release. Any class lacking "ready_for_release" should be considered likely to change place in hierarchy, have its definition refined, or be obsoleted in the next release. Those classes deemed "ready_for_release" will also derived from a chain of ancestor classes that are also "ready_for_release."] |
requires discussion
|
IAO_0000428 |
[A term that is metadata complete, has been reviewed, and problems have been identified that require discussion before release. Such a term requires editor note(s) to identify the outstanding issues.] |
term imported
|
IAO_0000228 |
|
term split
|
IAO_0000229 |
|