All individuals in UPHENO

Label Id Description
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