All individuals in UPHENO

Label Id Description
Somali Montane Xeric Woodland Ecoregion ENVO_01001587
Succulent Karoo Ecoregion ENVO_01001584
Suni Q2306597 ["Suni, or Jalca, is one of the eight Natural Regions of Peru. It is located in the Andes at an altitude between 3,500 and 4,000 metres above sea level. Suni has a dry and cold weather and there are many glacial valleys. The flora includes gramineous plants and shrubs such as the taya-taya (Caesalpinia spinosa), the quishuar (Buddleja coriacea), and the cantuta (Cantua buxifolia) which was considered sacred by the Incas. Even though it is hard for plants to grow because of the weather, people are able to cultivate such crops as quinoa, qañiwa, broad beans and ulluku (Ullucus tuberosus). The main fauna is the guinea pig and, among numerous other highland birds, the Chiguanco thrush."]
Thar Desert ENVO_01001627
The Great Sandy-Tanami Desert Ecoregion ENVO_01001578
Tirari-Sturt Stony Desert Ecoregion ENVO_01001572
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, ## 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 ]
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]
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.]
obsolete_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.]
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]
out of scope OMO_0001000 [The term was added to the ontology on the assumption it was in scope, but it turned out later that it was not.]