Ubergraph |

Ubergraph

Matches in Ubergraph for { ?s <http://purl.obolibrary.org/obo/IAO_0000116> ?o ?g. }

Showing items 1 to 100 of ±1,691 with 100 items per page.

BFO_0000001 IAO_0000116 "BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81" @default.
BFO_0000001 IAO_0000116 "Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf" @default.
BFO_0000002 IAO_0000116 "BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240" @default.
BFO_0000002 IAO_0000116 "Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants" @default.
BFO_0000003 IAO_0000116 "BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region" @default.
BFO_0000003 IAO_0000116 "BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players." @default.
BFO_0000003 IAO_0000116 "Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process." @default.
BFO_0000003 IAO_0000116 "Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame." @default.
BFO_0000006 IAO_0000116 "BFO 2 Reference: Spatial regions do not participate in processes." @default.
BFO_0000006 IAO_0000116 "Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional." @default.
BFO_0000008 IAO_0000116 "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional" @default.
BFO_0000015 IAO_0000116 "BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)" @default.
BFO_0000016 IAO_0000116 "BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type." @default.
BFO_0000020 IAO_0000116 "Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc." @default.
BFO_0000023 IAO_0000116 "BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives." @default.
BFO_0000024 IAO_0000116 "BFO 2 Reference: Most examples of fiat object parts are associated with theoretically drawn divisions" @default.
BFO_0000027 IAO_0000116 "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " @default.
BFO_0000027 IAO_0000116 "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects" @default.
BFO_0000027 IAO_0000116 "BFO 2 Reference: object aggregates may gain and lose parts while remaining numerically identical (one and the same individual) over time. This holds both for aggregates whose membership is determined naturally (the aggregate of cells in your body) and aggregates determined by fiat (a baseball team, a congressional committee)." @default.
BFO_0000030 IAO_0000116 "BFO 2 Reference: BFO rests on the presupposition that at multiple micro-, meso- and macroscopic scales reality exhibits certain stable, spatially separated or separable material units, combined or combinable into aggregates of various sorts (for example organisms into what are called ‘populations’). Such units play a central role in almost all domains of natural science from particle physics to cosmology. Many scientific laws govern the units in question, employing general terms (such as ‘molecule’ or ‘planet’) referring to the types and subtypes of units, and also to the types and subtypes of the processes through which such units develop and interact. The division of reality into such natural units is at the heart of biological science, as also is the fact that these units may form higher-level units (as cells form multicellular organisms) and that they may also form aggregates of units, for example as cells form portions of tissue and organs form families, herds, breeds, species, and so on. At the same time, the division of certain portions of reality into engineered units (manufactured artifacts) is the basis of modern industrial technology, which rests on the distributed mass production of engineered parts through division of labor and on their assembly into larger, compound units such as cars and laptops. The division of portions of reality into units is one starting point for the phenomenon of counting." @default.
BFO_0000030 IAO_0000116 "BFO 2 Reference: Each object is such that there are entities of which we can assert unproblematically that they lie in its interior, and other entities of which we can assert unproblematically that they lie in its exterior. This may not be so for entities lying at or near the boundary between the interior and exterior. This means that two objects – for example the two cells depicted in Figure 3 – may be such that there are material entities crossing their boundaries which belong determinately to neither cell. Something similar obtains in certain cases of conjoined twins (see below)." @default.
BFO_0000030 IAO_0000116 "BFO 2 Reference: To say that b is causally unified means: b is a material entity which is such that its material parts are tied together in such a way that, in environments typical for entities of the type in question,if c, a continuant part of b that is in the interior of b at t, is larger than a certain threshold size (which will be determined differently from case to case, depending on factors such as porosity of external cover) and is moved in space to be at t at a location on the exterior of the spatial region that had been occupied by b at t, then either b’s other parts will be moved in coordinated fashion or b will be damaged (be affected, for example, by breakage or tearing) in the interval between t and t.causal changes in one part of b can have consequences for other parts of b without the mediation of any entity that lies on the exterior of b. Material entities with no proper material parts would satisfy these conditions trivially. Candidate examples of types of causal unity for material entities of more complex sorts are as follows (this is not intended to be an exhaustive list):CU1: Causal unity via physical coveringHere the parts in the interior of the unified entity are combined together causally through a common membrane or other physical covering\. The latter points outwards toward and may serve a protective function in relation to what lies on the exterior of the entity [13, 47" @default.
BFO_0000030 IAO_0000116 "BFO 2 Reference: an object is a maximal causally unified material entity" @default.
BFO_0000030 IAO_0000116 "BFO 2 Reference: ‘objects’ are sometimes referred to as ‘grains’ [74" @default.
BFO_0000034 IAO_0000116 "BFO 2 Reference: In the past, we have distinguished two varieties of function, artifactual function and biological function. These are not asserted subtypes of BFO:function however, since the same function – for example: to pump, to transport – can exist both in artifacts and in biological entities. The asserted subtypes of function that would be needed in order to yield a separate monoheirarchy are not artifactual function, biological function, etc., but rather transporting function, pumping function, etc." @default.
BFO_0000038 IAO_0000116 "BFO 2 Reference: A temporal interval is a special kind of one-dimensional temporal region, namely one that is self-connected (is without gaps or breaks)." @default.
BFO_0000040 IAO_0000116 "BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60" @default.
BFO_0000040 IAO_0000116 "BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity." @default.
BFO_0000040 IAO_0000116 "BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here." @default.
BFO_0000050 IAO_0000116 "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." @default.
BFO_0000050 IAO_0000116 "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 http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/" @default.
BFO_0000050 IAO_0000116 "Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.) A continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'." @default.
BFO_0000051 IAO_0000116 "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." @default.
BFO_0000051 IAO_0000116 "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 http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/" @default.
BFO_0000051 IAO_0000116 "Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.) A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'." @default.
BFO_0000062 IAO_0000116 "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." @default.
BFO_0000140 IAO_0000116 "BFO 2 Reference: In BFO 1.1 the assumption was made that the external surface of a material entity such as a cell could be treated as if it were a boundary in the mathematical sense. The new document propounds the view that when we talk about external surfaces of material objects in this way then we are talking about something fiat. To be dealt with in a future version: fiat boundaries at different levels of granularity.More generally, the focus in discussion of boundaries in BFO 2.0 is now on fiat boundaries, which means: boundaries for which there is no assumption that they coincide with physical discontinuities. The ontology of boundaries becomes more closely allied with the ontology of regions." @default.
BFO_0000140 IAO_0000116 "BFO 2 Reference: a continuant fiat boundary is a boundary of some material entity (for example: the plane separating the Northern and Southern hemispheres; the North Pole), or it is a boundary of some immaterial entity (for example of some portion of airspace). Three basic kinds of continuant fiat boundary can be distinguished (together with various combination kinds [29" @default.
BFO_0000140 IAO_0000116 "Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions." @default.
BFO_0000141 IAO_0000116 "BFO 2 Reference: Immaterial entities are divided into two subgroups:boundaries and sites, which bound, or are demarcated in relation, to material entities, and which can thus change location, shape and size and as their material hosts move or change shape or size (for example: your nasal passage; the hold of a ship; the boundary of Wales (which moves with the rotation of the Earth) [38, 7, 10" @default.
BFO_0000147 IAO_0000116 "zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona." @default.
BSPO_0020001 IAO_0000116 "This was migrated from http://purl.obolibrary.org/obo/uberon/core#in_central_side_of in Uberon." @default.
BSPO_0020002 IAO_0000116 "This relationship was originally called http://purl.obolibrary.org/obo/#_has_start_point, but was renamed because of the non-standard IRI syntax." @default.
CHEBI_23367 IAO_0000116 "We are assuming that every molecular entity has to be completely connected by chemical bonds. This excludes protein complexes, which are comprised of minimally two separate molecular entities. We will follow up with Chebi to ensure this is their understanding as well" @default.
CL_0000041 IAO_0000116 "The status of eosinophils as true professional antigen presenting cells is unclear, despite their ability to present exogenous peptides and peptides processed from exogenous proteins (in certain studies) via MHC Class II and activate T cells. Per the equivalence axioms, 'eosinophil' is reasoned to be a subclass of 'professional antigen presenting cell', though the role of eosinophils as such in the body may be limited." @default.
CL_4023060 IAO_0000116 "It is unclear as to if the modelling of Ammon's horn includes CA4 (which could be considered part of the dentate gyrus) in Uberon, hence no equivalent class axiom was made." @default.
CL_4023128 IAO_0000116 "In rats and mice, the anteroventral periventricular nucleus plus the periventricular nucleus make up the rostral periventricular region of the third ventricle (RP3V)." @default.
CL_4023158 IAO_0000116 "This term is restricted to the mammalian cochlear nucleus to disambiguate for cells of octopus." @default.
CL_4032000 IAO_0000116 "The term "club-like" is used to disambiguate from club cells which CL defines as a type of bronchial epithelial cell. This seems to reflect common usage of club cell when used without location (club cell seems to mean bronchial club cell, unless it is proceded or preceded by something that says it is not bronchial). In the literature, the name "club-like" isn't used." @default.
COB_0000005 IAO_0000116 "no longer needed" @default.
COB_0000123 IAO_0000116 "A role realized by a participant in a process such that the participant causes the process." @default.
ENVO_00000070 IAO_0000116 ""constructed" should probably be made something like a quality and this class obsoleted or filled only by inference" @default.
ENVO_00000085 IAO_0000116 "We need to added classes such as "valley site" in order to fully axiomatize this class" @default.
ENVO_00000131 IAO_0000116 "Previously had the axiom 'material entity' and ('composed primarily of' some ('water ice' or snow)) which ended up making incorrect inference. We chose to obsolete this now." @default.
ENVO_00000240 IAO_0000116 "It would be more correct to say that this has_quality salty or has_part ((soil and water) and has_increased_levels_of salt." @default.
ENVO_00000309 IAO_0000116 "Clarify that this pertains to the planetary crust and create superclass for general topological depressions. https://github.com/EnvironmentOntology/envo/issues/486" @default.
ENVO_00000389 IAO_0000116 "In a strict sense, this class cannot always satisfy the subclass axiom of wetland, requiring soil to always have a wet quality. Perhaps this should be treated more like channel of an intermittent stream." @default.
ENVO_00000395 IAO_0000116 "We need a more general channel definition, the current is only for water course channels. We need to refactor the semantics of channels, tunnels and conduits, in a similar way to uberon anatomical channels http://purl.obolibrary.org/obo/UBERON_0004111. See https://github.com/EnvironmentOntology/envo/issues/147" @default.
ENVO_00000549 IAO_0000116 "Despite the relocation from its position under 'water body' and the rewording of the definition, the class was not obsoleted as the entity being referenced is effectively the same." @default.
ENVO_00000565 IAO_0000116 "The inclusion of "region" in this definition is problematic." @default.
ENVO_00000893 IAO_0000116 "The WWF definition is somewhat ambiguous, but workable." @default.
ENVO_00001998 IAO_0000116 "The various 'has part' and 'has quality' relations may not hold true for all soils; however, I have yet to find counter examples. Require input from a pedologist or similar. [pbuttigieg]" @default.
ENVO_00002008 IAO_0000116 "Do not oversimplify the particulate environmental material subclasses with design patterns or similar. The materials have properties that their components do not - write full definitions including these where possible." @default.
ENVO_00002012 IAO_0000116 "We make no commitment to a particular threshold; this should be described on the data/information layer according to the norms of a discipline, accepted standard, or similar reference." @default.
ENVO_00002053 IAO_0000116 "An interesting reasoning error was generated when this class had "composed primariy of some CHEBI:calcium carbonate". As that was a CHEBI:mineral, and minerals are disjoint from ENVO:rock, it led to an unsatisfiable class. The current axiom works around this, but this is requires some sort of geological convention to diffferentiate between masses of minerals and rocks that are composed primarily of minerals." @default.
ENVO_00002121 IAO_0000116 "The formation processes of these lakes would be an interesting project to develop." @default.
ENVO_00002149 IAO_0000116 "When we have more classes representing the various processes which make seawater seawater, we can further axiomatise this class." @default.
ENVO_00002200 IAO_0000116 "Parse comment from GCW and new subclases where appropriate." @default.
ENVO_00002213 IAO_0000116 "This can be unpacked with some hierarchies of different bioreactors." @default.
ENVO_00002216 IAO_0000116 "Currently, this is limited to the Viridiplantae. This may be changed." @default.
ENVO_00002264 IAO_0000116 "This seems more like a role than a material. Anything can be waste. Thus, a "waste" role or disposition will be created and this class can then be populated by inference: any environmental material which has [role,disposition] waste will be considered a waste material." @default.
ENVO_00002267 IAO_0000116 "This will become a defined class, with subclasses added through inference based on material having a 'waste role' and being associated with industrial entities." @default.
ENVO_00002276 IAO_0000116 "This will become a defined class, with subclasses added through inference based on material having a 'waste role' and being associated with animal metabolism." @default.
ENVO_00002873 IAO_0000116 "This should probably be merged with biological waste material." @default.
ENVO_00002982 IAO_0000116 "Do not oversimplify the particulate environmental material subclasses with design patterns or similar. The materials have properties that their components do not - write full definitions including these where possible." @default.
ENVO_0010003 IAO_0000116 "This class will be depopulated and eventually deprecated. Convenience class." @default.
ENVO_0010121 IAO_0000116 "This has to be reconciled with "legume". Seems to be a subclass." @default.
ENVO_01000016 IAO_0000116 "Do not oversimplify the particulate environmental material subclasses with design patterns or similar. The materials have properties that their components do not - write full definitions including these where possible." @default.
ENVO_01000017 IAO_0000116 "Do not oversimplify the particulate environmental material subclasses with design patterns or similar. The materials have properties that their components do not - write full definitions including these where possible." @default.
ENVO_01000060 IAO_0000116 "Do not oversimplify this branch with design patterns or similar. The materials have properties that their components do not - write full definitions including these where possible." @default.
ENVO_01000063 IAO_0000116 "See Issue #251. Awaiting class creation in PCO to attempt logical definitions." @default.
ENVO_01000256 IAO_0000116 "Look for "mineral" in a chemical or geochemical ontology to formalise the composed primarily of link. From https://en.wikipedia.org/wiki/ [A mineral] is different from a rock, which can be an aggregate of minerals or non-minerals and does not have a specific chemical composition. The exact definition of a mineral is under debate, especially with respect to the requirement a valid species be abiogenic, and to a lesser extent with regards to it having an ordered atomic structure." @default.
ENVO_01000293 IAO_0000116 "Class should be populated by inference and asserted subclasses redistributed." @default.
ENVO_01000308 IAO_0000116 "This would need an instance of planet (i.e. Earth) to be fully expressed. Note that this is not necessarily outer space, as it can include planetary environments that are not of Earth." @default.
ENVO_01000326 IAO_0000116 "Logical def is incomplete. Need to express the idea of maximum chlorophyll. This could follow a pattern like: X has_maximum_levels_of Y relative_to Z, i.e. DCM has_maximum_levels_of chlorophyll relative_to subsurface_aquatic_layer May also be useful to include has_decreased_levels_of light intensity relative_to surface aquatic layer Further discussion in Issue #126." @default.
ENVO_01000372 IAO_0000116 "This will become a defined class, with subclasses added through inference based on material having a 'waste role' and being associated with domestic entities." @default.
ENVO_01000373 IAO_0000116 "This will become a defined class, with subclasses added through inference based on material having a 'waste role' and being composed primarily of some organic or biological matter." @default.
ENVO_01000436 IAO_0000116 "This class should be populated by inference, relying on 'composed primarily of', many 'pieces of solid material' and 'surrounded by' some 'water'." @default.
ENVO_01000518 IAO_0000116 "Unclear whether this should be a subclass of intrusion, as diapirism can actually cause fracturing." @default.
ENVO_01000521 IAO_0000116 "The form of erosion should be further specified." @default.
ENVO_01000526 IAO_0000116 "Subclasses of this class will be created by inference." @default.
ENVO_01000633 IAO_0000116 "See issue #275" @default.
ENVO_01000639 IAO_0000116 "Label should be improved to match definition." @default.
ENVO_01000658 IAO_0000116 "See also: http://www.ecotope.org/anthromes/v1/guide/urban/12_dense_settlements/default.aspx" @default.
ENVO_01000659 IAO_0000116 "Subclasses of this class will be created by inference." @default.
ENVO_01000665 IAO_0000116 "This definition is preliminary." @default.
ENVO_01000675 IAO_0000116 "This should be relocated under "fiat object part" of the BFO during next refactoring. Also, the "part of" relation to atomosphere should be updated to express that this is a fiat part of the atmosphere." @default.
ENVO_01000681 IAO_0000116 "This class is for material primarily composed of sodium chloride. For other pure chemical salts, consider a CHEBI class. Request new ENVO terms for environmental samples of other chemical salts." @default.
ENVO_01000708 IAO_0000116 "A disposition class such as 'flooding disposition' may be interesting, especially when attached to things like meanders and bends." @default.
ENVO_01000714 IAO_0000116 "Needs links to weather when these phenomena are added." @default.