Geoscience Ontology, Common

Abstract endurants do not occupy space nor time - they are aspatial and atemporal, e.g. numbers and other mathematical objects

• gsoc:Notional_Endurant ^c

Amounts of matter refer to volumes of substances such as some gold, wood, iron, water, air, etc. As per Lowe (1998), an amount of matter is either a chunk (unified "part") or heap (seperated and not unified "piece"). A unified chunk of matter is an integral whole (with a unifying condition), is mereologically invariant (can gain or lose parts without loss of identity), is discretely countable (the number of gold ore bodies or sandstone layers can be enumerated), has a single self-connected boundary upon which it is mutually ontologically dependent (the chunk cannot exist essentuially without the boundary, and the boundary cannot exist essentially without the chunk), and is a single entity (self-connected, unfragmented). Being an integral whole, a chunk of matter must then have some amount of matter as an essential part (Brodaric et al. 2019). In contrast, a nonunified heap is mereologically variant, uncountable, and not dependent on a boundary, e.g. a heap of gold grains in an ore body or sand particles on a beach. Moreover, each unified chunk of matter is constituted by an ununified heap of matter, as well as possibly by particles of lower granularity, and can constitute larger amounts of matter or objects: e.g. an amount of mineral is a disaggreated heap of individual unit mineral cells made up by a certain configuration of atoms, and this heap of minerals makes up a single chunk of mineral locked together under binding conditions; the chunk in turn makes up a rock material, which makes up a formation. Note that both chunks and heaps can thus constitute objects: a gold ring is constituted by the chunk and its heap of gold, and a formation is constituted by both the sandstone and its heap of sand and other particles. Even things that seem to be intrisically heaps, such as a dune, are constituted by both heaps and chunks of matter: e.g. by both a heap of sand particles and a chunk of sand (with a discrete shape and boundary). The chunk (of sand) differs from the object (the dune), in the sense that the dune has additional essential characteristics not held by the chunk, such as being a landform (i.e. located on the land surface), having a specific shape (hilly - even though the chunk has the shape, the shape is not essential to it, but is essential to the dune), and is formed by certain geomorphological processes such as wind or water flow (the sand chunk is formed by eroision and weathering). Distinguishing chunks from heaps is important to geology, as it enables chunks to have characteristics of unified matter, which otherwise would be restricted to objects, e.g. one could not then say, for example, some sandstone hosts a fault, but rather that the rock object part constituted by the sandstone hosts the fault. This then enables detailed representation of micro-scale geology, at the granularity of matter, in addition to representation of macro-scale entities such as units or basins.

• gsoc:hasConstituent ^op only
  
• gsoc:hasPart ^op only
  
• gsoc:isConstituentOf ^op only
  
• gsoc:hasQuality ^op some
  

• gsoc:Element ^c
• gsoc:Fluid_Matter ^c
• gsoc:Solid_Matter ^c

A part that is a constituent relation to a whole

• Constituent is one of the most abundant.

• Example-- in a typical granite, Quartz, plagioclase, and K-feldspar are the dominant constituents.

The length of a time interval in some appropriate temporal reference system, e.g. 1 month or 10 Ma.

A feature for which the host participates in some perdurant (wave) i.e. some aspect of the host changes over time

An amount of elements: either a single atom or an aggregation of atoms of a particular element. All subtypes currently refer to an aggregation of atoms of a single element. An element is a species of atom having the same number of protons in its atomic nuclei (that is, the same atomic number, or Z). https://en.wikipedia.org/wiki/Chemical_element.

• gsoc:hasPart ^op only
  
• gsoc:isConstituentOf ^op only
  

The main characteristic of endurants is that they are fully present at any timepoint they exist, but they can change from one timepoint to another - something can be red at one time, and pink at another time. Endurants have onl;y endurants as parts.

• gsoc:hasPart ^op only
  
• gsoc:occupiesTimeIndirectly ^op only
  

• gsoc:Nonphysical_Endurant ^c
• gsoc:Physical_Endurant ^c

Feature constituted by a spatial or aspatial endurant.

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  
• gsoc:hostedBy ^op some
  

• gsoc:Dynamic_Feature ^c
• gsoc:Nonphysical_Feature ^c
• gsoc:Physical_Feature ^c

A event is the thing that happens (an earthquake), and a process is how it happens (the ground shaking). Events are constituted by processes.

• gsoc:hasPart ^op only
  
• gsoc:genericallyDependsOn ^op exactly 1
  
• gsoc:occupiesTimeDirectly ^op exactly 1
  
• gsoc:hasConstituent ^op some
  
• gsoc:hasParticipant ^op some
  

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

A designated example of something: a prototypical part of an instance, or a prototypical instance of a type. Derived from the exemplifies relation.

• gsoc:hasExample ^op
• gsoc:hasSample ^op

• gsoc:mutuallySpecDependsOn ^op exactly 1
  
• gsoc:hasRolePlayer ^op some
  

Reification of the exmplification relation (i.e. of exemplifying something).

A feature is ontologically dependent on at least two distinct things, a host and some essential part, and emerges from some relation holding between them. E.g. hole is hosted by some material entity and has spatial regions as parts (with regions changing as the host moves in space), and emerges from a spatial relation (adjacent containment) between them. A feature is made of parts of the same type, either endurants, perdurants, or possibly situations, so each feature is then itself also a perdurant, endurant or situation, e.g. a hole is also a spatial region.

• gsoc:emergesFrom ^op
• gsoc:hostedBy ^op

• gsoc:emerges ^op
• gsoc:hosts ^op

• gsoc:hasEssentialPart ^op only
  
• gsoc:hostedBy ^op only
  
• gsoc:emergesFrom ^op only
  
• gsoc:emergesFrom ^op some
  
• gsoc:hasEssentialPart ^op some
  
• gsoc:hostedBy ^op some
  

• gsoc:Endurant_Feature ^c
• gsoc:Perdurant_Feature ^c
• gsoc:Situation_Feature ^c

Matter that continually deforms (flows) under an applied shear stress, or external force. Fluids are a phase of matter and include liquids, gases and plasmas. They are substances with zero shear modulus, or, in simpler terms, substances which cannot resist any shear force applied to them. (https://en.wikipedia.org/wiki/Fluid)

• gsoc:Gas ^c
• gsoc:Liquid ^c
• gsoc:Plasma ^c

An amount of matter in a fluid state.

Gas is a state of matter that has no fixed shape and no fixed volume. Gases have lower density than other states of matter, such as solids and liquids. There is a great deal of empty space between particles, which have a lot of kinetic energy. The particles move very fast and collide into one another, causing them to diffuse, or spread out, until they are evenly distributed throughout the volume of the container. (https://www.livescience.com/53304-gases.html)

A coordinate reference system for locating positions relative to the Earth.

A physical void with a self-connected (non-scattered) host, consisting of some depression or cavity within the host. E.g. vug, vesicle, miariolitic cavity.

A dependent place feature that is immaterial. E.g. voids, shadows and relational features such as traffic intersections (meeting of roads). MPF(x) <--> DPF(x) ^ not mat(x)

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

• gsoc:Low_Dimension_Feature ^c
• gsoc:Place_Feature ^c

An Inherent is a thing that occupies space indirectly and depends for its existence on some bearer. The inherent is associated with the bearer via the InheresIn relation. An Inherent is an Endurant because it is present in its totality at any time that it exists. Note: inherants are summative: our colour (the sum of your colour and mine) inheres in us (the sum of you and me).

• gsoc:hasPart ^op only
  
• gsoc:inheresIn ^op exactly 1
  

• gsoc:Quality ^c
• gsoc:Quality_Value ^c
• gsoc:Role ^c

based on quality inhering in (essential relation) host. The quality is the focal; Quality inheres in both the feature and the host. Morphologic feature -- focal is a specific shape (river bend, fold)

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

• gsoc:Nonphysical_Morphologic_Feature ^c
• gsoc:Pattern_Feature ^c

A nearly incompressible fluid that conforms to the shape of its container but retains a (nearly) constant volume independent of pressure. The only state of matter with a definite volume but no fixed shape. (https://en.wikipedia.org/wiki/Liquid)

• A feature that is immaterial but spatially located, typically a lower dimension subdivision of the host (north pole, equator, earth surface, center of town); host is physical endurant, focal is spatial location relative to host.

• point, line or surface in 3-D space; a line or point in a 2-D space, a point in a 1-D space.

• gsoc:Immaterial_Feature ^c
• gsoc:Spatial_Region_1D ^c or gsoc:Spatial_Region_2D ^c or gsoc:Spatial_Region_0D ^c

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

Material endurants are physical things that occupy space (e.g. a rock), but are not the spatial region being occupied.

• gsoc:hasPart ^op only
  
• gsoc:occupiesSpaceDirectly ^op some
  

• gsoc:Amount_Of_Matter ^c
• gsoc:Material_Object ^c

Material Feature (MF): A dependent place feature that is material. - my house's backyard, frontyard.

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

• gsoc:Material_Boundary ^c
• gsoc:Material_Morphological_Feature ^c

Material Objects things constituted by some amounty of matter, but are not an amount of matter themselves, nor can constitute matter.

• gsoc:Material_Endurant ^c

A determinate value of a quality. SubClasses for numeric, spatial coordinate, and temporal coordinate value types. Use this generic value type for free text values e.g. "some text". Categorical values should be subclassed from gsoc:Named_Value

• gsoc:hasDataValue ^dp
• gsoc:hasUOM ^op

• gsoc:hasDataValue ^dp exactly 1
  
• gsoc:hasQuality ^op some
  
• gsoc:hasUOM ^op some
  

• gsoc:Numeric_Value ^c
• gsoc:Spatial_Value ^c
• gsoc:Temporal_Value ^c

• Constituent is ubiquitous but not abundant

• Example -- in some granites, hornblende is a minor constituent.

A named value of some quality,e.g. thin or thick.

• gsoc:Proportion_Value ^c
• gsoc:Shape_Value ^c
• gsoc:State_Of_Matter_Value ^c
• gsoc:Unit_Of_Measure_Value ^c

An endurant that does not occupy space directly, but might occupy space indirectly or not occupy space at all. Indirect spatial occupants have physical endurant parts or are ontologically dependent on physical endurants. Examples of things that indirectly occupy some space, due to such ontological dependence, include physical qualities (my height) and physical relators (reified physical relations). It even includes thoughts, poems, digital files, and datasets, whose existence is tied to being manifest in some physical object (brain, book, storage media). Also includes fictional entities such as unicorns, which must be so manifested to exist.

• gsoc:Endurant ^c

• gsoc:hasPart ^op only
  
• gsoc:hasQuality ^op only
  

• gsoc:Inherant ^c
• gsoc:Notional_Endurant ^c
• gsoc:Relator ^c

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

A feature that is not a part of its host, but characterized by the form or structure of the host: Morphological features can have morphological properties e.g. orientation, thickness, fold profile, etc. Examples: - smile or frown / lips. - mountain / planet surface (protrusion in the planet surface). - graben and horst / planet surface (protrusion or depression in the planet surface caused by faulting).

• gsoc:isQualityOf ^op only
  
• gsoc:isQualityOf ^op exactly 1
  

• gsoc:Proportion ^c
• gsoc:Uncertainty ^c
• gsoc:Unit_Of_Measure ^c

A reference system for non-physical quality values.

Notional endurants do not occupy space, neither directly nor indirectly, e.g. ghosts, some dieties, or numbers. Notional endurants may occupy time (e.g. ghosts, assuming ghosts have finite existence), or may not occupy time (e.g. numbers, which are atemporal). Notional endurants can be part of physical things (e.g. when dieties are held to be part of people), but cannot have physical parts (e.g. when dieties do not have people as parts).

• gsoc:Nonphysical_Endurant ^c

• gsoc:Abstract_Endurant ^c
• gsoc:Reference_System ^c

Quality that specifies a numeric value for some quality

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

• gsoc:Event_Feature ^c
• gsoc:Process_Feature ^c

The part in a whole-part relation

• gsoc:mutuallySpecDependsOn ^op exactly 1
  
• gsoc:hasRolePlayer ^op some
  

• gsoc:Constituent ^c
• gsoc:Sample ^c

Reification of the parthood relation (i.e. to be in a whole-part relation).

• gsoc:hasStaticPart ^op exactly 1
  
• gsoc:hasStaticPart ^op some
  

Any individual, e.g. this rock or that event. Individuals are not types and cannot have instances.

• gsoc:hosts ^op only
  
• gsoc:hasInherant ^op only
  
• gsoc:determinedBy ^op only
  
• gsoc:isExampleOf ^op only
  
• gsoc:hasSetting ^op only
  

• gsoc:Endurant ^c
• gsoc:Feature ^c
• gsoc:Perdurant ^c
• gsoc:Situation ^c

A feature that denotes a manifestation of a pattern. A pattern in GSO is a relation, in two senses: (1) an abstract pattern is a template, which can be expressed as an n-ary predicate with some variables as relata; (2) a manifested pattern is an occurence of the template in some host, and can be expressed as either (a) an n-ary relation with only constants as relata, or (b) an instance of the reification of this relation (i.e. a Relator instance). E.g. wood grain is hosted by some wood matter and the pattern is the reified relation between its wood fibres. Different wood grains are then different (reified and instantiated) relations between its fibres.

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

Pause within an event or process, e.g. Intermission during hockey game or theater performance (host = playing process, constituent = time interval)

A perdurant is something that is not fully present at any timepoint, in the sense that an event, process or temporal interval exists over time, while an endurant exists in time. Perdurants are time regions, such as an interval or instant of time, or they are things that occur in time, such as events or processes. Perdurants have only perdurant parts, and can only have fixed qualities that have unchanging values (e.g. the duration of a time interval); if there is some quality that apparently changes for the perdurant, it is a fixed quality of a part of the perdurant, but is not a quality of the perdurant itself (e.g. the intensity of a process varies over the whole process, but has fixed values for certain time-indexed parts of the process).

• gsoc:hasPart ^op only
  
• gsoc:occupiesSpaceIndirectly ^op only
  
• gsoc:hasQuality ^op only
  
• gsoc:hasQuality ^op only
  

• gsoc:Event ^c
• gsoc:Process ^c
• gsoc:Time_Region ^c

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  
• gsoc:hostedBy ^op some
  

• gsoc:Occurrence_Feature ^c
• gsoc:Temporal_Feature ^c

An endurant that occupies space directly.

• gsoc:Endurant ^c and gsoc:Spatial_Region ^c or gsoc:occupiesSpaceDirectly ^op some
  
• gsoc:hasQuality ^op only
  and gsoc:Endurant ^c

• gsoc:hasPart ^op only
  
• gsoc:hasQuality ^op only
  
• gsoc:constantlySpecDependsOn ^op some
  
• gsoc:occupiesTimeIndirectly ^op some
  

• gsoc:Material_Endurant ^c
• gsoc:Spatial_Region ^c

A feature for which the host is involved in some essential spatial relation,e g. adjacency, containment, intersection, contact.

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

• gsoc:Immaterial_Feature ^c
• gsoc:Material_Feature ^c

A physical void with a scattered (disconnected) host, consisting of the spaces between the scattered parts of the host. e.g. porosity in a rock. {@en}

Quantifiers for dimensions of spatial regions or for location of spatial region in some reference frame.

• gsoc:Shape ^c
• gsoc:Spatial_Location ^c
• gsoc:State_Of_Matter ^c

A set of conventions for describing values of qualities of physical endurants.

A chunk of physical space adjacent to some material feature and surrounded by it. (holes,valleys, canyon, cave, gap, space between fingers). host must be self connected. An empty physical space in 3D. Distinct from abstract mathematical spaces, which include spaces made from various reference frames, including coordinate systems imposed on the earth (these are abstract imposed on real space). V(x) <--> IPF(x) ^ exists y [hosts-v (y,x)]

• gsoc:hostedBy ^op only
  
• gsoc:hostedBy ^op some
  

• gsoc:Hole ^c
• gsoc:Physical_Gap ^c

chunk of physical space (the focal); only hosted by and relative to a material entity, thus not fixed in space (host can move) (downtown, outside my house, personal space)

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

a gas of ions, atoms or molecules which have one or more orbital electrons stripped (or, rarely, an extra electron attached), and free electrons. Whether a given degree of ionization suffices to call the substance "plasma" depends on a specific phenomenon being considered. In other words, plasma is a matter which cannot be correctly described without the presence of charged particles taken into account. (https://en.wikipedia.org/wiki/Plasma_(physics))

A event is the thing that happens (an earthquake), and a process is how it happens (the ground shaking). Events are constituted by processes.

• gsoc:isConstituentOf ^op only
  
• gsoc:hasPart ^op only
  
• gsoc:genericallyDependsOn ^op exactly 1
  
• gsoc:occupiesTimeDirectly ^op exactly 1
  
• gsoc:hasParticipant ^op some
  

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

A quality denoting the fraction that a part composes a whole. Numeric values will range from 0 to 1 (0 to 100%); might also have categorical determinates like 'dominant', 'subordinate', 'minor', 'rare', 'absent'. Can only be the quality of a part role - only specifies how much a part makes up a whole.

Value of Proportion quality

• gsoc:isValueOf ^op only
  
• gsoc:isValueOf ^op exactly 1
  

• gsoc:Dominant_Proportion ^c
• gsoc:Minor_Proportion ^c
• gsoc:Rare_Proportion ^c
• gsoc:Subordinate_Proportion ^c

A colour, mass, density, etc., that inheres in its bearer. Must have some quality values, and only quality values, as persistent parts, e.g. red or 2.0. These values can change over time, but can't be missing (i.e. a quality must a value to exist and retain identity). This means qualities cannot pause their existence: once they carry no value they cease to exist and cannot exist again, and if a similar quality resurfaces, it would be a different quality. For example, a sponge might have alternating qualities of softness (when wet) and hardness (when dry), with each being a distinct quality. Qualities can only have values as parts, not other things, but they can possess qualities, such as colour having the qualities hue, value, situation.

• gsoc:hasStaticValue ^op
• gsoc:hasValue ^op
• gsoc:isQualityOf ^op

• gsoc:hasQuality ^op
• gsoc:isStaticValueOf ^op
• gsoc:isValueOf ^op

• gsoc:hasPart ^op only
  
• gsoc:hasValue ^op only
  
• gsoc:isQualityOf ^op exactly 1
  
• gsoc:hasValue ^op some
  

• gsoc:Nonphysical_Quality ^c
• gsoc:Physical_Quality ^c
• gsoc:Temporal_Quality ^c

A value of (essential part of) a quality; can be a measured value (e.g. 2.0), named value (e.g. thick), or a range (e.g. 2.0-2.2 or thin-thick). Values exist within a reference system.

• gsoc:hasReferenceSystem ^op
• gsoc:isStaticValueOf ^op
• gsoc:isValueOf ^op

• gsoc:hasStaticValue ^op
• gsoc:hasValue ^op
• gsoc:isReferenceSystemFor ^op

• gsoc:isValueOf ^op exactly 1
  
• gsoc:hasReferenceSystem ^op some
  

• gsoc:Measure_Value ^c
• gsoc:Named_Value ^c
• gsoc:Range_Value ^c

A range value for some quality, e.g. 2.0-3.0 or thin-thick

• gsoc:hasEndValue ^op
• gsoc:hasStartValue ^op

• gsoc:hasEndValue ^op some
  
• gsoc:hasStartValue ^op some
  

• Constituent is present but uncommon and rarely observed.

• Example-- in a typical granite, zircon and apatite are rare constituents

Notional endurant that establishes a frame of reference for a quality value. Although typically mathematical, it is not necessarily abstract, because some reference systems are dependent on non-abstract endurants located in space or time; e.g. a spatial coordinate system for the earth (tied to the Earth's ellipsoid), or a temporal coordinate system tied to the Earth's moon or sun (i.e. lunar or solar calendar)

• gsoc:Nonphysical_Reference_System ^c
• gsoc:Physical_Reference_System ^c
• gsoc:Temporal_Reference_System ^c

A relator is a reified relation: e.g. parthood reifying the whole-part relation, or meeting reifying the meets relation. Consists of static parts only, which are the roles played by each relata in the relation (with min 2 for a binary relation). A relator is thus specifically (statically) dependent on each role / part (min 2) and on each relata (min 2). Relators can also have qualities, which are also not parts, such as the intensity of the relation.

• gsoc:hasPart ^op only
  
• gsoc:hasStaticPart ^op min 2
  
• gsoc:mutuallySpecDependsOn ^op min 2
  
• gsoc:specificallyDependsOn ^op min 4
  

• gsoc:Exemplification ^c
• gsoc:Parthood ^c

Roles are played by a relata in a relation, e.g. a person plays the role of employee in an employs relation. The relata playing the role is the RolePlayer and the other relata are RoleObjects. Because a role (Mary as employer, John as employee) is derived from a specific relation, e.g. Mary employs John, it mutully depends on a specific reified relation instance (Relator - the employment of John by Mary). Roles carry qualities - indeed, they are are a bundle of qualities.

• gsoc:hasRoleObject ^op
• gsoc:hasRolePlayer ^op

• gsoc:hasRole ^op
• gsoc:isRoleObjectFor ^op

• gsoc:hasRolePlayer ^op exactly 1
  
• gsoc:mutuallySpecDependsOn ^op exactly 1
  
• gsoc:hasRoleObject ^op some
  

• gsoc:Example ^c
• gsoc:Part ^c
• gsoc:Whole ^c

A dislocated part of a thing, collected for some reason. Some samples are also examples of their whole (i.e. are prototypical) and others are not.

A setting is a situation that provies context, usually casual, for a some individual. E.g. Marine Setting and Alluvial Fan Setting are settings for things causally impacted by them. {@en

Property to specify the shape of an object. Lots of possible property spaces under this, e.g. (in geology) roundness, sphericity, aspect ratio. These are implemented as separate properties linked to gsoc:Shape via hasQuality

Place holder for category vocabularies to describe the shape of a morphological feature, e.g. fold, fold limb.

• gsoc:isValueOf ^op only
  
• gsoc:isValueOf ^op exactly 1
  

A situation is a fragment of the world with any particulars as parts and some criteria that unifies the parts into an integral whole. Situations overlap with perdurants and endurants: e.g. some situations are endurants (endurant parts only) or perdurants (perduranty parts only), and others are just situations (mixed endurant and perdurant parts). Because features are either endurants, perdurants or situations too, all situations with feature parts will also be one of these types. However, it is still tbd if situations comprised of features are features too.

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

Matter with a definite shape, mass, and volume, that does not conform to the shape of a container in which it is placed. Solids have a high density, meaning that the particles are tightly packed together. (https://www.livescience.com/46506-states-of-matter.html) A solid is characterized by structural rigidity and resistance to a force applied to the surface. The atoms in a solid are bound to each other, either in a regular geometric lattice (crystalline solids, which include metals and ordinary ice), or irregularly (an amorphous solid such as common window glass). Solids cannot be compressed with little pressure whereas gases can be compressed with little pressure because the molecules in a gas are loosely packed. (https://en.wikipedia.org/wiki/Solid)

An amount of matter in a solid state

A physical property that specifies the position of an entity relative to some spatial reference system. Use WKT strings (ogc:WKTLiteral, https://www.w3.org/2011/02/GeoSPARQL.pdf) as data values.

• gsoc:isQualityOf ^op only
  
• gsoc:hasValue ^op only
  
• gsoc:isQualityOf ^op exactly 1
  

A chunk of space, either 0-3 dimensional.

• gsoc:Physical_Endurant ^c

• and gsoc:Physical_Endurant ^c
• gsoc:Physical_Endurant ^c and gsoc:hasQuality ^op exactly 1
  

• gsoc:spaceOccupiedBy ^op
• gsoc:spaceOccupiedDirectlyBy ^op
• gsoc:spaceOccupiedIndirectlyBy ^op

• gsoc:occupiesSpace ^op
• gsoc:occupiesSpaceDirectly ^op
• gsoc:occupiesSpaceIndirectly ^op

• gsoc:spaceOccupiedDirectlyBy ^op only
  
• gsoc:hasPart ^op only
  
• gsoc:hasQuality ^op exactly 1
  

• gsoc:Spatial_Region_0D ^c
• gsoc:Spatial_Region_1D ^c
• gsoc:Spatial_Region_2D ^c
• gsoc:Spatial_Region_3D ^c

A degenerate spatial region that is a single point.

• gsoc:Spatial_Region ^c

A spatial region that is defined as a segment of a line.

Apatial region that is a surface.

A spatial region with volume.

A spatial location value in some spatial reference system

• gsoc:hasReferenceSystem ^op only
  
• gsoc:isValueOf ^op only
  

State of matter qualities include State_Of_Matter_Value and should also include the pressure and temperature conditions that apply. If none are stated, default is standard temperature and pressure. Since 1982, STP is defined as a temperature of 273.15 K (0 °C, 32 °F) and an absolute pressure of exactly 105 Pa (100 kPa, 1 bar) (https://en.wikipedia.org/wiki/Standard_conditions_for_temperature_and_pressure)

• gsoc:isValueOf ^op only
  
• gsoc:isValueOf ^op exactly 1
  

• gsoc:Fluid ^c
• gsoc:Solid ^c

• Constituent is less abundant than dominant constituent, but present in sufficient abundance to be an obvious constituent

• Example--in a typical granite, biotite is a subordinate constituent.

examples: start of Jan. host = Jan; constituent = start datetime of every Jan

A feature for which either the constituent is a Perdurant

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

• gsoc:Time_Instant_Feature ^c
• gsoc:Time_Interval_Feature ^c

Gap in time between perdurants, E.g. offseason = time between end of sports season and beginning of next; hosts = sports seasons (2020 and 2021 NHL campaign events), constituent = time interval; relation = temporally disjoint

The location of a time region within a temporal reference system. Has temporal values such as 21 Jan 2020 or 100 Ma - 200 Ma.

• gsoc:isQualityOf ^op only
  
• gsoc:hasValue ^op only
  
• gsoc:isQualityOf ^op exactly 1
  

• gsoc:Time_Instant_Location ^c
• gsoc:Time_Interval_Location ^c

Quality that specifies the temporal location or duration that is the extent of some TimeRegion

• gsoc:Duration ^c
• gsoc:Temporal_Location ^c

Quality that specifies a quality value for a Temporal Location that is a time interval with a start and end temporal value

• gsoc:isValueOf ^op only
  
• gsoc:hasEndValue ^op only
  
• gsoc:hasStartValue ^op only
  

A reference system for temporal values.

Quality that specifies a temporal location

• gsoc:isValueOf ^op only
  
• gsoc:hasReferenceSystem ^op only
  

• gsoc:Time_Date_Value ^c
• gsoc:Time_Numeric_Value ^c

• gsoc:Pause ^c
• gsoc:Temporal_Gap ^c

• gsoc:Temporal_Value ^c
• gsoc:hasDataValue ^dp only
  or gsoc:hasDataValue ^dp only
  

A time instant is a point in time.

• gsoc:hasPart ^op only
  
• gsoc:hasQuality ^op exactly 1
  
• gsoc:specificallyDependsOn ^op exactly 1
  

• gsoc:hasEssentialPart ^op only
  
• gsoc:hasEssentialPart ^op some
  

quality the specifies the temporal coordinates of a time instant in some temporal reference system

• gsoc:hasValue ^op only
  
• gsoc:hasValue ^op some
  

• A region of time that has a duration greater than 0.

• Time intervals are continuous without gaps.

• gsoc:nextTimeInterval ^op
• gsoc:previousTimeInterval ^op

• gsoc:nextTimeInterval ^op
• gsoc:previousTimeInterval ^op

• gsoc:hasQuality ^op exactly 1
  
• gsoc:specificallyDependsOn ^op exactly 1
  

quality the specifies the temporal coordinates of the beginning and end of time interval in some temporal reference system

• gsoc:hasValue ^op only
  
• gsoc:hasQuality ^op some
  
• gsoc:hasValue ^op some
  

Quality that specifies a temporal location with a temporal coordinate or an xsd dateTime

A chunk of time, either an instant or interval, with a temporal location quality.

• gsoc:timeOccupiedBy ^op
• gsoc:timeOccupiedDirectlyBy ^op
• gsoc:timeOccupiedIndirectlyBy ^op

• gsoc:occupiesTime ^op
• gsoc:occupiesTimeDirectly ^op
• gsoc:occupiesTimeIndirectly ^op

• gsoc:hasPart ^op only
  
• gsoc:timeOccupiedDirectlyBy ^op only
  
• gsoc:hasQuality ^op exactly 1
  
• gsoc:specificallyDependsOn ^op exactly 1
  

• gsoc:Time_Instant ^c
• gsoc:Time_Interval ^c

• gsoc:isQualityOf ^op only
  
• gsoc:hasValue ^op only
  

Unit of measure categories; profile from QUDT ontology (http://qudt.org/2.1/vocab/unit).

Text string to specify a spatial location according to ISO/IEC 13249-3:2016 (Information technology – Database languages – SQL multimedia and application packages – Part 3: Spatial (5th ed.), ISO, 2016-01-15, retrieved 2019-01-28)

• gsoc:hasDataValue ^dp only
  
• gsoc:hasDataValue ^dp some
  

The whole in a whole-part relation.

• gsoc:mutuallySpecDependsOn ^op exactly 1
  
• gsoc:hasRolePlayer ^op some
  

Most general domain-neutral relation (e.g. non-spatial, non-temporal, non-geological,...)

• gsoc:dependance ^op
• gsoc:determination ^op
• gsoc:exemplification ^op
• gsoc:hasDataValue ^dp
• gsoc:parthood ^op
• gsoc:production ^op
• gsoc:reference ^op

Most general relation in GSO holding between any two things

• gsoc:hasAnnotation ^ap
• gsoc:isFundamentallyRelatedTo ^p
• gsoc:isSpatiallyRelatedTo ^op
• gsoc:isTemporallyRelatedTo ^op

Specific dependence with spatial and temporal adjacency between relata.

• gsoc:spatiallyTouches ^op
• gsoc:spatio-temporallyDependsOn ^op

Constant generic dependance in which relata are co-temporal, that is, the dependee exists during the lifespan of the dependent.

• gsoc:constantlySpecDependsOn ^op
• gsoc:hasPersistentPart ^op
• gsoc:location ^op
• gsoc:occupies ^op

Constant specific dependence, in which the dependee is co-temporal with the dependent.

• gsoc:constantlyGenDependsOn ^op
• gsoc:specificallyDependsOn ^op
• gsoc:timeIncludedBy ^op

• gsoc:hasStaticPart ^op
• gsoc:inheresIn ^op
• gsoc:isValueOf ^op
• gsoc:materiallyDependsOn ^op

The interior and boundary of the subject spatial region intesect only the interior of the object spatial region. Subject region is in the interior of the object region.

Object region lies in subject region, and the interiors intersect. Another definition: "subject region contains object region iff no points of object region lie in the exterior of subject region, and at least one point of the interior of object region lies in the interior of subject region".

the boundary of the subject intersects the interior or the boundary of the object region, and the interior of the subject intersects only the interior of the object region. Every point of the subject region is a point in the interior or the boundary of the object region.

At least one point of object region lies in subject region, and no point of object region lies in the exterior of subject region, or every point of object region is a point of (the interior or boundary of) subject region. Alternative: The interior of the subject region intersects the interior or the boundary of the object region, and the boundary of the subject region intersects the boundary of the object region.

The subject and object spatial regions have some but not all interior points in common, and the dimension of the intersection is less than that of at least one of them.

Undirected dependence relation.

• gsoc:dependsOn ^op
• gsoc:hasDependent ^op

Directed relation between a dependent entity (that relies on something) and a dependee (the thing being relied on).

• gsoc:genericallyDependsOn ^op
• gsoc:materiallyDependsOn ^op

Undirected relation in which something acts as evidence or method to validate an entity

• gsoc:determinedBy ^op
• gsoc:determines ^op

Directed relation between an entity and something that helps validate it.

Directed relation between something, as validator, and the thing being validated.

The directed relation between a relator and feature, in which the feature is derived from the relator, i.e. the relator emerges the feature.

The emergence of a feature from a relator.

Undirected relation between an example and the thing it exemplifies. Both instances and types can be exemples and exemplified, e.g. as typical instance of a type, or a typical part of something.

• gsoc:exemplifies ^op
• gsoc:isExemplifiedBy ^op

Directed relation between an exemple and the thing being exemplfied.

External generic ontological dependence in which the dependee is not an internal entity, e.g. is not a quality, role, constituent, or essential part, but is some external entit.

• gsoc:externallySpecDependsOn ^op
• gsoc:hasParticipant ^op

External specific dependence, i.e. not dependent on own parts, qualities, roles, constituents, etc.

• gsoc:externallyGenDependsOn ^op
• gsoc:specificallyDependsOn ^op

• gsoc:emergesFrom ^op
• gsoc:spatio-temporallyDependsOn ^op

Directed generic ontological dependence relation in which something relies on something else of a certain type; excludes self-dependence and other edge problematic cases, and is atemporal (relata need not co-exist in time). Note the relation cannot be more explicitly defined in this notation.

• gsoc:constantlyGenDependsOn ^op
• gsoc:externallyGenDependsOn ^op
• gsoc:hasEssentialPart ^op
• gsoc:hostedBy ^op
• gsoc:specificallyDependsOn ^op

Relation between an object and something (the consitituent) that makes up the object.

Directed relation between a dependee (the thing being relied on) and the dependent (the thing that relies on something).

• gsoc:emerges ^op
• gsoc:hasInherant ^op
• gsoc:hosts ^op
• gsoc:isEssentialPartOf ^op
• gsoc:isParticipantIn ^op
• gsoc:isRoleObjectFor ^op
• gsoc:occupiedBy ^op

The upper bound in quality value range.

The whole is generically dependent on this part, which must be present at some time during the whole, but not necessarilly all times, and can be exchanged - all without loss of identity for the whole.

• gsoc:genericallyDependsOn ^op
• gsoc:hasPart ^op

• gsoc:hasPersistentPart ^op
• gsoc:isSettingFor ^op

Relation between an exemplified entity and its example.

Inverse relation to inheresIn - directed relation between a carrier and the inherant it carries. E.g. between a rock body and a thickness.

• gsoc:hasQuality ^op
• gsoc:hasRole ^op

A participant in a process that must be present before the process can run.

The host is older than the hosted entity.

• gsoc:hostedBy ^op
• gsoc:timeYoungerThan ^op

A participant in a process that is produced by the action of the process and is present when the process is complete.

Standard directed relation between a whole and a part; the part could be proper or improper.

The participation of an endurant in a process or event.

• gsoc:hasInput ^op
• gsoc:hasOutput ^op

The part must be present at all times the whole is present, and the part can be exchanged but not missing.

• gsoc:constantlyGenDependsOn ^op
• gsoc:hasEssentialPart ^op

• gsoc:hasConstituent ^op
• gsoc:hasStaticPart ^op
• gsoc:hasValue ^op

Directed relation between something and a quality that is carried by it.

Dircted relation a quality value and its reference system.

The directed relation between a role player, and the role. E.g. between a rock material and the clast that is made up of that material.

property that links a Role to the Particular that the RolePlayer is linked to in a relationship

• gsoc:isExampleOf ^op
• gsoc:isSampleOf ^op

A role is played by (has a role player) something in a relation; e.g. students, employees, pilots are played by persons in enrollment, employment, and flying relations, respectivey.

Relation between an sampled entity and its sample.

Relation between somethingh and its contextualized setting.

A relation between a non-abstact particular and a spatial location value - still in a test stage; intended as a short-cut for specifying the spatial location of something, but therefore equal to saying that something occupies space (in/directly) and has a spatial location quality with a certain spatial value (in a spatial reference system).

The lower bound in a quality value range.

The specifc individual that is a part must always be co-present with whole, cannot be exchanged nor missing, and whole is specifically dependent on it.

• gsoc:constantlySpecDependsOn ^op
• gsoc:hasPersistentPart ^op

• gsoc:hasEndValue ^op
• gsoc:hasStartValue ^op
• gsoc:hasStaticValue ^op

Having a fixed quality value that cannot change during the existence of the quality.

• gsoc:hasStaticPart ^op
• gsoc:hasValue ^op

top level property for assigning property values; subtype for associating values with measurement units

top level property for assigning property values; subtype for particular kinds of values (integer, category, number boolean...)

The host is younger than the hosted entity.

• gsoc:hostedBy ^op
• gsoc:timeOlderThan ^op

The relation of hosting a feature, such the material object that hosts a hole.

• gsoc:hasOlderHost ^op
• gsoc:hasYoungerHost ^op
• gsoc:staticHostedBy ^op

Direction relation of hosting a feature in which the feature is generically dependent on the host.