Smiley face

Federated Concept Library Glossary

Copyright (c) Data Access Technologies, Inc.

Available under the GNU Public License (GPL 3.0)

A B C D E F G H I J K L M N O P Q R S T U V W X Y

A
Absorbed Dose (Radiation)

Model-Generated Definition:

Definition: The energy of ionizing radiation absorbed per unit mass by a body, often measured in rads.

Abuse Resource

Model-Generated Definition:

A kind of Resource Actions.

Definition: An action to misuse a resource.

Acceleration

Model-Generated Definition:

Definition: The rate of change of velocity per unit of time.

Access Identifier

Model-Generated Definition:

Definition: An term, data value or other sign that identifies a person for access to a resource.

Access Point

Model-Generated Definition:

A kind of Resource. A valid occurrence may have the following properties:

Definition: A point of entry into or out of a system such as a door, gate, port, or "interface" into an information system.

Acre

Model-Generated Definition:

A kind of Area.

Definition: 1 acre = 43 560 square feet.

Activity

Model-Generated Definition:

A kind of Means and Occurrence.

Definition: An Event performed by one or more actors intended to meet a need.
[UAF] Work, not specific to a single organization, weapon system or individual that transforms inputs (Resources) into outputs (Resources) or changes their state.

Activity Effecting Entity

Model-Generated Definition:

A kind of Activity. A valid occurrence satisfies the following necessary condition:

Definition: An event (planned or actual) that affects specific things in specific ways.

Actor

Model-Generated Definition:

A kind of Actual Entity and Contactable. A valid occurrence may have the following properties:

Definition: An entity capable of behavior - performing an activity or process.

[IDEAS] Agent: Something capable of action.
[FIBO] AutonomousAgent: An agent is an autonomous individual that can adapt to and interact with its environment.

Actual Activity

Model-Generated Definition:

A kind of Activity and Actual Occurrence.

Definition: A specific, actual, activity that has or may happen.

Actual Entity

Model-Generated Definition:

A kind of Temporal Entity. A valid occurrence satisfies the following necessary condition:

Definition: An actual entity is an identifiable, temporal and individual person, specific object, process enactment, agreement, etc. Actual Entities do not have to be physical, e.i. may denote social constructs. Actual entities are disjoint from types.
A more specific class of actual entity (e.g., Person) is intended to refine the classification of the individual thing.
Individuality (or selfhood) is the state or quality of being an individual; particularly of being separate from other individuals and possessing identity. Actual entities typically have a lifetime and some individuals may change over that lifetime. Individuals may have parts that together help define the individual but may change over time.
"Actual" does not imply current existence.

[ISO 1087] individual concept: concept (3.2.1) which corresponds to only one object

[UML] Loose correspondence with "InstanceSpecification". SMIF instances are direct instances of their types, there is no "indirection" through value specification as their is in UML.

[Guizzardi] (individual concept)

[CL] Individual: one element of the universe of discourse

[DOLCE] Particular: particulars are entities which have no instances

[SOWA1999] Independent. Can be considered "Actuality" when including social constructs in [SOWA1999] Physical.

[OWL] Individual

Actual Occurrence

Model-Generated Definition:

A kind of Actual Situation and Occurrence.

Definition: A specific individual occurrence that has happened, is happening or may happen.

[FIBO] Occurrence: An Occurrence is a happening of an OccurrenceKind. Each Occur-rence has a DateTimeStamp, which identifies when the Occurrence happened, and a Location (possibly virtual), that identifies where the Occurrence happened.

Actual Situation

Model-Generated Definition:

A kind of Actual Entity and Situation.

Definition: An actual situation is an individual situation that actually exists, happened in the past or may exist in some possible world, not a template or process definition. Such situations must exist for a time interval, however there are no constraints on such a time interval - from an instant to the life of the universe.

DTV: Occurrence: state of affairs that is a happening in the universe of discourse

Actual State

Model-Generated Definition:

A kind of Actual Situation and State.

Definition: A condition that has, will or does exist.

Add Information

Model-Generated Definition:

A kind of Add To Container Event and Information Action. A valid occurrence satisfies the following necessary conditions:

Definition: An action to add information to a repository or information structure.

Add To Container Event

Model-Generated Definition:

A kind of Containment Event. A valid occurrence satisfies the following necessary condition:

Definition: An event that puts things into containers or locations. This results in a new containment relationship.

Alter Ability

Model-Generated Definition:

A kind of Activity Effecting Entity. A valid occurrence may have the following properties:

  • performed by any number of occurrences of Facilitator.

Definition: The Event of providing or removing abilities (including control) by impacting the resources available to an actor.

Amount of Substance

Model-Generated Definition:

Definition: The abstract unit of the amount of a substance which is the supertype of all amount units and also acts as its "quantity kind".
Amount of substance is a standards-defined quantity that measures the size of an ensemble of elementary entities, such as atoms, molecules, electrons, and other particles. It is sometimes referred to as chemical amount. The International System of Units (SI) defines the amount of substance to be proportional to the number of elementary entities present. The SI unit for amount of substance is the mole. It has the unit symbol mol.

Ampere

Model-Generated Definition:

A kind of Electric Current.

Definition: [NIST-SI] The ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 meter apart in a vacuum, would produce between these conductors a force equal to 2 x 10-7 newton per meter of length.

[IDEAS] electricCurrentInAmperes: A measureNamedNumericallyBy that names an ElectricCurrent with its ValueInAmperes

AND Condition

Model-Generated Definition:

A kind of Composite Condition.

Definition: A situation that is true (happening) only when all "enabled by" are true - AND

Angle

Model-Generated Definition:

Definition: The space (usually measured in radians or degrees) between two intersecting lines or surfaces at or close to the point where they meet.

Animal

Model-Generated Definition:

A kind of Actor and Physical Entity. A valid occurrence may have the following properties:

  • birth date any number of occurrences of Time Point.
  • death date any number of occurrences of Time Point.
  • standing height any number of occurrences of Length.

Definition: Any member of the kingdom Animalia, comprising multicellular organisms that have a well-defined shape and usually limited growth, can move voluntarily, actively acquire food and digest it internally, and have sensory and nervous systems that allow them to respond rapidly to stimuli. A super type of "Person".

Annotation Property

Model-Generated Definition:

A kind of Characteristic Type.

Definition: An annotation property is a specialization of property where the referenced elements represent metadata about the related proposition, structure or information (or model element) rather than a fact or condition of the domain being represented.
For an annotation property, <is of type> describes instances of the structured type for which the property is defined.
Typical uses of annotations include provenance of information, when a record was created, etc.
[ISO11404] annotation: descriptive information unit attached to a datatype, or a component of a datatype, or a procedure (value), to characterize some aspect of the representations, variables, or operations associated with values of the datatype

Area

Model-Generated Definition:

Definition: [QUDT] Area is a quantity expressing the two-dimensional size of a defined part of a surface, typically a region bounded by a closed curve.

Assessed Entity

Model-Generated Definition:

A kind of Identifiable Entity.

Definition: Role of an entity that is assessed.

Assessment

Model-Generated Definition:

A kind of Actual Entity. A valid occurrence may have the following properties:

Definition: An evaluation, appraisal, or assessment of something or someone.

[NIEM] AssessmentType: The act of evaluating or estimating the nature, ability, or quality of something. {Note: In NIEM the assessment and activity are combined}

Assessment Activity

Model-Generated Definition:

A kind of Activity. A valid occurrence may have the following properties:

  • produces any number of occurrences of Assessment.

Definition: An activity that results in an assessment - An evaluation, appraisal, or assessment of something or someone. An assessment frequently as an artifact, a report of the assessment.
[NIEM] AssessmentType: The act of evaluating or estimating the nature, ability, or quality of something.

Association

Model-Generated Definition:

A kind of Property Owner and Proposition. A valid occurrence satisfies the following necessary condition:

Definition: An association makes a logical statement involving related things, the association ends. An association may be asserted within a context as true or false within that context. Each association type has a number of bindings of which are immutable for that association.
An association may be true or false within its context and is atomic in its truth value.
Associations are differentiated from relationships in that associations are not situations - they are not temporal and do not change over time. Associations may be a consequence of relationships or other situations or may be derived from qualities of associated ends.
Associations can "own" owned property bindings as their "ends".
See also: Relationship
[Guizzardi] Intrinsic Relation
[UML] Link
[DOLCE] Formal Relation

Association Type

Model-Generated Definition:

A kind of Property Owner Type. A valid occurrence may have the following properties:

  • categorizes any number of occurrences of Association.

Definition: A type of Association (See Association for details) which defines a set of "Association Property Types" which are the types of association property bindings. Associations are not situations - the are not temporal things. THis does not prevent subtypes of associations from being situations.
[Guizzardi] Intrinsic Relation Type
[UML] Association
[OWL] For binary associations, may be considered a pair of properties that are Inverse Object Properties.

Atomic Information Object

Model-Generated Definition:

A kind of Information Object. A valid occurrence satisfies the following necessary condition:

  • value exactly one occurrence of Value.

Definition: An atomic information object is a managed piece of information composed entirely of a single value. e.g. an MP3 representation of a song. Note that different viewpoints and abstractions may not agree on what is "atomic". e.g. a music editor may consider a song a series of samples.

Authority

Model-Generated Definition:

Definition: An actor with authority over resources such that it can assert policy or behavior.
[ISO 15779:2011] organization, office, or individual responsible for approving equipment, installations or procedures

Automated Entity

Model-Generated Definition:

A kind of Controlled Entity.

Definition: Any actual entity all or partially controlled by automation.

Automation Type

Model-Generated Definition:

Definition: A categorization of computers and software across any dimension - chip type, operating system, language, manufacturer, virtual machine, etc. The automation type may be used to establish software compatibilities and vulnerabilities. Note that any automation may be categorized by multiple automation types.

Automaton

Model-Generated Definition:

A kind of Actor and System.

Definition: A machine or group of machines (most often a computer system, robot, or computerized swarm combined with software), or software that can perform actions in accordance with a process without another actor directing each step of the process.
Distinguished from simple tools which facilitate an actor performing a process but have no innate ability to follow such a process.
Automation is distinguished from "legal entity" and "stakeholder", roles of some actors which indicates the ability to enter into legally binding agreements or have objectives (at this time no Automatons are legal entities or stakeholders but the model does not preclude the possibility).

B
Base Unit Type

Model-Generated Definition:

A kind of Unit Type.

Definition: One unit type of a quantity kind may be marked as the base unit within a system of units. The base unit provides the basis for conversions between units of the same quantity kind. The base unit always has a ratio of one and an offset of zero.

Type of a [JCGM 200:2008] measurement unit that is adopted by convention for a base quantity

[FIBO] (type of) Base Unit: a measurement unit that is defined by a system of units to be the reference measurement unit for a base quantity

There ma be at most one base unit for a quantity kind within a system of units.

Becquerel (Bq)

Model-Generated Definition:

A kind of Radioactivity.

Definition: The SI unit of radioactivity, corresponding to one disintegration per second.

Benefit

Model-Generated Definition:

A kind of Consequence. A valid occurrence may have the following properties:

  • results from any number of occurrences of Opportunity.

Definition: A benefit is a consequence of a situation having positive desirability.

Boundary

Model-Generated Definition:

A kind of Resource.

Definition: Something on the edge of a system that serves to contain or protect components of that system.
Some boundaries protect resources of the system/enterprise and may also be countermeasures.
e.g., Fences, firewalls, skin.

C
Candela

Model-Generated Definition:

A kind of Luminosity.

Definition: The candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540 x 1012 hertz and that has a radiant intensity in that direction of 1/683 watt per steradian.[NIST-SI]

[IDEAS] luminousIntensityInCandela: A measureNamedNumericallyBy that names a LuminousIntensity with its ValueInCandela

Capture Resource

Model-Generated Definition:

A kind of Resource Actions.

Definition: Action to capture or gain control of some resource.

Category

Model-Generated Definition:

A kind of Facet.

Definition: A category is a classification or division of people, events or things regarded as having particular shared characteristics. Categorization is typically contextual, potentially transient and may or may not be formally defined.
As with all facets, categories are non-rigid. Something classified by a category must also be classified by an entity type.

Celsius

Model-Generated Definition:

A kind of Temperature.

Definition: Centigrade. The temperature scale (Celsius scale) in which 0° represents the ice point and 100° the steam point of water.

Characteristic Binding

Model-Generated Definition:

A kind of Actual Situation and Property Binding. A valid occurrence may have the following properties:

Definition: A characteristic of a specific thing, e.g. the color of Pump-1234 in the <bound to> entity. A characteristic is a "first class" element and may participate in relationships and have annotations.

[IDEAS] measureOfIndividual: A typeInstance that asserts an Individual is an instance of a Measure - i.e. the Individual "has" a property corresponding to the Measure.

[ISO 1087] characteristic: abstraction of a property of an object (3.1.1) or of a
set of objects

[Guizzardi] quality(x) =def ∃!U qualityUniversal(U) ∧ (x::U)

[DOLCE] Quality

Characteristic Type

Model-Generated Definition:

A kind of Property Type and Situation Type. A valid occurrence may have the following properties:

Definition: A kind of characteristic a type of thing may have, e.g. paint may have a color. Characteristic type is the type of characteristic bindings which are "first class" elements and may participate in relationships and have other characteristics.

[IDEAS] Property: An IndividualType whose members all exhibit a common trait or feature. Often the Individuals are states having a property (the state of being 18 degrees centigrade), where this property can be a CategoricalProperty (qv.) or a DispositionalProperty (qv.).

[ISO 1087] type of characteristics: category of characteristics (3.2.4) which serves as the criterion of subdivision when establishing concept systems. NOTE The type of characteristics colour embraces characteristics (3.2.4) being red, blue, green, etc. The type of characteristics material embraces characteristics made of wood, metal, etc.

[FIBO] Simple Property: Simple Properties are assertions about things in a class, which may be framed in terms of some simple type of information.

[Guizzardi] qualityUniversal(U)

[DOLCE] Quality Type

[OWL] rdf:Statement

[UML] Property

Client

Model-Generated Definition:

Definition: The role of a responsible performer receiving goods or services from a provider.
[FIBO] Client: a party that acquires, or agrees to acquire, ownership (in case of goods), or benefit or usage (in case of services), in exchange for money or other consideration under a contract of sale

Close Information

Model-Generated Definition:

A kind of Information Action.

Definition: An action that removes information from visibility.

Color

Model-Generated Definition:

A kind of Unit Value.

Definition: Color is the visual perceptual property corresponding in humans to the categories called red, blue, yellow, and others. Color derives from the spectrum of light (distribution of light power versus wavelength) interacting in the eye with the spectral sensitivities of the light receptors. Color categories and physical specifications of color are also associated with objects or materials based on their physical properties such as light absorption, reflection, or emission spectra. By defining a color space, colors can be identified numerically by their coordinates.

Communicating Device

Model-Generated Definition:

A kind of Contactable and Device.

Definition: A device able to communicate or facilitate communications across a network.

Communications Link

Model-Generated Definition:

Definition: A physical or virtual link between communications devices allowing them to communicate.

Communications Network

Model-Generated Definition:

A kind of Actual Entity, Composite, and Namespace. A valid occurrence may have the following properties:

Definition: A physical or electronic system intended to facilitate communications between entities. Includes communications channels, computer networks, physical mail and RF networks.

Communications Security Level

Model-Generated Definition:

A kind of Text Identifier.

Definition: An abstract type for levels of security in communications.

Composite

Model-Generated Definition:

A kind of Identifiable Entity.

Definition:

Composite Condition

Model-Generated Definition:

A kind of State. A valid occurrence may have the following properties:

  • negate any number of values of Boolean.

Definition: A composite condition is a state that is inferred to be true or false based on the set of "affected by" (input) situations and the logic of the specific composite event subtype and the condition (if any).
The composite condition can then be used to trigger a set of "effects" (output) situations.
Combinations of Events, states. and composite conditions be combined with composite conditions to represent fault, flow or dependency graphs.
Note that cause & effect, negation and enablement are all subtypes of effect and can be combined using composite conditions.

Composite Process

Model-Generated Definition:

Definition:

Compound Duration Value

Model-Generated Definition:

A kind of Duration. A valid occurrence may have the following properties:

Definition: A value for a duration derived from the sum of primitive duration values. e.g. 2 days and 3 hours or 2016 years, 12 months and three days.

Computed

Model-Generated Definition:

A valid occurrence may have the following properties:

Definition:

Computed Facade

Model-Generated Definition:

A kind of Facade.

Definition: A facade that is computed by calling external methods.

Computer Control System

Model-Generated Definition:

Definition: A computer control system is a device, or set of devices, that manages, commands, directs or regulates the behavior of other devices or systems. Industrial control systems are used in industrial production for controlling equipment or machines.

Computer System

Model-Generated Definition:

A valid occurrence may have the following properties:

Definition: An identifiable and physical computer system that acts as an automaton agent performing processes.
[ISO/IEC 10514-1:1996] The combination of hardware and, optionally, firmware and software (e.g. operating system) that enables the execution of software.

Concentration

Model-Generated Definition:

Definition: The abstract concept of the amount, mass or volume of one substance in another without being specific as to how it is measured.

Concentration (amount of substance)

Model-Generated Definition:

A kind of Concentration.

Definition: Concentration based on amount-of-substance.

Concentration (Mass)

Model-Generated Definition:

A kind of Concentration.

Definition: Concentration based on mass per unit of volume.

Concentration (Volume)

Model-Generated Definition:

A kind of Concentration.

Definition: Volume concentration is defined as the volume of a constituent divided by the volume of the mixture.

Concentration Percent

Model-Generated Definition:

Definition: The volume of a constituent divided by the volume of the mixture.

Conceptual Package

Model-Generated Definition:

A kind of Package.

Definition: A model of a real or possible world as conceived by the model authors.

Conditional

Model-Generated Definition:

A valid occurrence may have the following properties:

Definition: Anything with a condition defined by an expression.

Conditional Rule

Model-Generated Definition:

A kind of Conditional and Rule.

Definition: A rule with a general expression as a condition that applies to what the rule <constrains>. Where asserted, the condition must be true.
[UML] Constraint where "context" corresponds with <holds within> and "constrainedElement" corresponds with "constrains". "specification" corresponds with "condition".

Confidence

Model-Generated Definition:

A kind of Metadata. A valid occurrence may have the following properties:

Definition: A statement and measure of the confidence in any fact or set of facts about an entity.

Confidence Metric

Model-Generated Definition:

A kind of Metric.

Definition: Any metric of confidence that something is true or valid.

Consequence

Model-Generated Definition:

A kind of Situation. A valid occurrence satisfies the following necessary condition:

  • impacts at least one occurrence of Objective.

A valid occurrence may also have the following properties:

  • degree of affect any number of occurrences of Metric.
  • desirability any number of occurrences of Metric.
  • impact measure any number of occurrences of Metric.

Definition: A consequence or impact of the outcome of a situation affecting objectives of a stakeholder.
NOTE 1 An event can lead to a range of consequences.
NOTE 2 A consequence can be certain or uncertain and can have positive or negative effects on objectives.
NOTE 3 Consequences can be expressed qualitatively or quantitatively.
NOTE 4 Initial consequences can escalate through knock-on effects.
[ISO 73-2009]

Constant Reference

Model-Generated Definition:

A kind of Expression Node. A valid occurrence satisfies the following necessary condition:

  • has value exactly one occurrence of Thing.

Definition: A calculation that returns a thing identified by <has value>.

[FIBO] Constant
[FUML] LiteralSpecification where subtype of literal is determined by the type of <has value>.
-LiteralInteger->type is Integer or a subtype
-LiteralReal-> type is not integer or a subtype
-LiteralBoolean->type is Boolean
-LiteralString->type is Text

Contact Means

Model-Generated Definition:

A kind of Unique Identifier. A valid occurrence may have the following properties:

Definition: Anything that may be used to communicate with an individual.
[FIBO] AddressingScheme
[NIEM] ContactMeans & ContactInformationType

Contactable

Model-Generated Definition:

A kind of Actual Entity.

Definition: Anything that can be send or receive information or be the proxy for things that can send or receive information, e.g., people, organizations and places.

Container

Model-Generated Definition:

A kind of Actual Entity.

Definition: Role of something as a container for other things. Containers & Containment may be physical or virtual.

Containment Event

Model-Generated Definition:

Definition: An event impacting containment of the <contained thing>. Subtypes include "Put Into Event", "Removal Event" and "Relocation".

Context

Model-Generated Definition:

A kind of Identifiable Entity and Proposition. A valid occurrence may have the following properties:

Definition: A <Context> is proposition that groups a set of <contextualizes> things that are related in some way.

A <Context> also <asserts> propositions that hold for all things the context <contextualizes>, thus providing the link between an assertion and the set of things asserted. Likewise a context <negates> propositions that are false within the context.

Subtypes of <Context>, such as <Type> ascribe more semantics to the context as well as the things it <contextualizes>.

A context provides a binding between a set of propositions and the things those propositions apply to.

[CL] Sort: any subset of the universe of discourse over which some quantifier is allowed to range

[ISO 1087] concept field: unstructured set of thematically related concepts (3.2.1)

[SOWA1999] Mediating

Controlled Entity

Model-Generated Definition:

A kind of Actual Entity and Resource.

Definition: Role of an entity that is controlled by a controlling actor.
[FIBO] ControlledThing: thing over which some party exercises some form of control in some context

Controlling Actor

Model-Generated Definition:

A kind of Actor.

Definition: Role of an actor that asserts control over any entity.
[FIBO] ContollingParty: Party which exercises some form of control in some context.

Conveyance

Model-Generated Definition:

A kind of Device.

Definition: A device or system providing a means of physical transport from place to place.
[NIEM] ConveyanceType

Coordinate

Model-Generated Definition:

A kind of Unique Identifier. A valid occurrence satisfies the following necessary condition:

Definition: Any set of magnitudes that serve to define the position of a point, line, or the like, by reference to a coordinate system.

Coordinate System

Model-Generated Definition:

A kind of Namespace. A valid occurrence may have the following properties:

  • coordinate within system any number of occurrences of Coordinate.

Definition: A reference system for a coordinate. e.g., WGS-84.
[OGC] Set of mathematical rules for specifying how coordinates are to be assigned to points.

Copy Information

Model-Generated Definition:

Definition: An Information Action to duplicate information in another location or container.

Coulomb/kilogram (C/kg).

Model-Generated Definition:

A kind of Radiation Exposure.

Definition: Unit of radiation exposure.

Count

Model-Generated Definition:

A kind of Unit Value.

Definition: The number of something used as a property or metric, e.g., 5 fish.

Country

Model-Generated Definition:

A kind of Geopolitical Entity.

Definition: A nation with its own government, occupying a particular territory (not necessarily contiguous).
[FIBO] Country: A self-governing geopolitical unit that is recognized as a country by the United Nations (more specific concept as being recognized by the U.N.)

Country ID

Model-Generated Definition:

A kind of Geopolitical ID. A valid occurrence may have the following properties:

  • identifies any number of occurrences of Country.

Definition: A code, ID, or name for a country.

[ISO 1087] country identifier: information in a terminological entry (3.8.2) which indicates the name of a geographical region where the designation (3.4.1) is used

Covering Constraint

Model-Generated Definition:

A kind of Type Constraint. A valid occurrence may have the following properties:

  • is covered by any number of occurrences of Type.

Definition: A constraint that the extent (<categorizes> things) of the <constrains> type is equivalent to the union of the extents of the <is covered by> types.
[UML] GeneralizationSet with isCovering=TRUE. "constrains" corresponds with the common "general" of each Generalization". "is covered by" corresponds with each "special" of each generalization.

Create

Model-Generated Definition:

Definition: The creation of something

Create Information

Model-Generated Definition:

Definition: An action that creates information.

Credential

Model-Generated Definition:

A kind of Actual Entity and Controlled Entity. A valid occurrence may have the following properties:

Definition: A credential is an attestation of qualification, competence, or authority issued to an individual by a third party with a relevant or de-facto authority or assumed competence to do so. Credentials can be physical (a house key), documents (a certificate) or virtual (a PKI key) and may be valid for a specific time frame and in specific context.

Cubic Feet

Model-Generated Definition:

A kind of Volume.

Definition: A volume measured in feet.

Cubic Inch

Model-Generated Definition:

A kind of Volume.

Definition: A volume measured in inches.

Cubic Meter

Model-Generated Definition:

A kind of Volume.

Definition: A volume measured in meters.

Cup (US)

Model-Generated Definition:

A kind of Liquid Volume.

Definition: 8 Fluid Ounces (US).

Curie (Ci)

Model-Generated Definition:

A kind of Radioactivity.

Definition: The SI unit of measure for radioactivity is the curie (Ci) and Becquerel (Bq).

Currency

Model-Generated Definition:

A kind of Unit Value.

Definition: Any form of money.
[FIBO] Currency: medium of exchange value, defined by reference to the geographical location of the authorities responsible for it

Currency Benefit Metric

Model-Generated Definition:

A kind of Harm-Benefit Metric.

Definition: A metric for benefit or harm expressed in terms of a currency, such as dollars or yen.

Current Situation

Model-Generated Definition:

A kind of Actual Situation and Situation.

Definition: A situation that is actually occurring at the moment. "the moment" is contextual and interpreted within the context of the model.

Custodian

Model-Generated Definition:

A kind of Controlling Actor.

Definition: An actor who has responsibility for or looks after some managed entity. A Custodian <has custody of> a managed entity via the Custody relation.

D
Damage

Model-Generated Definition:

Definition: An action that causes an entity to no longer completely fulfill its purpose.

Damage Resource

Model-Generated Definition:

A kind of Damage and Resource Actions.

Definition: An action that causes an resource to no longer completely fulfill its purpose..

Date and Time

Model-Generated Definition:

Definition: [FIBO] DateTimeStamp: A DateTimeStamp combines a Date, a time, and a time

Date Coordinate

Model-Generated Definition:

A kind of Time Coordinate.

Definition: [FIBO] Date: A Date identifies a calendar day on some calendar.
[NIEM] DateType

Date Time Coordinate (ISO 8601)

Model-Generated Definition:

A kind of Date and Time. A valid occurrence may have the following properties:

Definition: [UAF] A date and time specified in the ISO8601 date-time format including timezone designator (TZD): YYYY-MM-DDThh:mm:ssTZD.

Day

Model-Generated Definition:

Definition: A unit of time equal to 24 hours.

[DTV] day: the precise time unit that is quantified by 86 400 seconds
[OWL] xsd:gDay

Definition

Model-Generated Definition:

A kind of Metadata. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

  • text definition any number of values of String.
  • external reference any number of occurrences of IRI Identifier.
  • external term any number of occurrences of Term.
  • summary description any number of values of String.

Definition: An informal or natural language definition of a something and potentially a reference to external definitions.
A Definition may be in the context of a natural language to scope the language it is expressed in.

[ISO 1087] definition: representation of a concept (3.2.1) by a descriptive statement which serves to differentiate it from related concepts

[FUML] Comment (where body corresponds with "text definition").

Degrees

Model-Generated Definition:

A kind of Angle.

Definition: A unit for an angle from 0-360.

Delete Information

Model-Generated Definition:

A kind of Destroy and Information Action.

Definition: An action to delete information, erase it or render it inaccessible.

Desirability Assessment

Model-Generated Definition:

A kind of Assessment. A valid occurrence may have the following properties:

  • net desirability any number of occurrences of Metric.
  • net severity any number of occurrences of Metric.
  • net benefit any number of occurrences of Metric.
  • net likelihood any number of occurrences of Metric.
  • net risk any number of occurrences of Metric.

Definition: Desirability measure of a situation. The context of the desirability can be the specific stakeholder desirability relation or a classification of a situation in a context, such as an undesirable situation.
Desirability may be computed by aggregating the impact of a situation on stakeholders but the specific calculation is not specified in the standard.
A positive desirability is an opportunity; a negative desirability is a danger.
When the stakeholder desirability of a situation to a stakeholder has net harm, that harm may be identified as a risk. S

Destroy

Model-Generated Definition:

Definition: The destruction or deletion of something.

Device

Model-Generated Definition:

A kind of Item and Resource.

Definition: A thing made for a particular purpose; an invention or contrivance, especially a mechanical or electrical one.
[NIEM] DeviceType

Disjoint

Model-Generated Definition:

A kind of Rule.

Definition: Disjoint is a rule that the things denoted by what the rule <constrains> do not and may not denote any of the same set of things.
When applied to a context (including types) all elements contextualized are included in the set of disjoint individuals.

[FIBO] Mutually Exclusive sets

[IDEAS] PartitionOfSetOfDisjointIndividuals: A FusionOfSetOfIndividuals whose fusioned Type is a SetOfDisjointIndividuals.

[UML] [UML] GeneralizationSet with isDisjoint=TRUE. "constrains" corresponds with "is covered by" of each "special" of each generalization. Note the SMIF does not require that disjoint elements have a common supertype, one may be inferred for UML mapping.

[OWL: Union(DisjointClasses, DisjointObjectProperties, DisjointDataProperties, DifferentIndividuals)

Disrupt Process

Model-Generated Definition:

A kind of Damage and Process Action.

Definition: An action intended to cause a process to not achieve its desired affect.

Document

Model-Generated Definition:

Definition: A collection of information about a topic, frequently containing some analysis or summary, intended for use by a stakeholder.

Dose Equivalent (Radiation)

Model-Generated Definition:

Definition: A measure of the biological damage to living tissue as a result of radiation exposure. Also known as the "biological dose," the dose equivalent is calculated as the product of absorbed dose in tissue multiplied by a quality factor and then sometimes multiplied by other necessary modifying factors at the location of interest. The dose equivalent is expressed numerically in rems or sieverts (Sv) (see 10 CFR 20.1003). For additional information, see Doses in Our Daily Lives and Measuring Radiation. [NRC]
For practical purposes, 1 R (exposure) = 1 rad (absorbed dose) = 1 rem or 1000 mrem (dose equivalent).

Duration

Model-Generated Definition:

A kind of Physical Quantity.

Definition: The abstract quantity kind of time which is the supertype of all time duration units.
Time is a measure that allows events to be ordered from the past through the present into the future, and also the measure of durations of events and the intervals between them. Durations are quantities of time, not points or intervals of time.

[DTV] base quantity of the International System of Quantities, used for measuring time intervals.

[IDEAS] Time: A MeasureInstance whose members are individuals' that have a particular temporal dimension of the same length.

[FIBO] Duration: An amount of time.

[UML] Duration

[OWL] xsd:duration

E
Electric Current

Model-Generated Definition:

Definition: The abstract quantity kind of electric current which is the supertype of all current units.
[QUDT]Electric Current is the flow (movement) of electric charge. The amount of electric current through some surface, e.g., a section through a copper conductor, is defined as the amount of electric charge flowing through that surface over time. Current is a scalar-valued quantity.
The SI unit for measuring an electric current is the ampere, which is the flow of electric charge across a surface at the rate of one coulomb per second.

[IDEAS] ElectricCurrent: A MeasureInstance whose members are individuals' that all have the same electric current flowing through them

Electric Potential

Model-Generated Definition:

Definition: [QUDT] Electric Potential is a scalar valued quantity associated with an electric field.

Electronic Contact

Model-Generated Definition:

A kind of Contact Means. A valid occurrence may have the following properties:

  • mobile any number of values of Boolean.
  • voice capable any number of values of Boolean.
  • document capable any number of values of Boolean.
  • text message capable any number of values of Boolean.
  • fax capable any number of values of Boolean.
  • video capable any number of values of Boolean.

Definition: Contact information that enables communications with or via an actor or telecommunications device by electronic means.
[FIBO] VirtualAddress: an address identifying a virtual, i.e. non-physical location

Email Address

Model-Generated Definition:

A kind of Internet Contact.

Definition: Contact information for the delivery of mail via an electronic network.
[NIEM] ContactEmailId (of <electronic contact>)

Energy

Model-Generated Definition:

Definition: The measure of energy- the ability to perform work (such as moving a mass).

Enterprise

Model-Generated Definition:

A kind of Authority, Organization, and System.

Definition: An enterprise is a stakeholder organization, organized as a system, with a mission, members, and authority over resources to accomplish its mission(s). An enterprise provides context for operations and analysis. An enterprise may have parts - its divisions or departments.
[BMM] Organizational Unit:

Entity Type

Model-Generated Definition:

A kind of Type. A valid occurrence may have the following properties:

Definition: A type of an identifiable entity. All concrete entity instances must have at least one entity type. Entity type may be mixed with other types to fully define an entity.

[FUML] Classifier

[Guarino1994] Substantial or Pseudo-Sortal (Substantial being concrete)
[Guizzardi] A Rigid Universal.
(Rigid Universal): A universal G is rigid (or modally constant) iff for any w,w’ ∈ W 3. extw(G) = extw’(G) Putting definitions 4.1 and 4.3 together, we have that for any rigid universal G the following is true 4. ext(G) = extw(G), for all w ∈ W A rigid universal is one that applies to its instances necessarily, i.e., in every possible world. Every substance sortal G is a rigid universal.
[OWL] rdfs:Class (as Entity Type does not include values). However, non=primitive values are typically represented as rdfs:Class

Entry Action

Model-Generated Definition:

A kind of Activity Effecting Entity. A valid occurrence may have the following properties:

Definition: The action of entering through a boundary.

Enumerated

Model-Generated Definition:

A kind of Rule.

Definition: The contextualized elements of the <constrains> context is a closed (enumerated) set, it can not be extended. A.K.A. "Closed World Assumption". Elements may not be asserted by any context other than the one specified in <holds within>.

[FIBO] Selections of Things
[FUML] Wen constraining a type, corresponds with [FUML] "Enumeration". SMIF enumerations are not limited to literals. The "ownedLiteral" corresponds with all elements owned by <holds within>.
[ISO11404] Enumerated: enumerated is a family of datatypes, each of which comprises a finite number of distinguished values having an intrinsic order.
[OWL] ObjectUnitionOf( DataOneOf, ObjectOneOf )

Equality

Model-Generated Definition:

A kind of Expression Node. A valid occurrence satisfies the following necessary condition:

  • has equal at least one occurrence of Thing.

Definition: Returns TRUE if all <has equal> things have the same value or represent the same thing or set of things regardless of how they are represented.
Equality will return TRUE or FALSE.
[ISO11404: EqualityIn every value space there is a notion of equality, for which the following rules hold:
⎯ for any two instances (a, b) of values from the value space, either a is equal to b, denoted a = b , or a is not equal to b, denoted a ≠ b ;
⎯ there is no pair of instances (a, b) of values from the value space such that both a = b and a ≠ b ;
⎯ for every value a from the value space, a = a ;
⎯ for any two instances (a, b) of values from the value space, a = b if and only if b = a ;
⎯ for any three instances (a, b, c) of values from the value space, if a = b and b = c , then a = c . On every datatype, the operation Equal is defined in terms of the equality property of the value space, by:
⎯ for any values a, b drawn from the value space, Equal(a,b) is true if a = b , and false otherwise.

Equivalent

Model-Generated Definition:

A kind of Rule.

Definition: Equivalent is a rule that the things the rule <constraints> denote the same set of things. When applied to a context (including types) each thing the context contextualizes is included in the set of equivalent things.

Related to*: [ISO 1087] synonymy: relation between or among terms (3.4.3) in a given language representing the same concept (3.2.1)

Related to*: [ISO 1087] equivalence: relation between designations (3.4.1) in different languages representing the same concept (3.2.1)

* SMIF relates concepts, not terms. synonymy may also be represented by multiple terms for the same concept.

[OWL] Union( SameIndividual, EquivalentClasses, EquivalentObjectProperties, EquivalentDataProperties)

Evaluation

Model-Generated Definition:

A kind of Expression Context. A valid occurrence satisfies the following necessary condition:

Definition: The evaluation of an expression. All references to an evaluation shall return the result of evaluating the <evaluates> expression node. All expression nodes referenced within an evaluation shall return the result of evaluating that expression node.
An evaluation may be used in place of anything that requires the <resulting type> of the evaluation.

Exceed Resource Capacity

Model-Generated Definition:

A kind of Resource Actions.

Definition: An action to exceed the capacity of some resource.

ExistsRule

Model-Generated Definition:

A kind of Rule Computation. A valid occurrence may have the following properties:

  • exists any number of values of Boolean.
  • element any number of values of any type.

Definition: <<Exists Rule> is a rule to map the existence of an <element> to a boolean.
<exists> is true iff <element> is not null.

Exit Action

Model-Generated Definition:

A kind of Activity Effecting Entity. A valid occurrence may have the following properties:

Definition: An action of exiting through a boundary.

Expression Context

Model-Generated Definition:

A kind of Identifiable Entity. A valid occurrence satisfies the following necessary condition:

  • resulting type at least one occurrence of Type.

A valid occurrence may also have the following properties:

  • evaluates in at most one occurrence of Context.

Definition: An abstract element defining the static or dynamic evaluation context and resulting type of an expression.
An expression context that is referenced by another expression context inherits the referencing context by default.

Expression Node

Model-Generated Definition:

A kind of Expression Context. A valid occurrence may have the following properties:

  • expression text at most one value of String.
  • expression text language at most one value of String.
  • evaluated by any number of occurrences of Evaluation.
  • implements at most one occurrence of Function Type.

Definition: An abstract class representing the computation of a value which is then bound to the context from which it is called. Each expression node has a type of the most general type it can return.

An expression node may reference other elements. Where the other elements are also expression nodes they will be considered part of the referencing expression and evaluated in the context of that expression.

The set of related expression nodes forms a "tree" for evaluation.

[FIBO] Expression
[UML] Expression

Expression Variable

Model-Generated Definition:

A kind of Computed and Pattern Variable.

Definition: An expression variable defines the value of the variable as computed by <computation>. Note that expression variables are not always able to be asserted or reversed and may therefore not provide for bi-directional mapping patterns. Any ability to assert or reverse a computation is implementation specific.

F
Facade

Model-Generated Definition:

A kind of Record Type.

Definition: An intermediary data type used to hold common mappings. Facades may be computed and/or have mapping rules.

Facet

Model-Generated Definition:

A kind of Type. A valid occurrence may have the following properties:

Definition: A facet is a "mix in" type that defines an aspect of something but does not define the identity or "fundamental" (A.K.A. "Rigid") type of that thing, but some potentially transient role, phase or other way to classify it. Something must have at least one type that is not a facet to define that things identity.
Facets do not define independent identity of the referent but technology implementations may create independent objects to represent a facet.
An instance of a facet must also have a type that is not a facet to provide the identity of the instance.
The type(s) a facet may categorize may be constrained by a Facet Generalization Constraint. E.g. Policeman is a role of a person.

[Guarino1994] Non-Substantial sortal
[Guizzard] Non-Rigid Universal: A universal G is non-rigid iff for a w ∈ W There is an x such that x ∈ extw(G), and there is a w’∈ W such that x ∉extw’(G)

[SOWA1999] Prehension (Relative

Facet Classification Constraint

Model-Generated Definition:

A kind of Generalization Constraint. A valid occurrence may have the following properties:

  • has specific any number of occurrences of Facet.

Definition: A Facet Classification Constraint asserts that the specialized type is "non rigid" with respect to the general (rigid) type - that is the <has specific> type may change over the lifetime of instances of the <has general> type. The <has specific> type will be inferred to be a Facet. e.g. "Registered voter" is a facet of a person.

[FIBO] isPlayedBy

Facet of Entity

Model-Generated Definition:

A kind of Relationship. A valid occurrence satisfies the following necessary conditions:

Definition: Facet of entity is the binding of a particular entity to a facet. May also be considered an "as a" relationship. In the case of a role, it states that an entity plays the role, e.g. "Joe as a policeman". In the case of a phase, it states that an entity has that phase and that it is a phase of that entity, e.g. Sue as a teenager.
Facet of Entity is a kind of contextual categorization in that the entity assumes all of the characteristics of the facet where the Facet of Entity is asserted. E.g. if Joe has a policeman role, Joe is a policeman.

Facet of entity is an "Extent of Type" association reified as a relationship in that the binding of the entity to the facet may be valid in particular context or time frame. Facet of entity may be the consequence of a relationship. Note: Not represented as an association class due to OMG-MOF limitations.

Facet of entity may only relate entities that have a type compatible with the type of the facet, as defined by a Facet Classification Rule.

[FIBO] (for roles of actors) AgentInRole.
[FIBO] (for roles of anything else) ThingInRole
[Guarino1994] Externally Dependent Moment (Also called "Qua individual")
[SOWA1999] Prehension

Facilitator

Model-Generated Definition:

A kind of Actor. A valid occurrence may have the following properties:

Definition: An actor able to provide an ability to another actor. e.g., Joe has supervisor rights to a database.

Facility

Model-Generated Definition:

A kind of Place.

Definition: [NIEM] FacilityType: A building, place, or structure that provides a particular service.

Fahrenheit

Model-Generated Definition:

A kind of Temperature.

Definition: The Fahrenheit scale in which 32° represents the ice point and 212° the steam point. of water Symbol: F.

Financial Identifier

Model-Generated Definition:

Definition: An identifier for purposes of making financial transactions, such as a credit card number or bank account.

Fluid Ounce (US)

Model-Generated Definition:

A kind of Liquid Volume.

Definition: A unit of volume: 16 fluid ounces = 1 pint (pt)
= 28.875 cubic inches.

Focus Variable

Model-Generated Definition:

Definition: A property variable of a pattern representing the extent of the subject type within the context of the owning pattern.
The value of qualification shall be "Select".
The <has type> of the variable is asserted be the same as the subject type of the pattern.

Foot

Model-Generated Definition:

A kind of Length.

Definition: A foot (pl. feet; abbreviation: ft; symbol: ′, the prime symbol) is a unit of length in the imperial and US customary systems of measurement. Since 1959, both units have been defined by international agreement as equivalent to 0.3048 meters exactly. In both systems, the foot comprises 12 inches and three feet compose a yard.

Force

Model-Generated Definition:

Definition: (Physical) force is an influence that causes mass to accelerate. It may be experienced as a lift, a push, or a pull.
Force is defined by Newton's Second Law as F = m · a, where F is force, m is mass and a is acceleration. Net force is mathematically equal to the time rate of change of the momentum of the body on which it acts. Since momentum is a vector quantity (has both a magnitude and direction).

Frequency

Model-Generated Definition:

Definition: Repetitions per unit of time. e.g., Hertz.

[IDEAS] Frequency: A MeasureInstance whose instances are individuals' that all oscillate at the same frequency

Function Call

Model-Generated Definition:

A kind of Expression Node and Property Owner. A valid occurrence satisfies the following necessary condition:

Definition: An element of an expression that performs some operation based on a function type and produces a result. I.e. plus(a,1).
Arguments are bound to the function call via bindings.

Function Type

Model-Generated Definition:

A kind of Expression Context and Property Owner Type. A valid occurrence may have the following properties:

Definition: A declaration of a function which performs a calculation on arguments (properties) to produce a result (function result). I.e. the definition of plus(a:Number, b:Number).

Functions are intended to be side-effect free and context free (they only depend on their arguments and don't change anything) but assertions to specify that certain functions are pure may be required,
Note: FUNCTION ARGUMENTS ARE PROPERTIES of the function.

[FUML] Operation where ownedParameter corresponds with <has property> and type corresponds with <resulting type>.

G
Gallon (Imperial)

Model-Generated Definition:

A kind of Liquid Volume.

Definition: A unit of volume.

Gallon (US)

Model-Generated Definition:

A kind of Liquid Volume.

Definition: A measure of the quantity of a substance. 1 gallon (gal) = 231 cubic inches.

Generalization Constraint

Model-Generated Definition:

A kind of Type Constraint. A valid occurrence satisfies the following necessary conditions:

  • has specific exactly one occurrence of Type.
  • has general exactly one occurrence of Type.

A valid occurrence may also have the following properties:

  • redefines any number of values of Boolean.

Definition: A Type Generalization Constraint is a taxonomic relationship between a more general <has general> type and a more specific <has specific> type. Each instance of the specific type is also an instance of the general type.

The extent (<categorizes> property) of the specific type is the same as or a subset of the extent of the more general type. Therefore, any statement that is true for all members of a supertype must also be true for all members of any subtype.

Note that "multiple inheritance" is supported.

[IDEAS] superSubtype: A couple relating two Types which asserts that one type is a subset of the other.

[ISO 1087] generic relation: genus-species relation relation between two concepts (3.2.1) where the intension (3.2.9) of one of the concepts includes that of the other concept and at least one additional delimiting characteristic (3.2.7)

[FIBO] Inheritance

[UML] Generalization

[Guizzardi] (Specialization relation): Let F and G be two universals such that F is a specialization of G. Then, for all w ∈ W we have that extw(F) ⊆ extw(G)

[OWL] Union(SubClassOf, SubPropertyOf)

Geopolitical Entity

Model-Generated Definition:

A kind of Authority and Organization.

Definition: An organization which is the governing body of a nation, state, tribe or community.
[FIBO] GeopoliticalEntity (In FIBO this is a subclass of Physical Location. In Threat/risk Geopolitical Region is a role of a physical location. FIBO combines Geopolitical Entity with Geopolitical Region).

Geopolitical ID

Model-Generated Definition:

A kind of Text Identifier. A valid occurrence may have the following properties:

Definition: A code, ID or administered name for a geopolitical entity with governmental authority e.g., city, state, county, tribe.

Geopolitical Region

Model-Generated Definition:

A kind of Physical Location.

Definition: A physical location governed by a geopolitical entity.
[FIBO] GeopoliticalEntity (In FIBO this is a subclass of Physical Location. In Threat/risk Geopolitical Region is a role of a physical location. FIBO combines Geopolitical Entity with Geopolitical Region.
[NIEM] LocaleType

Goal State

Model-Generated Definition:

A kind of Consequence and Scenario Step.

Definition: A goal state is a step in a scenario that directly impacts resources of a stakeholder, thereby impacting the goals of the same or a different stakeholder. Goal states may be positive (e.g. making more money) or negative (e.g. an attack target).
A goal state is usually but not necessarily the end state of a scenario.

Gram

Model-Generated Definition:

A kind of Mass.

Definition: The gram is a SI unit of mass.

Gray (Gy)

Model-Generated Definition:

Definition: [NRC] One of the two units used to measure the amount of radiation absorbed by an object or person, known as the "absorbed dose," which reflects the amount of energy that radioactive sources (with any type of ionizing radiation) deposit in materials (e.g., water, tissue, air) through which they pass. One gray (Gy) is the international system of units (SI) equivalent of 100 rads, which is equal to an absorbed dose of 1 Joule/kilogram. An absorbed dose of 0.01 Gy means that 1 gram of material absorbed 100 ergs of energy (a small but measurable amount) as a result of exposure to radiation.

H
Harm-Benefit Metric

Model-Generated Definition:

A kind of Metric.

Definition: A metric to quantify benefit or harm.

Hertz

Model-Generated Definition:

A kind of Frequency.

Definition: A unit of frequency. Cycles per second.

[IDEAS] frequencyInHertz: A measureNamedNumericallyBy that names a Frequency with its ValueInHertz

Horsepower

Model-Generated Definition:

A kind of Power.

Definition: Horsepower (hp) is a unit of measurement of power (the rate at which work is done). There are many different standards and types of horsepower. This model uses the 746 watt interpretation of horsepower.

Hour

Model-Generated Definition:

Definition: A unit of time: 60 Minutes.

[DTV] hour: the precise time unit that is quantified by '3600 seconds'

I
Identifiable Entity

Model-Generated Definition:

A kind of Thing. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

  • affected by any number of occurrences of Activity Effecting Entity.
  • was stated in any number of occurrences of Statement.
  • has preferred at most one occurrence of Identifier.
  • has name any number of occurrences of Name.
  • has confidence at most one occurrence of Confidence.
  • constrained by any number of occurrences of Rule.
  • has state any number of occurrences of State.
  • context of observation any number of values of Observation.
  • has binding any number of occurrences of Property Binding.
  • defined by any number of occurrences of Definition.

Definition: An identifiable entity is any identifiable thing other than values, this includes individuals, types, axioms, situations, speech acts, information structures, etc.
Identifiable entities always have some kind of identity and may have identifiers. Note that identity is an abstraction that may have representation in models as any number of identifiers, also known as a "sign".

[OWL] Entity type (Implied in section [OWL] 5.8) as an instance of rdfs:Class

Identifier

Model-Generated Definition:

A kind of Value. A valid occurrence satisfies the following necessary condition:

Definition: An identifier is any value that is used to distinguish an entity from other entities. Note that any identifier may be contextualized by one or more context, including language context. Identifiers are a “sign” for an identity where identity is an abstraction of individuality that is the basis for identifiers.

[IDEAS] Name: A Representation that identifies a Thing.
[FIBO] Identifier
[CL] Term: expression which denotes an individual, consisting of either a name or, recursively, a function term applied to a sequence of arguments, which are themselves terms

Identity Provider

Model-Generated Definition:

A kind of Authority, Namespace, and Organization. A valid occurrence satisfies the following necessary condition:

Definition: Role of an organization that validates identity and issues curated identifiers and credentials for entities.

Inch

Model-Generated Definition:

A kind of Length.

Definition: A unit of length.

Include

Model-Generated Definition:

A kind of Lexical Reference.

Definition: An "Include" is an external scope that is visible and asserted by the owning lexical scope.
[FUML] PackageImport
[CL] Importation: An importation contains a name. The intention is that the name identifies a piece of Common Logic content represented externally to the text, and the importation re-asserts that content in the text.

Incorporated Organization

Model-Generated Definition:

A kind of Organization.

Definition: An organization recognized by and incorporated by a recognized government.
[FIBO] FormalOrganization: an organization that is recognized in some legal jurisdiction, with associated rights and responsibilities

Individual Product

Model-Generated Definition:

A kind of Actual Entity. A valid occurrence may have the following properties:

Definition: A specific item or service purchased, sold or offered for sale.
[FIBO] Product: A commercially distributed good that is (1) tangible property, (2) the output or result of a fabrication, manufacturing, or production process, or (3) something that passes through a distribution channel before being consumed or used.

Information Action

Model-Generated Definition:

A valid occurrence may have the following properties:

Definition: An action that impacts information objects.

Information Object

Model-Generated Definition:

A kind of Actual Entity, Record, and Resource.

Definition: A representation of information, data, facts, assertions or statements about something.
As information may be copied while retaining its identity, the same information copied onto new physical media may be considered the same object. Where the individual representation of information is of concern another object should be used to represent the individual physical thing than holds the information.
As information is a resource it may depend on other resources.
[FIBO] Document
[NIEM] DocumentType

Information Repository

Model-Generated Definition:

Definition: A resource in which information is stored and can then be retrieved.

Information Source

Model-Generated Definition:

A kind of Actual Entity, Context, and Metadata. A valid occurrence satisfies the following necessary condition:

  • made statement at least one occurrence of Statement.

Definition: Metadata defining the origin or provenance of a set of statements in a model or data.
Note that the source could be a human, an organization, a mapping or other automated processes.

Information Type

Model-Generated Definition:

Definition: A categorization of information across any dimension - content, format, source, sensitivity, etc. e.g. a schema. The information type may be used to establish software capabilities and vulnerabilities.

Internet Contact

Model-Generated Definition:

A kind of Electronic Contact. A valid occurrence may have the following properties:

Definition: [NIEM] A means of contact that provides for the digital electronic transmission of information via the Internet or a private network.

Intersection Type

Model-Generated Definition:

A kind of Type.

Definition: An intersection is a type that has an extent which is the complete intersection of the extents of all supertypes. Intersection is a stronger statement than a subtype as a subtype may not be a complete intersection.

[MathWorld] The intersection of two sets A and B is the set of elements common to A and B. This is written A intersection B, and is pronounced "A intersection B" or "A cap B."

IRI Identifier

Model-Generated Definition:

Definition: A IRI/URI Identifier for an entity, as defined in [RFC3987].

[FIBO] anyURI

Item

Model-Generated Definition:

A kind of Physical Entity. A valid occurrence may have the following properties:

Definition: An inanimate material object as distinct from a living sentient being.
[NIEM] ItemType
[DOLCE] Non-agentive Physical Object

J
Joule

Model-Generated Definition:

A kind of Energy.

Definition: The joule (symbol J, also called newton meter, watt second, or coulomb volt) is the SI unit of energy and work.

K
Kelvin

Model-Generated Definition:

A kind of Temperature.

Definition: [NIST-SI] The kelvin, unit of thermodynamic temperature, is the fraction 1/273.16 of the thermodynamic temperature of the triple point of water.

[IDEAS] temperatureInKelvin: A measureNamedNumericallyBy that names a ThermodynamicTemperature with its ValueInKelvin

Kg per cubic meter

Model-Generated Definition:

A kind of Mass Density.

Definition: The SI unit for density.

Kilogram

Model-Generated Definition:

A kind of Mass.

Definition: [NIST-SI] The kilogram is the unit of mass; it is equal to the mass of the international prototype of the kilogram. [NIST-SI]

[IDEAS] massInKilograms: A measureNamedNumericallyBy that names a Mass with its ValueInKilograms

Kilogram per cubic meter

Model-Generated Definition:

Definition: The SI Unit of density.

Kilometer

Model-Generated Definition:

A kind of Length.

Definition: A unit of length, the SI measure of distances equal to 1000 meters, and equivalent to 3280.8 feet or 0.621 mile.
Symbol: km.

Kilometer per Hour

Model-Generated Definition:

A kind of Speed.

Definition: The SI unit of speed

Kilowatt hour

Model-Generated Definition:

A kind of Energy.

Definition: The watt-hour (symbolized Wh) is a unit of energy equivalent to one watt (1 W) of power expended for one hour (1 h) of time.

L
Leader

Model-Generated Definition:

Definition: A person who leads or commands a group, organization, or country.

Length

Model-Generated Definition:

Definition: The abstract unit of distance (or length) which is the supertype of all length units and also acts as its "quantity kind".

In the International System of Quantities, length is any quantity with dimension distance. In other contexts "length" is the measured dimension of an object.

[IDEAS] Length: A MeasureInstance whose instances are individuals' that all have the same length

Lexical Reference

Model-Generated Definition:

A kind of Context. A valid occurrence satisfies the following necessary conditions:

  • extends scope exactly one occurrence of Lexical Scope.
  • Referenced scope exactly one occurrence of Context.

Definition: A Lexical Reference is an external scope that is visible to but not necessarily asserted by the owning lexical scope.

Lexical Scope

Model-Generated Definition:

A kind of Namespace. A valid occurrence may have the following properties:

Definition: Lexical scope represents model content (the lexical structure of the model) that then models an area of concern. A lexical scope may define model elements representing anything.
[CL] Text: A text is a set, list, or bag of phrases. A piece of text shall optionally be identified by a name.
[OWL] Potential scope of a RDF graph defined by <defines>

License Identifier

Model-Generated Definition:

Definition: [NIEM] An identification that references a license certification or registration of a person or organization for some purpose.

Liquid Volume

Model-Generated Definition:

A kind of Volume.

Definition: Volume of a liquid.

List First

Model-Generated Definition:

A kind of Rule Computation. A valid occurrence may have the following properties:

  • list any number of values of any type.
  • first at most one value of any type.
  • remainder any number of values of any type.

Definition: The <List First> rules will take the <list> property and place the first element into<first>. If <list> is empty, <first> will be empty.
If there are more <list> elements than 1, all remaining elements are placed as a set in <remainder>.
If <list> is an un-ordered set the order will be indeterminate but repeatable.
<<List First>> is bidirectional and will compute <list> by appending <first> and <remainder>.
Note that this will act like a LISP CDR/CAR pair

Local Identifier

Model-Generated Definition:

Definition: An identification assigned at a local level (within an organization or community) to a person or organization.

Location ID

Model-Generated Definition:

Definition: A code, ID or name for a physical location.

Location Identifier

Model-Generated Definition:

A kind of Unique Identifier. A valid occurrence satisfies the following necessary condition:

Definition: Any identifier able to uniquely identify a physical location
Syn. spatial reference - description of position in the real world [OGC]

Logical Package

Model-Generated Definition:

A kind of Package.

Definition: A model of information about systems independent of technical representation.

Lose Ability

Model-Generated Definition:

A kind of Alter Ability. A valid occurrence satisfies the following necessary conditions:

  • negates exactly one value of Ability.
  • withdraws exactly one value of Control.

Definition: An Event that reduces of the ability of an actor.

Luminosity

Model-Generated Definition:

Definition: Luminosity ( or luminous intensity ) is a measure of the wavelength-weighted power emitted by a light source in a particular direction per unit solid angle, based on the luminosity function, a standardized model of the sensitivity of the human eye. The SI unit of luminous intensity is the candela (cd), an SI base unit.

[IDEAS] LuminousIntensity: A MeasureInstance whose members are individuals' that all have the same luminous intensity

M
Managed Actor Identifier

Model-Generated Definition:

A kind of Unique Identifier. A valid occurrence satisfies the following necessary conditions:

Definition: An identifier managed by an identity provider who asserts the validity of the identifier. This includes technical/cyber identities as well as traditional identifiers such as passport numbers and corporate IDs. Identities can also be provided for systems, such as a SSL certificate.

Managed Entity

Model-Generated Definition:

A kind of Controlled Entity.

Definition: Any entity for which the custody of or access to the entity is managed such that it can be trusted or protected. A managed entity is in the custody of a custodian via the Custody relation.

Managed Item Identifier

Model-Generated Definition:

A kind of Unique Identifier. A valid occurrence satisfies the following necessary condition:

  • identifies exactly one occurrence of Item.

Definition: [NIEM] An identification inscribed on or attached to a part, collection of parts, or complete unit by the manufacturer. Syn. ItemSerialIdentification.
[FIBO] ProductIdentifier: an identifier for a product

Managed Person Identifier

Model-Generated Definition:

A kind of Managed Social Agent Identifier. A valid occurrence may have the following properties:

  • identifies any number of occurrences of Person.

Definition: An identifier for a person managed by some identity provider who asserts the validity of the identifier, frequently but not always a government organization.

Managed Social Agent Identifier

Model-Generated Definition:

A kind of Managed Actor Identifier. A valid occurrence satisfies the following necessary condition:

Definition: An identifier for a social agent where the identifier is managed by some authority.

Manufactured Thing

Model-Generated Definition:

A kind of Individual Product and Item. A valid occurrence may have the following properties:

Definition: Role of a thing as being made or manufactured.

MapID

Model-Generated Definition:

A kind of Rule Computation. A valid occurrence may have the following properties:

Definition: <<MapID>> is a rule where the source is an ID and the target is a class, maps an instance of the ID to an instance of the class.

Mapping

Model-Generated Definition:

A kind of Pattern and Rule. A valid occurrence satisfies the following necessary conditions:

A valid occurrence may also have the following properties:

  • has map rule any number of occurrences of Match Rule.

Definition: A mapping is a rule based on a pattern that defines how different representations of the same things correspond. There are two "sub patterns", defined by the concrete and reference variables and other variables reachable from them via characteristics, associations and relationships. These sub-patterns are matched (made to correspond) using "Match Rules"
Patterns define a set of related elements to be mapped based on two distinguished variables, the "concrete body" and the "reference body".
Types in a "concrete" body may be defined to be a representation (data about) a concept in a "reference" pattern.
Match rules define how elements in each of the sub-patterns are mapped, bidirectionally.
A mapping utilizing more specific types subsumes maps for more general types.
Note that the roles of "concrete" and "reference" may or may not reflect different levels of abstraction and in some cases the choice may be arbitrary.

Mapping Package

Model-Generated Definition:

A kind of Package.

Definition: A model defining relationships between other models.

Mass

Model-Generated Definition:

Definition: The abstract unit of Mass which is the supertype of all mass units and also acts as its "quantity kind".
The mass of a body is a measure of its inertial property or how much matter it contains. The weight of a body is a measure of the force exerted on it by gravity or the force needed to support it. Gravity on earth gives a body a downward acceleration of about 9.8 m/s2.The SI unit of mass is the kilogram (kg).

[IDEAS] Mass: A MeasureInstance whose members are individuals' that all have the same mass.

Mass Density

Model-Generated Definition:

Definition: The density, or more precisely, the volumetric mass density, of a substance is its mass per unit volume. The symbol most often used for density is ρ (the lower case Greek letter rho). Mathematically, density is defined as mass divided by volume.

Match End

Model-Generated Definition:

A kind of Computed and Conditional. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

  • asserted type any number of occurrences of Type.

Definition: One end of a mapping from one thing to another that may be qualified with a condition.
The set of elements to be mapped is the union of the sets of all mapped types and mapped variables that conform to the condition.
Match rules are constrained to apply to only conforming types or types that represent the mapped ends (as specified by a representation rule).
Representation rules applied to a supertype apply to a subtype unless a more specific representation rule is specified for the corresponding types.

Match Rule

Model-Generated Definition:

A kind of Rule. A valid occurrence satisfies the following necessary conditions:

  • reference end exactly one occurrence of Match End.
  • map rule of exactly one occurrence of Mapping.
  • concrete end exactly one occurrence of Match End.

A valid occurrence may also have the following properties:

  • coerce any number of values of Boolean.

Definition: A rule that the 2 ends represent the same things or information about a thing.
Redundant mappings are ignored and identity is preserved across all mappings.

Means

Model-Generated Definition:

A kind of Identifiable Entity.

Definition: [BMM] A means represents any device, capability, regime, technique, restriction, agency, instrument, or method that may be called upon, activated, or enforced to achieve Ends.

Metadata

Model-Generated Definition:

A kind of Record. A valid occurrence may have the following properties:

Definition: Information about the source, provenance or origin of information. Metadata may be a managed entity, providing for provenance.
[NIEM] MetadataType

Meter

Model-Generated Definition:

A kind of Length.

Definition: The meter is the length of the path traveled by light in vacuum during a time interval of 1/299 792 458 of a second.[NIST-SI]

The meter, (SI unit symbol: m), is the fundamental unit of length in the International System of Units (SI).

[IDEAS] lengthInMeters: A measureNamedNumericallyBy that names a Mass with its ValueInKilograms

Meter per second squared

Model-Generated Definition:

A kind of Acceleration.

Definition: The SI Unit of acceleration.

Metric

Model-Generated Definition:

A kind of Unit Value. A valid occurrence may have the following properties:

Definition: A standard for measuring or evaluating something in a quantifiable way.
Typical representations of a metric may be a fraction from zero to 1 or a rating such as "high, medium, low". Not to be confused with the "Metric System".

Mile

Model-Generated Definition:

A kind of Length.

Definition: The mile is an English unit of length standardized as exactly 1.609344 kilometers.

Miles per Hour

Model-Generated Definition:

A kind of Speed.

Definition: U.S. unit of speed.

Millimeter

Model-Generated Definition:

A kind of Length.

Definition: A unit of length equal to one thousandth of a meter and equivalent to 0.03937 inch.
Abbreviation: mm.

Millisecond

Model-Generated Definition:

Definition: A unit of time: 1/1000th of a second.

[DTV] millisecond

Minute

Model-Generated Definition:

Definition: A unit of time: 60 seconds.

[DTV] minute : the precise time unit that is quantified by '60 seconds'

Mission Objective

Model-Generated Definition:

A kind of Objective. A valid occurrence may have the following properties:

Definition: A core objective of an enterprise.

[BMM] A Mission indicates the ongoing operational activity of the enterprise. The Mission describes what the business is or will be doing on a day-to-day basis.

Model

Model-Generated Definition:

A kind of Package. A valid occurrence satisfies the following necessary condition:

  • defined in exactly one occurrence of Model.

A valid occurrence may also have the following properties:

  • any number of occurrences of Model.

Definition: A root package. A model has no owner and may be directly referenced as an independent information resource. A model is defined in it's self.

Modify Information

Model-Generated Definition:

A kind of Information Action.

Definition: Action to change information (for good or bad reasons).

Modify Resource

Model-Generated Definition:

A kind of Resource Actions.

Definition: Action to modify a resource or set of resources.

Modus Operandi

Model-Generated Definition:

A kind of Activity, Means, and Scenario.

Definition: A particular way or method an actor typically does something, especially one that is characteristic or well-established. It may or may not have a formal definition of the process.
In threat terms, a particular tactic, technique or procedure for achieving a result.
Syn. TTP [STIX]

Mole

Model-Generated Definition:

A kind of Amount of Substance.

Definition: The mole is a unit of measurement used in chemistry to express amounts of a chemical substance, defined as the amount of any substance that contains as many elementary entities (e.g., atoms, molecules, ions, electrons) as there are atoms in 12 grams of pure carbon-12.

Mole Per Cubic Meter

Model-Generated Definition:

Definition: The SI unit for amount-of-substance concentration.

Month

Model-Generated Definition:

Definition: [DTV] month: the nominal time unit that is the duration of a time interval required for one rotation of the Moon in its orbit around the Earth, approximated to a number of days.
[OWL] xsd:gMonth

Multiplicity Constraint

Model-Generated Definition:

A kind of Type Constraint. A valid occurrence satisfies the following necessary condition:

  • multiplicity of exactly one occurrence of Type.

A valid occurrence may also have the following properties:

  • mininum number at most one value of Integer.
  • maximum number at most one value of Integer.
  • at once any number of values of Boolean.
  • is sufficent any number of values of Boolean.
  • with respect to any number of occurrences of Type.

Definition: A Multiplicity constraint constrains the number of bindings <multiplicity of> types (including property types) may have in a particular instance of the constrained type.

For a property type, The number of instances bound to a property for the set of instances bound to <with respect to> shall be limited by the minimum and maximum number of the multiplicity.

For non-property types, the multiplicity shall apply to the extent of the type as described by <classifies>.

[IDEAS] superSubType

[FUML] MultiplicityElement: Note: Multiplicity Constraint constraining a type has semantics included in to UML MultiplicityElement.

[OWL] Union(ObjectMaxCardinality, ObjectMinCardinality, ObjectExactCardinality, DataMaxCardinality, DataMinCardinality, DataExactCardinality)

N
Name

Model-Generated Definition:

A kind of Text Identifier. A valid occurrence satisfies the following necessary condition:

Definition: A word or set of words by which a person, animal, place, or thing is known, addressed, or referred to. Names are not necessarily unique.

[IDEAS] Name: A Representation that identifies a Thing.

[CL] Discourse Name

Namespace

Model-Generated Definition:

A kind of Context. A valid occurrence may have the following properties:

Definition: A namespace is a context that provides a way to make identifiers unique and identify exactly one entity. For example, the Virginia driver's license division provides unique driver's license numbers.

Similar to [IDEAS] UniqueNamingScheme: A NamingScheme where different Names will not contain tokens of the same Representation Type.
Note: SMIF identifiers are not instances of their namespace.

[FIBO] IdentificationScheme: system for allocating identifiers to objects

[ISO 1087] terminology 1: set of designations (3.4.1) belonging to one special language (3.1.3)

[FUML] Namespace

[CL] Vocabulary

Network Identifier

Model-Generated Definition:

Definition: A value used to identify a node in an electronic network.
[NIEM] ElectronicAddressType

Newton

Model-Generated Definition:

A kind of Force.

Definition: The SI unit of force. Equivalent to 100,000 dynes. A Newton is equal to the force that would give a mass of one kilogram an acceleration of one meter per second per second.

O
Object Operation Type

Model-Generated Definition:

A kind of Function Type. A valid occurrence satisfies the following necessary condition:

Definition: An operation bound to a specific "receiver" in the "Object Oriented" sense.
[FUML] Operation

Objective

Model-Generated Definition:

A kind of Identifiable Entity. A valid occurrence may have the following properties:

  • impacted by any number of occurrences of Consequence.

Definition: An aim or goal that a stakeholder intends to attain or accomplish; purpose; goal; target.
[BMM] End: something that is to be accomplished.
[BMM] Objective: An Objective is a statement of an attainable, time-targeted, and measurable target that the enterprise seeks to meet in order to achieve its Goals.
[FIBO] Objective

Observation Tool

Model-Generated Definition:

A kind of Tool. A valid occurrence may have the following properties:

Definition: A tools that assists in observations. e.g. a wireless microphone is used to observe a conversation.

Observer

Model-Generated Definition:

A kind of Actor. A valid occurrence satisfies the following necessary condition:

Definition: Role of an actor that can or has observed something

Obtain Ability

Model-Generated Definition:

A kind of Alter Ability. A valid occurrence satisfies the following necessary conditions:

  • casuses exactly one value of Ability.
  • affords exactly one value of Control.

Definition: An Event that increases the resources available to an actor.

Occurrence

Model-Generated Definition:

A kind of Situation. A valid occurrence may have the following properties:

Definition: An Occurrence is something that happens (a.k.a. occurs). A dynamic situation (past, present or future) composed of a set of things changing over a period of time. e.g., a rock falling.
Events are not limited in their timeframe. Events can have long or short timeframes, from an instant to infinity and beyond.
An Event that is "performed by" an actor is considered an activity.

[DOLCE] Perdurant

[BFO] Event: perdurant that is related to exactly two states (its pre-state and its post-state).
An event is related to the states before and after it has happened.

[NIEM] ActivityType

Occurrence Pattern

Model-Generated Definition:

A kind of Occurrence and Pattern.

Definition: A process pattern is a template and definition for a family of Events (i.e. actions, events) that results in an outcome. A process may be natural or caused by the activities of actors, in which case it is a plan.
A process may contain other entities, sub-processes and situations to define characteristics and sub-processes of the process. The sub-processes may or may not be known, sub-processes are defined using "Temporal Part".
[ISO 14971:2007] set of interrelated or interacting activities which transforms inputs into outputs

Open Information

Model-Generated Definition:

A kind of Information Action.

Definition: Action to gain visibility to some information, e.g., Open a file or an envelope.

Opportunity

Model-Generated Definition:

A kind of Potential Situation and Situation. A valid occurrence satisfies the following necessary condition:

  • has consequence at least one occurrence of Benefit.

Definition: An opportunity is any potential future situation having beneficial consequences.
[BMM] Opportunity: This category of Assessment indicates that some Influencer can have a favorable impact on the organization’s employment of Means or achievement of Ends. For example, the bankruptcy of Pizza Company’s major competitor in Region-Y is assessed to be an Opportunity in its Goal “To increase market share.”

OR Condition

Model-Generated Definition:

A kind of Composite Condition.

Definition: A composite condition that is true (occurring) when any "affected by" is true - OR

Organization

Model-Generated Definition:

A kind of Controlled Entity, Social Agent, and Stakeholder. A valid occurrence satisfies the following necessary condition:

Definition: An Organization  is a group of persons and/or other actors and resources organized for some end or work
[FIBO] Organization: a social unit of people, systematically structured and managed to meet a need or pursue collective goals on a continuing basis.
[NIEM] OrganizationType
[DOLCE] Society

Organizational Unit

Model-Generated Definition:

Definition: Organizational unit is a role that encompasses subdivisions, departments, subsidiaries and other organizational parts of an organization.
[BMM] organization unit: An administrative or functional unit within an organization structure.

Ounce-Mass (US)

Model-Generated Definition:

A kind of Mass.

Definition: U.S. Unit of Ounce representing Mass.

Owned Property Binding

Model-Generated Definition:

A kind of Property Binding. A valid occurrence satisfies the following necessary conditions:

Definition: An owned property binding defines a value for a particular property of a particular owning property type (or structure).
Similar to an OWL triple, an owned property binding does not have independent identity.
Constraint: Each owned property binding must be <bound by> an owned property type that is owned by the <has type> owned type of the <bound to> property owner.

Owned property type is abstract and not intended to directly represent semantic elements.

Owned Property Type

Model-Generated Definition:

A kind of Property Type. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

Definition: An owned property type is a property definition defined as a composite part of an association type - most often used in data structures and relationships. Association property types are the types of association property bindings. Also known as "association end".

[FIBO] Relationship Property
[FUML] memberEnd (of association) Property

Owner

Model-Generated Definition:

A kind of Controlling Actor.

Definition: Role of an actor that owns property.
[FIBO] Owner: A party in the ownership role; one that owns something. The thing owned is an Asset to that Party.

P
Package

Model-Generated Definition:

A kind of Lexical Scope. A valid occurrence may have the following properties:

  • has prefix at most one occurrence of Prefix.

Definition: A model element that provides a definitional scope for other model elements. A package may be represented as a "graph".

[ISO 1087] concept system: system of concepts set of concepts (3.2.1) structured according to the
relations among them

[FUML] Package. FUML ownedMember corresponds with SMIF <defines>. FUML "nestedPackage" corresponds with "defines" where the element defined is a package.

[CL] Module: A module consists of a name, an optional set of names called the exclusion set, and a text called the body text.

Parent Organization

Model-Generated Definition:

Definition: Organization with component parts such as divisions and departments.

Part Variable

Model-Generated Definition:

A kind of Type Pattern Variable. A valid occurrence may have the following properties:

  • is boundary part at most one value of Boolean.

Definition: A pattern property variable representing a part of the subject type. Additional relations and rules may be made about the part. A type with parts is by its nature a composition.

Pascal

Model-Generated Definition:

A kind of Pressure.

Definition: The SI unit of pressure, equal to one newton per square meter (approximately 0.000145 pounds per square inch, or 9.9 × 10-6 atmospheres).

Passport Identifier

Model-Generated Definition:

Definition: [NIEM] PersonPassportIdentification (property): An identification of a passport issued to a person.

Past Situation

Model-Generated Definition:

A kind of Actual Situation and Situation.

Definition: A situation that has actually occurred in the past (recognizing that all such statements are subject to confidence).

Pattern

Model-Generated Definition:

A kind of Lexical Scope, Property Owner, Situation, and Situation Type. A valid occurrence may have the following properties:

Definition: A pattern represents a set of assertions true about individuals or sets of individuals qualified by pattern properties. All propositions asserted or negated by a pattern (as a context) are considered "templates" where identity is not required to match.

The structure of the pattern is defined by the properties and asserted (sub) situations (including relationships) that are asserted by the pattern.

In many cases the relationships and rules defined for a pattern will reference pattern properties. These relationships will hold for instances of the pattern where things are bound to the pattern properties.

[DTV] general situation kind: situation kind that is not an individual situation kind. A situation kind is a general situation kind if it can be exemplified by more than one Event in some possible world, even when it cannot have more than one Event in the possible world chosen to be the universe of discourse.

[UML] StructuredClassifier. Also Similarity with TemplateSignature

[OWL] May be used to represent Class Expressions

Pattern Match

Model-Generated Definition:

A kind of Actual Situation. A valid occurrence satisfies the following necessary conditions:

  • satisfies exactly one occurrence of Pattern.
  • matches exactly one occurrence of Situation.

A valid occurrence may also have the following properties:

Definition: A pattern match provides the corespondents between a pattern and the situations it matches using variable bindings.
A pattern match implies and proves that the pattern <categorizes> the situation.
The matched pattern <states> any consequences of the matching, such as the pattern <categorizes> the pattern instance.

Pattern of Type

Model-Generated Definition:

A kind of Pattern. A valid occurrence satisfies the following necessary condition:

  • subject type exactly one occurrence of Type.

A valid occurrence may also have the following properties:

Definition: A pattern of type defines a set of properties and relationships that must hold true for all instances of a type. Where the pattern includes parts, the subject type is a composition.
Patterns augment the semantics of th subject type in the context of the pattern.

Pattern Variable

Model-Generated Definition:

A kind of Conditional and Owned Property Type. A valid occurrence satisfies the following necessary condition:

  • has owning pattern exactly one occurrence of Pattern.

A valid occurrence may also have the following properties:

Definition: A pattern variable is a property of a pattern that provides a contextual property within that pattern for rules and relationships to be bound to.
A pattern variable is a placeholder for all or a subset of the instances of the variables type.
Properties of an association or relationship may be bound to a pattern variable where the type of the pattern variable is compatible with the type of the relationship's property type.

[UML] Similarity with TemplateParameter
[CL] Functional Term

Pause Process

Model-Generated Definition:

A kind of Process Action.

Definition: An action that pauses a process instance such that it can be restarted.

Performer

Model-Generated Definition:

A kind of Actor and Resource.

Definition: A performer is an actor that is a resource to another entity as the performer of activities.

Person

Model-Generated Definition:

A kind of Animal and Social Agent.

Definition: An individual human being.
[FIBO] Person
[NIEM] PersonType
[DOLCE] (Subtype of) Agentive Physical Object

Person Name

Model-Generated Definition:

A kind of Name. A valid occurrence may have the following properties:

  • names any number of occurrences of Person.

Definition: Text identifying a person by a recognized name.
[FIBO] hasFullLegalName (More specific concept)
[NIEM] PersonNameType

Person Structured Name

Model-Generated Definition:

A kind of Person Name. A valid occurrence may have the following properties:

Definition: A full name of a person in a structured form.
Note: Conversion between structured and textual names is provided by the implementation and is not defined in this specification.

Phase

Model-Generated Definition:

A kind of Facet and Situation Type.

Definition: A phase (or state) is a static characteristic of something that exists for limited time(s). Something takes on or looses a phase as a result of some event. E,g, Teenager, living, closed invoice.
A Phase is a situation in that there is a situation coincident with each phase.

[Guizzardi] (Phased-Sortal): Let PS be a universal and let S be a
substance sortal specialized (restricted by) PS. Now, let extw(~PS) = extw(S) \ extw(PS)
be the complement of the extension of PS in world w. In this formula, the
symbol \ represents the set theoretical operation of set difference. The
universal PS is a phased-sortal iff for all worlds w ∈ W, there is a w’ ∈ W such
that extw(PS) ∩ extw’(~PS) ≠ ∅

Physical Container

Model-Generated Definition:

A kind of Container and Spacial Entity.

Definition: A physical thing or location that contains other physical things or locations.
[DOLCE] Spacial Location

Physical Entity

Model-Generated Definition:

A kind of Spacial Entity. A valid occurrence may have the following properties:

  • weight any number of occurrences of Mass.

Definition: A thing that exists in space and time including people, places, and things.

[DOLCE] Object

[IDEAS] Individual: A Thing that has spatio-temporal extent.

Note1 - this may be some that existed in the past, exists now, or may exist in some future possible world.

Note2 - the Individual may be scattered - i.e. it is the fusion of several disconnect parts.

Physical Feature

Model-Generated Definition:

A kind of Spacial Entity.

Definition: Physical features are spacial entities which are generically constantly dependent on physical objects (their hosts). Typical examples of features are “parasitic entities” such as holes, boundaries, surfaces, or stains. Physical features do not have mass independent of their host.
[DOLCE] Feature

Physical Location

Model-Generated Definition:

A kind of Physical Feature. A valid occurrence may have the following properties:

Definition: A point or extent in physical space.

[NIEM] A geospatial location.
[FIBO] PhysicalLocation: A location in physical space

Physical Package

Model-Generated Definition:

A kind of Package.

Definition: A physical, technology specific, data schema representing information about a real or possible world.

Physical Point

Model-Generated Definition:

A kind of Physical Location.

Definition: A dimensionless physical point in space or on the surface of the earth such as a corner or center point.

Physical Quantity

Model-Generated Definition:

A kind of Unit Value.

Definition: A measurable property of a physical object.

Physical Tool

Model-Generated Definition:

A kind of Item and Tool.

Definition: An physical item intended to be used to perform some function.

Pint (US)

Model-Generated Definition:

A kind of Liquid Volume.

Definition: Unit of liquid volume: 2 pints = 1 quart (qt) = 57.75 cubic inches.

Place

Model-Generated Definition:

Definition: A building or locality used or intended for a specific purpose such as a house or factory.
[FIBO] Facility: something that is built, contrived, established, or installed to serve a particular purpose, or make some course of action or operation easi-er, or provide some capability or service

Plan

Model-Generated Definition:

A kind of Means and Occurrence Pattern.

Definition: A plan is a design for a process that supports a stakeholders objectives. As a process definition a plan is a pattern for a series of activities as well as the resources required to meet objectives.
Scenario's are observed where as plans are designed.
[BMM] Course of Action: A Course of Action is an approach or plan for configuring some aspect of the enterprise involving things, processes, locations, people, timing, or motivation undertaken to achieve Desired Results. In other words, a Course of Action channels efforts towards Desired Results. To help ensure success in this regard, Courses of Action are governed by Directives.

Point On Earth

Model-Generated Definition:

A kind of Spacial Coordinate.

Definition: A point that defines a location on earth where the point is within the bounds of <designates location>.

Policy

Model-Generated Definition:

A kind of Controlled Entity, Means, Objective, and Rule. A valid occurrence satisfies the following necessary condition:

Definition: A policy is a thing that is compulsory; a necessary condition.
A statement that identifies a necessary attribute, capability, characteristic, or quality of a system for it to have value and utility to a customer, organization, internal user, or other stakeholder. The constrained parties are identified as the <constrains> responsible performer(s).

A policy is a means in that it fulfills a broader objective. A policy is an objective in that performers seek to comply with the objective. A policy is a state in that it is a situation that exists for a finite period of time.

Policies include requirements.

[BMM] Business policy: directive that is concerned with directly controlling, influencing, or regulating the actions of an enterprise and the people in it and that is not directly enforceable

Possible Actions

Model-Generated Definition:

Definition: All possible effects to an entity.

Postal Address

Model-Generated Definition:

A kind of Contact Means and Location Identifier. A valid occurrence may have the following properties:

Definition: An address able to be used to deliver physical mail which may or may not represent a static physical location.
[FIBO] PPostalAddress: a physical address where postal communications can be addressed, for any kind of organization or person.
[NIEM] AddressType

Postal Address Structured

Model-Generated Definition:

A kind of Postal Address. A valid occurrence may have the following properties:

Definition: A structured representation of a postal address.

Postal Address Text

Model-Generated Definition:

A kind of Postal Address. A valid occurrence satisfies the following necessary condition:

  • postal address exactly one value of String.

Definition: A textual representation of a postal address.

Postal Code

Model-Generated Definition:

A kind of Text Identifier.

Definition: A code defined for the purposes of delivering physical mail to a set of addresses. "Zip code" in the U.S.
[OGC] An address component which represents the identification of a subdivision of addresses and postal delivery points in a country, region or city for postal purposes.
[FIBO] PostalCodeArea

Potential Situation

Model-Generated Definition:

A kind of Pattern and Situation. A valid occurrence may have the following properties:

Definition: A situation that has not yet happened but has a potential to happen.

DTV: Situation Kind

Pound-Force

Model-Generated Definition:

A kind of Force.

Definition: Pound-force is equal to the gravitational force exerted on a mass of one avoirdupois pound on the surface of Earth.
Standard gravity is not constant but usually taken to be 9.80665 m/s2 (about 32.174 049 ft/s2) in the context of the surface of the earth.

Pound-Mass (Imperial)

Model-Generated Definition:

A kind of Mass.

Definition: A unit of mass that is exactly 453.59237 grams.

Pound-Mass (US lb)

Model-Generated Definition:

A kind of Mass.

Definition: The pound avoirdupois, which forms the basis of the U.S. customary system of mass, is defined as exactly 453.59237 grams.
The avoirdupois pound is legally defined as a measure of mass, but the name pound is also applied to measures of force.
See also: http://www.nist.gov/pml/wmd/metric/upload/frn-59-5442-1959.pdf

Power

Model-Generated Definition:

A kind of Physical Quantity.

Definition: (Physical) power is the rate at which work is performed or energy is transmitted, or the amount of energy required or expended for a given unit of time. As a rate of change of work done or the energy of a subsystem, power is: P = W/t where P is power W is work t is time.

Predictor

Model-Generated Definition:

A kind of Social Agent.

Definition: The role of an actor making predictions.

Prefix

Model-Generated Definition:

A kind of Unique Text Identifier. A valid occurrence satisfies the following necessary condition:

  • prefix of exactly one occurrence of Package.

Definition: A technical abbreviation for a package.

Pressure

Model-Generated Definition:

Definition: A quantity kind representing the continuous physical force exerted on or against an object by something in contact with it.

Private Network Contact

Model-Generated Definition:

A kind of Internet Contact.

Definition: Contact identifiers valid within a private network.

Probability Metric

Model-Generated Definition:

A kind of Metric.

Definition: A metric that represents the possibility that something uncertain will happen.

Process Action

Model-Generated Definition:

A kind of Activity Effecting Entity. A valid occurrence may have the following properties:

  • affects any number of occurrences of Occurrence.

Definition: An action impacting a potential or realized process.

Producer

Model-Generated Definition:

A kind of Supplier.

Definition: Maker of goods or products, usually for sale. Syn: Manufacturer.
[FIBO] Producer: the manufacturer of a product, also called maker.

Product Kind

Model-Generated Definition:

A kind of Entity Type. A valid occurrence may have the following properties:

Definition: A set of similar items or services produced by or delivered by suppliers.

Program

Model-Generated Definition:

A kind of Activity. A valid occurrence satisfies the following necessary condition:

Definition: A set of projects, activities, or services of an organization that are intended to meet a need.
[NIEM] ProgramType

Property

Model-Generated Definition:

A kind of Controlled Entity.

Definition: Role of an entity which has an owner.
[FIBO] Asset: A thing held by some party and having some value.

Property Binding

Model-Generated Definition:

A kind of Thing. A valid occurrence satisfies the following necessary conditions:

Definition: A property value binding binds a particular thing (the value) to a situation based on a defined property.

Where <binds> is an expression evaluation, the property value shall evaluate to the evaluation of the expression.

Where <binds> is a property, the property value shall be the property values bound to that property in <bound to> situation.

The bound to thing must conform with the <is of type> type of the property. If the bound individual conforms to the "requires type" of the property, the <is of type> of the bound thing will be asserted.

The type of the <bound to> structure must (directly or indirectly) have the type the <bound by> properties <property of> type.

[FUML] Slot (Noting that in SMIF the binding may or may not be owned by the subject, depending on the subtype of property).

[CL] Binding:

[OWL] Union(ObjectPropertyAssertion, DataPropertyAssertion, AnnotationAssertion), RDF Triple
=Note: RDF Triples do not have identity where as some subtypes of SMIF:Property Type do have identity and are therefor statements.

Property Constraint

Model-Generated Definition:

A kind of Rule. A valid occurrence satisfies the following necessary condition:

Definition: Abstract supertype for constraints that constrain properties types.

Property Owner

Model-Generated Definition:

A kind of Thing. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

Definition: Property Owner is an abstract element for anything that may own a set of property bindings. This element is abstract and not intended to directly represent domain concepts. Subtypes of property owner provide semantic interpretation.

Property Owner Type

Model-Generated Definition:

A kind of Type. A valid occurrence may have the following properties:

Definition: A type of Property Owner (See Property Owner for details) which defines a set of "Owned Property Types" which are the types of owned property bindings.
Property owner is abstract and not intended to directly represent semantic elements.

Property Transitivity Constraint

Model-Generated Definition:

A kind of Property Constraint.

Definition: A transitive property defined by <constrains> interlinks two individuals A and C whenever it interlinks A with B and B with C for some individual B.
For example "larger than" is transitive in that if Joe is larger than Sue and Sue is Larger then Sam, then Joe is larger than Sam.
[OWL] TransitionObjectProperty

Property Type

Model-Generated Definition:

A kind of Type. A valid occurrence may have the following properties:

  • is of type any number of occurrences of Type.
  • constrained by any number of occurrences of Property Constraint.
  • property of at most one occurrence of Type.

Definition: A property type defines the way in which instances of a type participate in (or, are involved in) instances of another type (including relationships). Sometimes called a variable, argument or role.
In a conceptual model the terms associated with a property kind are typically "verb phrases" defining how instances of the involved type participate in the situation or relationship.
In a record (data structure) the property is a "slot" of a record and may have a term which is a noun or verb phrase.
So that constraints of a type flow to relationships involving that type: All propositions that hold within a type referenced by <is of type> hold within the structured type referenced by <property of>. I.e. the structured type is in the context of the types of its properties.
In a function, a property is a function argument.

[Guizzardi] MomentUniversal

[FUML] Parameter where owner is operation. Otherwise Property.

[UML] Property. All typed elements in SMIF are Property Types.

[CL] Operator: distinguished syntactic role played by a specified component within a functional term

[OWL] rdf:Property, ObjectUnionOf(owl:ObjectProperty, oe;DatatypeProperty).

Property Type Constraint

Model-Generated Definition:

A kind of Property Constraint. A valid occurrence satisfies the following necessary condition:

  • is of type exactly one occurrence of Type.

A valid occurrence may also have the following properties:

  • prerequisite type any number of values of Boolean.

Definition: A property type constraint defines the type(s) of a property.
All elements bound to a property must have the type <is of type>. <is of type> may be pre-existing or inferred based on the value of <prerequisite type>.
Note that Property Type Constraint is a rule independent of the definition of a property to allow for the type of a property to be refined in a more restrictive context.

[FUML] TypedElement.type: Note: A property type constraint applied to a property has the same semantics as a UML TypedElement.

[OWL] Union( AllValuesFrom, SomeValuesFrom, DataPropertyRange, ObjectPropertyRange)). <is of type> corresponds to rdfs:Range. <constrains> corresponds to rdfs:Domain (note that in an association type or relationship type with two property types, the range will be the domain of the "opposite" property, if any).

Proposition

Model-Generated Definition:

A kind of Identifiable Entity. A valid occurrence may have the following properties:

  • negated within any number of occurrences of Context.
  • holds within any number of occurrences of Context.
  • qualified within at most one occurrence of Proposition Variable.

Definition: A proposition is statement, or condition with a truth value (true or false) that can be determined or asserted with some level of confidence (assessment of confidence being outside of this specification).
All "facts", statements, speech acts, relationships and rules are propositions.
Propositions may be asserted to be true within a context which they <holds within>.
For a situation, the proposition is true if the situation is actual (i.e., takes place, obtains).

[SBVR] the state of affairs is posited by the proposition and if the state of affairs were actual, the proposition would be true
[CL] Sentence: unit of logical text which is true or false, i.e. which is assigned a truth-value in an interpretation
[SOWA1999] Proposition

Proposition Variable

Model-Generated Definition:

A kind of Pattern Variable. A valid occurrence satisfies the following necessary condition:

Definition: A proposition variable utilizes some proposition (e.g. relationships) as a part of the definition of a pattern, it extends a basic proposition in that it adds properties to determine the effect the assertion has on pattern instances.
A Proposition Variable is a lexical scope context that <asserts> or <negates> other propositions qualified by <has strength> and <explicit>. As a lexical scope it may "own" the asserted propositions.
Proposition Variable is often used with associations and relationships to define the way pattern properties are related to other pattern properties or actual entities.
For a pattern associations, [UML] Connector. (type = has type). Each ConnectorEnd corresponds with a Structured Property Binding.

PSI

Model-Generated Definition:

A kind of Pressure.

Definition: Unit of pounds per square inch.

Q
Quantity kind

Model-Generated Definition:

A kind of Value Type.

Definition: [JCGM 200:2008] A Quantity Kind is an aspect common to mutually comparable quantities represented by one or more units. Units with a common quantity kind may be algorithmically converted to any other unit of that quantity kind. e.g. temperature.

Quantity kinds are a supertype of unit types which are then a type of all quantity values, Quantity values are mutually comparable with all other quantity values categorized by the same quantity kind.

[FIBO] QuantityKind: a categorization type for “quantity” that characterizes quantities as being mutually comparable

[DOLCE] Quality Space

Quart (US)

Model-Generated Definition:

A kind of Liquid Volume.

Definition: Unit of liquid volume where 4 quarts = 1 gallon (gal) = 231 cubic inches [NIST-UNITS].

R
Radians

Model-Generated Definition:

A kind of Angle.

Definition: A unit of an angle where there are 2 PI radians in a circle.

Radiation Absorbed Dose (rad)

Model-Generated Definition:

Definition: One of the two units used to measure the amount of radiation absorbed by an object or person, known as the “absorbed dose,” which reflects the amount of energy that radioactive sources deposit in materials through which they pass. The radiation-absorbed dose (rad) is the amount of energy (from any type of ionizing radiation) deposited in any medium (e.g., water, tissue, air). An absorbed dose of 1 rad means that 1 gram of material absorbed 100 ergs of energy (a small but measurable amount) as a result of exposure to radiation. The related international system unit is the gray (Gy), where 1 Gy is equivalent to 100 rad. For additional information, see Doses in Our Daily Lives and Measuring Radiation. [NRC]

Radiation Exposure

Model-Generated Definition:

Definition: A measure of exposure to radiation.

Radio Contact

Model-Generated Definition:

A kind of Electronic Contact. A valid occurrence may have the following properties:

Definition: Identifier for contact via radio.
[NIEM] ContactRadioType

Radioactivity

Model-Generated Definition:

Definition: Radioactivity is a quantity kind that refers to the amount of ionizing radiation released by a material. Whether it emits alpha or beta particles, gamma rays, x-rays, or neutrons, a quantity of radioactive material is expressed in terms of its radioactivity (or simply its activity), which represents how many atoms in the material decay in a given time period. The units of measure for radioactivity are the curie (Ci) and Becquerel (Bq).

Read Information

Model-Generated Definition:

A kind of Information Action.

Definition: An action to read, access, or understand some information.

Record

Model-Generated Definition:

A kind of Actual Situation and Property Owner. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

Definition: A record of the condition of an entity at a point in time - this includes facts, speech acts and DBMS records.
Records are typically used in data representations, not conceptual models. Records specialize associations as owners of properties.

[IDEAS] A Representation that describes a Thing

Record Type

Model-Generated Definition:

A kind of Property Owner Type and Situation Type. A valid occurrence may have the following properties:

  • about type at most one occurrence of Type.
  • categorizes any number of occurrences of Record.

Definition: Type of the record of the condition of an entity at a point in time - this includes facts, speech acts and DBMS records.
A record type may involve variant and invariant types as variables. Those that are enumerated in a "uniqueness constraint" are invariant (independent variables) uniquely identify the situation which is the subject of the fact type where as the other variables may change over time (dependent variables).
Record types may be grounded in atomic relations by using invariant conditions.
Record types represent typical "data structures".

Regional Identifier

Model-Generated Definition:

Definition: [NIEM] An identification of a person based on a regional ID.

Relationship

Model-Generated Definition:

A kind of Actual Situation and Property Owner. A valid occurrence satisfies the following necessary condition:

Definition: A relationship defines a situation involving related things. A relationship may be asserted within a context as true or false within that context. Each relationship type has a number of bindings of which do not change for the life of the relationship..
A relationship may be true or false within its context (including a timeframe) but is atomic in its truth value.
Relationships may participate in (be bound to) other relationships and as such bindings involving a relationship may change over time. That is, relationships are "first class" objects.

[IDEAS] tuple: A relationship between two or more things.
Note: SMIF allows one end of a relationship.

[OWL] An OWL class that is a subclass of SMIF: Relationship

Relationship Type

Model-Generated Definition:

A kind of Property Owner Type and Situation Type. A valid occurrence may have the following properties:

Definition: A relationship type defines a type of condition, the relationship, involving related things. A relationship may be asserted within a context as true or false within that context. Each relationship type has a number of <has property> "structured property type" properties which describe the role of the related things with respect to the relationship, values of which uniquely do not change for the life of the relationship.
A relationship may be true or false within its context (including a timeframe) but is atomic in its truth value.
Relationships may participate in (be bound to) other relationships and as such bindings involving a relationship may change over time.
The terms for properties of a relationship in a conceptual model are typically verb phrases, connecting the relationship with the related types.

[FIBO] A kind of Mediating Thing

[IDEAS] TupleType: The Powertype of tuple.

[FUML] Association where memberEnd corresponds with <has property>. Note that SMIF relationships are "first class" and may also be considered to correspond to an association class where there are any properties or other relationships referencing the subject relationship.

[UML] AssociationClass (note that "end ownership" is meaningless in SMIF).

[Guizzardi2015] Relator: endurants of a special kind, with the power of connecting (mediating) other endurants. Note: Guissardi "mediation" corresponds with relationship properties.


Relative Coordinate

Model-Generated Definition:

A kind of Spacial Coordinate. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

  • distance any number of occurrences of Length.
  • direction any number of occurrences of Angle.
  • altitude any number of occurrences of Length.

Definition: A coordinate described relative to another. e.g., 5 miles west of the empire state building.

Relocation

Model-Generated Definition:

Definition: The transfer (send/receive) of something between containers or locations. As an Event, the move may be initiated by an actor different from the sender/receiver or may not be caused by an actor.
Examples include movement of a vehicle from one location to another or movement of supplies between warehouses.

Removal Event

Model-Generated Definition:

A kind of Containment Event. A valid occurrence satisfies the following necessary condition:

Definition: An event that removes things from containers or locations. This results in the termination of a containment relationship.

Remove Information

Model-Generated Definition:

A kind of Information Action and Removal Event. A valid occurrence satisfies the following necessary conditions:

Definition: An action to remove information from some repository or composite information structure.

Representation Rule

Model-Generated Definition:

A kind of Conditional Rule. A valid occurrence satisfies the following necessary conditions:

  • represented type at least one occurrence of Type.
  • represented by exactly one occurrence of Type.

A valid occurrence may also have the following properties:

  • map all any number of values of Boolean.

Definition: A representation rule states that the <represented type> has a representation defined by the <represented by> type.
Representation rules are used to filter Map Rules such that only represented concepts may be mapped.
A representation is usually complimented with one or more mapping rules.

Residence

Model-Generated Definition:

A kind of Place.

Definition: A place where people live/reside.

Resource

Model-Generated Definition:

A kind of Identifiable Entity and Means. A valid occurrence may have the following properties:

Definition: A resource is a role of an entity required for or helpful to any operation, activity, process or capability - directly or indirectly. Sometimes called an "asset".

Resource Actions

Model-Generated Definition:

A kind of Activity Effecting Entity. A valid occurrence satisfies the following necessary condition:

  • affects at least one occurrence of Resource.

Definition: An action impacting a potential or realized resource/asset.

Response

Model-Generated Definition:

A kind of Activity.

Definition: A response is an activity performed by an actor as a reaction to (caused by) another situation.

Roentgen (R)

Model-Generated Definition:

A kind of Radiation Exposure.

Definition: A unit of exposure to ionizing radiation. It is the amount of gamma or x-rays required to produce ions resulting in a charge of 0.000258 coulombs/kilogram of air under standard conditions. [NRC]

Roentgen Equivalent Man (REM)

Model-Generated Definition:

Definition: One of the two standard units used to measure the dose equivalent (or effective dose), which combines the amount of energy (from any type of ionizing radiation that is deposited in human tissue), along with the medical effects of the given type of radiation. For beta and gamma radiation, the dose equivalent is the same as the absorbed dose. By contrast, the dose equivalent is larger than the absorbed dose for alpha and neutron radiation, because these types of radiation are more damaging to the human body. Thus, the dose equivalent (in rems) is equal to the absorbed dose (in rads) multiplied by the quality factor of the type of radiation [see Title 10, Section 20.1004, of the Code of Federal Regulations (10 CFR 20.1004), "Units of Radiation Dose"]. The related international system unit is the sievert (Sv), where 100 rem is equivalent to 1 Sv. [NRC]

Role

Model-Generated Definition:

A kind of Facet.

Definition: A role is a facet type that defines a specific purpose or behavior of a class of things. E.g. teacher, policeman, or employer.
[FIBO] Role. Note that partyInRole or thingInRole are implied by classification of a thing.

Rule

Model-Generated Definition:

A kind of Proposition. A valid occurrence may have the following properties:

  • constrains any number of occurrences of Identifiable Entity.
  • subsumes any number of occurrences of Rule.
  • subsumed by any number of occurrences of Rule.

Definition: A rule is a proposition that constrains one or more entities by limiting possible conditions or producing some effect.
Note that rules may or may not be defined in the same context that they hold within or constraint. This support the "open world assumption" that a rule may be asserted outside of the scope of the rule or what the rule is constraining.

Rule Computation

Model-Generated Definition:

Definition: <<Rule Computation>> is an abstract supertype for a facade that includes external implementation. The implementation is outside of this specification.

S
Scalar Duration Value

Model-Generated Definition:

A kind of Duration and Scalar Quantity.

Definition: Number and time unit together giving magnitude of a duration.

[DTV]
Definition:if the atomic duration value is a precise atomic duration value, then the time unit is the reference duration to which the ratio of the duration quantified by the atomic duration value is taken
Definition:if the atomic duration value is a nominal atomic duration value, then the time unit is the reference duration to which the ratio of exactly one element of the duration value set specified by the atomic duration value is taken
Example:“45 minutes” has the time unit ‘minute’

Scalar Quantity

Model-Generated Definition:

A kind of Unit Value. A valid occurrence may have the following properties:

  • hasValue any number of values of Number.

Definition:

Scenario

Model-Generated Definition:

A kind of Occurrence Pattern.

Definition: A scenario is a process pattern that provides template for a set of steps (may be but are not always activities) and resource that formally or informally depict how things may happen based on observations of similar occurrences. Scenarios are intended to be descriptive, not prescriptive.
Scenarios are described by at least one scenarios steps, one of which must provide a goal state.
Scenarios include attack/defense and fault trees.

Scenario Step

Model-Generated Definition:

A kind of Means and Situation. A valid occurrence may have the following properties:

Definition: A scenario step is a node in one or more scenarios that ultimately result in consequences.

Second

Model-Generated Definition:

Definition: [NIST-SI] The second (symbol: s) is the base unit of time in the International System of Units (SI) and is also a unit of time in other systems of measurement (abbreviated s or sec); it is the second division of the hour by sixty, the first division by 60 being the minute.

[DTV] second: The second is the duration of 9 192 631 770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atom.

[IDEAS] Second: A measureNamedNumericallyBy that names a Time with its ValueInSeconds

Serial Number

Model-Generated Definition:

A kind of Managed Item Identifier and Unique Text Identifier. A valid occurrence satisfies the following necessary condition:

Definition: An identifier of an item provided by its producer or supplier.

Sievert (Sv),

Model-Generated Definition:

Definition: The international system (SI) unit for dose equivalent equal to 1 Joule/kilogram. 1 sievert = 100 rem. Named for physicist Rolf Sievert.

Situation

Model-Generated Definition:

A kind of Context, Lexical Scope, Proposition, and Temporal Entity. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

Definition: A situation is an identifiable entity composed of an arrangement of entities and the relations between them over a time interval. Situations are propositions and may be asserted as true or false in some context. Situations may change over time, unless otherwise constrained. As an identifiable entity, situations may participate in relationships, thus situations are "first class" elements in SMIF.

[SBVR] "State of affairs"
[SOWA1999] Nexus

Situation Type

Model-Generated Definition:

A kind of Entity Type. A valid occurrence may have the following properties:

  • categorizes any number of occurrences of Situation.

Definition: A situation type defines a kind of identifiable arrangement of individuals, assertions and the relations between them over a timespan. As an identifiable entity, situations may participate in other situations and relationships by being bound to properties of those situations or relationships with bindings, thus situations are “first class” entities in a SMIF model.
The roles or behaviors things (any entity or value) may play in a situation are identified as properties of the situation type.
Entity types and roles may also be situation types.
Syn. Type of a state of affairs.
A situation type may have properties such that instances, may bind things to structures based on properties.
Things may be bound to a structure (i.e. play a role in the structure) via properties. Things bound to properties of a structure may change over time, unless otherwise constrained.

[DTV] situation kind: state of affairs that may or may not happen in some possible world

Social Agent

Model-Generated Definition:

A kind of Actor. A valid occurrence may have the following properties:

  • constrained by any number of occurrences of Policy.

Definition: An actor that may have responsibilities - people and organizations. Actors in general may include automated entities and even, in some context, animals. Social agent excludes these other kinds of actors by including (at this time) only people and organizations.
What responsibilities a particular person or organization may have at any particular time is the subject of law and social constructs. A social agent is distinguished in that a person or organization may have such responsibilities in their lifetime.
[NIEM] EntityType
[DOLCE] Social Agent

Social Network Contact

Model-Generated Definition:

A kind of Internet Contact.

Definition: Contact information to be used via a social network.
[NIEM] InstantMessageType
--InstanceMessengerServiceName = <has name>
--InstanceMessengerScreenId = "electronic address"

Social Security Number

Model-Generated Definition:

Definition: [NIEM] PersonSSNIdentification (property): A unique identification reference to a living person; assigned by the United States Social Security Administration.

Software

Model-Generated Definition:

A kind of Automaton, Information Object, and Tool. A valid occurrence satisfies the following necessary condition:

Definition: Programs and other operating information used by a computer to control its function through the definition of a process.

Spacial Coordinate

Model-Generated Definition:

A kind of Coordinate and Location Identifier. A valid occurrence may have the following properties:

Definition: Any point that uniquely identifies a spacial location relative to a coordinate system.

One of a sequence of n numbers designating the position of a point in n-dimensional space [OGC]

Spacial Entity

Model-Generated Definition:

A kind of Actual Entity.

Definition: A thing that exists in space: The union of locations and physical entities.
[DOLCE] Physical Endurant

Speed

Model-Generated Definition:

Definition: A Quantity kind representing distance per unit of time.

Square Feet

Model-Generated Definition:

A kind of Area.

Definition: Area measured in feet.

Square Meter

Model-Generated Definition:

A kind of Area.

Definition: Area measured in SI meters.

Stakeholder

Model-Generated Definition:

A kind of Social Agent.

Definition: A stakeholder is a responsible performer having objectives and promoting the means for achieving those objectives.

State

Model-Generated Definition:

A kind of Situation. A valid occurrence may have the following properties:

Definition: A state is a static situation - a particular configuration of entities that is static for a time period, including spatial and logical connections between those things {Snapshot of a Perdurant}
Note that states may be of any length, from an instant to infinity and beyond.

[DOLCE] State

Statement

Model-Generated Definition:

A kind of Context and Metadata. A valid occurrence may have the following properties:

Definition: Statements provide metadata as to the source of information - who or what said it.
This source of the information may be captured using "InformationSource" metadata about the metadata.

[ISO11404] provision that conveys information

Stop Process

Model-Generated Definition:

A kind of Process Action.

Definition: An action to terminate a process.

Structured Information Object

Model-Generated Definition:

A kind of Container and Information Object. A valid occurrence may have the following properties:

Definition: An information object that contains sub-elements. e.g., a "record".

Structured Value

Model-Generated Definition:

A kind of Property Owner and Value. A valid occurrence may have the following properties:

Definition: A value that may have sub-elements (owned properties) defined as "structure property type".

Structured Value Type

Model-Generated Definition:

A kind of Property Owner Type and Value Type. A valid occurrence may have the following properties:

Definition: A structured value type is a type of value that has parts represented as properties - also used for "data types" and forms.

Subsystem

Model-Generated Definition:

A kind of Resource and System. A valid occurrence satisfies the following necessary condition:

  • is part of at least one occurrence of System.

Definition: A role of a system as a part of another system as a resource to the owning system.

Summarize

Model-Generated Definition:

A kind of Rule Computation. A valid occurrence may have the following properties:

  • summary any number of values of String.
  • element any number of values of any type.

Definition: <<Summarize>> is a rule that produces a natural language description of an element. Summarize may not be bi-directional and is expected to have information loss.
<summary> is a summary of <element>.
Content of summary is implementation specific.

Supplier

Model-Generated Definition:

A kind of Social Agent.

Definition: A person or organization that sells products or services.
[FIBO] a party that supplies goods or services

System

Model-Generated Definition:

A kind of Actor, Composite, Means, and Situation. A valid occurrence may have the following properties:

  • has part any number of occurrences of Subsystem.

Definition: [OMG MDA Guide] A system is a collection of parts and relationships among these parts that may be organized to accomplish some purpose.
[UAF] An integrated set of elements, subsystems, or assemblies that accomplish a defined objective. These elements include products (hardware, software, firmware), processes, people, information, techniques, facilities, services, and other support elements .
A system is a situation in that it has constituent parts working together for a finite period.
A system is a means in that it may achieve objectives for stakeholders.

System of Units

Model-Generated Definition:

A kind of Context. A valid occurrence may have the following properties:

  • unit of system any number of occurrences of Unit Type.

Definition: [JCGM 200:2008] A set of base units and derived units, together with their multiples and submultiples, defined in accordance with given rules, for a given system of quantities.

[FIBO] SystemOfUnits: a set of measurement units associated with a system of quantities, together with a set of rules that assign one measurement unit to be the base unit for each base quantity in the system of quantities and a set of rules for the derivation of other units from the base units

T
Tax Authority Identifier

Model-Generated Definition:

Definition: An identifier assigned to a person or organization by a tax authority.

Technical Identifier

Model-Generated Definition:

Definition: A technical identifier is defined within a technical system, information structure or system of systems for references and identity within that system or information element. Such identifiers may have no meaning outside of that system.

Typical technical identifiers include inter document "refs", record numbers, etc. The system should be referenced as the namespace.

Telecommunication Device

Model-Generated Definition:

A kind of Communicating Device. A valid occurrence may have the following properties:

Definition: A device for human to human communication over a distance by cable, telegraph, telephone, computer networks, or broadcasting.
[NIEM] TelecommunicationsDeviceType

Telephone Area Code

Model-Generated Definition:

A kind of Text Identifier. A valid occurrence may have the following properties:

  • value at most 999 values of Integer.

Definition: A three-digit number that identifies one of the telephone service regions into which the US, Canada, and certain other countries are divided and that is dialed when calling from one area to another.

Telephone Country Code

Model-Generated Definition:

A kind of Country ID and Text Identifier. A valid occurrence may have the following properties:

  • value at most 99 values of Integer.

Definition: 2 digit Telephone codes for contacting people and organizations within countries.

Telephone Number

Model-Generated Definition:

A kind of Electronic Contact.

Definition: A way to contact an actor via a telephone.
[NIEM] TelephoneNumberType

Telephone Number Structured

Model-Generated Definition:

A kind of Telephone Number. A valid occurrence satisfies the following necessary condition:

  • line exactly one value of any type.

A valid occurrence may also have the following properties:

Definition: Structured representation of a telephone number.
[NIEM] NANPTelephoneNumberType & InternationalTelephoneNumberType

Telephone Number Text

Model-Generated Definition:

A kind of Telephone Number. A valid occurrence satisfies the following necessary condition:

  • telephone number exactly one value of String.

Definition: Unstructured (text) representation of a telephone number.
[NIEM] FullTelephoneNumberType

Temperature

Model-Generated Definition:

Definition: The abstract quantity kind of Thermodynamic temperature which is the supertype of all temperature units and also acts as its "quantity kind".
Thermodynamic temperature is the absolute measure of temperature and it is one of the principal parameters of thermodynamics.
Thermodynamic temperature is defined by the third law of thermodynamics in which the theoretically lowest temperature is the null or zero point.

[IDEAS] ThermodynamicTemperature:

Temporal Composite

Model-Generated Definition:

A kind of Composite and Temporal Entity.

Definition:

Temporal Entity

Model-Generated Definition:

A kind of Identifiable Entity. A valid occurrence satisfies the following necessary condition:

  • has duration exactly one occurrence of Duration.

A valid occurrence may also have the following properties:

Definition: A temporal is anything that has a timespan. Temporal things may have temporal relationships with other temporal things.

Note that relationships defined for [DTV] Time Intervals may be specified for <temporal Entity> but are not specified in SMIF.

[SOWA1999] Continuant

Term

Model-Generated Definition:

A kind of Name and Unique Text Identifier.

Definition: A word, phrase or name used by stakeholders to uniquely identify entities.

[ISO 1087] term: verbal designation of a general concept in a specific subject field.

Text Identifier

Model-Generated Definition:

A kind of Identifier. A valid occurrence may have the following properties:

  • value any number of values of String.

Definition: A code or other simple value that can be represented as text, identifying something that may or may not be unique. Simple identifiers may be codes, names, numbers or compound values.
[NIEM] IdentificationType (IdentificationID=value)

Thing

Model-Generated Definition:

A valid occurrence satisfies the following necessary condition:

  • has type at least one occurrence of Type.

A valid occurrence may also have the following properties:

Definition: Any thing or value that does or may exist in any possible world. Thing is the supertype of all types and may therefore participate in unbounded relations.
Instances of Thing are referred to as "a thing" in this model.

[IDEAS] Thing
[OWL] Thing
[ISO 1087] object: anything perceivable or conceivable
[FIBO] Thing
[Guizzardi] Thing
[FUML] Element
[SOWA1999] "T"
[OWL] rdfs:Resource

Time Coordinate (from package /Concept Library/Time & Temporal Entities/Time Coordinate)

Model-Generated Definition:

A kind of Time Coordinate.

Definition: A designation of a particular time.

Time Coordinate (from package /Concept Library/Quantities and Units/Time Coordinate)

Model-Generated Definition:

A kind of Coordinate and Unit Value. A valid occurrence satisfies the following necessary conditions:

  • identifies exactly one occurrence of Time Point.
  • system of coordinate exactly one occurrence of Time Scale.

A valid occurrence may also have the following properties:

  • value any number of occurrences of Duration.

Definition: An identifier for a particular point in time, recognizing that any such point is an interval at a finer level of granularity.
Specific time coordinate systems, such as ISO or Internet time, specialize Time Coordinate and relate it to a time scale.
[DTV] time point: concept that specializes the concept 'time interval' and that is a member of a time scale
[ISO11404] time: time is a family of datatypes whose values are points in time to various common resolutions: year, month, day, hour, minute, second, and fractions thereof.

Time Interval

Model-Generated Definition:

A kind of Context and Temporal Entity. A valid occurrence may have the following properties:

Definition: A segment of time.

[DTV] "time interval" : segment of the time axis, a location in time.

Note:Every time interval has a beginning, an end, and a duration, even if not known. Every time interval is “finite”, a bounded segment of the Time Axis. The beginning or end of a
time interval may be defined by reference to events that occur for a time interval that is not known.

Note:Time intervals may be ‘indefinite’, meaning that their beginning is ‘primordiality’ or their end is ‘perpetuity’, or both (‘eternity’). This vocabulary assumes that indefinite
time intervals exist and have some duration, but their duration is unknown.

[IDEAS] PeriodOrInstant: An Individual whose spatial extent is infinite, but whose temporal extent is finite or zero.

[UML] TimeInterval
[NIEM] DateRangeType
[DOLCE] Temporal Region

Time Point

Model-Generated Definition:

A kind of Time Interval. A valid occurrence satisfies the following necessary condition:

  • time point on exactly one occurrence of Time Scale.

A valid occurrence may also have the following properties:

Definition: A portion of time deemed atomic on a time scale. As all points in time may be further subdivided into a finer granularity of time, each point in time is also a time interval on some other scale.

The duration of a time point is the same as the granularity of the time scale of the time point.

[DTV] time point: concept that specializes the concept 'time interval' and that is a member of a time scale.

[IDEAS] CalendarPeriod: A Period that corresponds to a recognized date or time.

Time Scale

Model-Generated Definition:

A kind of Coordinate System. A valid occurrence satisfies the following necessary conditions:

  • has granularity exactly one occurrence of Duration.
  • has member time Point at least one occurrence of Time Point.

A valid occurrence may also have the following properties:

Definition: A time scale is a way to reckon time as a series of consecutive time points identified by time coordinates. e.g. Time scale defined by the Gregorian calendar.

[DTV] time scale: regular sequence that each member of the regular sequence is a time point

Tool

Model-Generated Definition:

A kind of Resource.

Definition: The role of some inanimate thing used to facilitate a process or activity by an actor performing a process or activity.

Topology

Model-Generated Definition:

A kind of Record. A valid occurrence satisfies the following necessary condition:

Definition: A record of a contiguous 1, 2 or 3 dimensioned area defined by geographic features and points.
[NIEM] AreaType

Transfer Ability

Model-Generated Definition:

Definition: The purposeful or accidental transfer of ability or control from one actor to another. Such transfer of ability or control may be by agreement or force.

Transfer Information

Model-Generated Definition:

Definition: The transfer of information from one information store to another.

Traversal

Model-Generated Definition:

A kind of Expression Node and Property Owner. A valid occurrence satisfies the following necessary conditions:

  • traverse to relation exactly one value of Boolean.
  • inverse exactly one value of Boolean.
  • traverses through at least one occurrence of Property Type.

Definition: Traversal from the current <evaluates in> context to another across a relation or other structure.

A traversal is a structure such that the structure's bindings may hold other properties of a traversal constant as independent variables where <traverses through> is the dependent variable. The traversal shall be considered to have the type of the relation it is traversing. Traversing binary relations does not require any bindings.

[OWL] ObjectPropertyChain

Type

Model-Generated Definition:

A kind of Context and Lexical Scope. A valid occurrence may have the following properties:

Definition: A <Type> is a categorization of any thing based on specific criteria. The specific criteria may or may not be formalized in a model.
A <Type> <categorizes> a set of <Thing>s which comprises the "extent" of the type.
A <Type> is a <Context> where the things it <categorizes> are <in the context> of the <Type>.

[ISO 1087] general concept: concept (3.2.1) which corresponds to two or more objects (3.1.1) which form a group by reason of common properties
[FIBO] Classifier: a standardized classification or delineation for something, per some scheme for such delineation, within a specified context
[FUML] Type
[CL] Type:: logical framework in which expressions in the logic are classified into syntactic or lexical categories (types) and restricted to apply only to arguments of a fixed type
[Guarino1994] Discriminating Predicate
[OWL] Union(rdfs:Class, rdfs:Datatype)

Similar to:
[IDEAS] Type: A set (or class) of Things. (Note that SMIF defines the extent of a type a a set, the type is the intent of that set which forms a predicate for which all members of the set is true)

Type Constraint

Model-Generated Definition:

A kind of Rule. A valid occurrence satisfies the following necessary condition:

  • constrains exactly one occurrence of Type.

Definition: A constraint of a type, including Relationships types.

Type Pattern Variable

Model-Generated Definition:

A kind of Pattern Variable. A valid occurrence may have the following properties:

Definition: Type Pattern variable is an abstract supertype that provides for a restriction that parts and focus properties must be owned by a pattern of a type.

U
Union Type

Model-Generated Definition:

A kind of Type.

Definition: A Union is a type that has an extent which is the complete union of the extents of all types that specialize the Union.

[FIBO] Logical Unions

[MathWorld] Given two sets A and B, the union is the set that contains elements or objects that belong to either A or to B or to both. We write A È B

[OWL] ObjectUnionOf( ObjectUnionOf, DataUnionOf)

Unique Identifier

Model-Generated Definition:

A kind of Identifier. A valid occurrence satisfies the following necessary condition:

  • unique within exactly one occurrence of Namespace.

Definition: A unique identifier is an entity used to uniquely identify something. The identified thing is referenced by what the identifier <identifies>.
Identifiers are defined and <unique within> a lexical scope as its namespace.
Multiple identifiers may use the same word or text value (or other forms of values) in differing <unique within> namespaces such that the same word may have different meanings in different context.
An entity may have any number of identifiers.

Unique Text Identifier

Model-Generated Definition:

Definition: An <Identifier> that is represented using text. e.g. a "word", "phrase" or "name".

Uniqueness Constraint

Model-Generated Definition:

A kind of Type Constraint. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

  • is primary identity any number of values of Boolean.

Definition: A constraint that, within the <constrains> type the rule applies to, the set of instances bound to the set of types in the "has unique" relation must be unique and serves to define the "identity" of each individual.
Note: Uniqueness may be used to define a "key".
[OWL] HasKey where CE (subject class expression) is <constrains> and <has unique> is Union(ObjectPropertyExpression, DataPropertyExpression)

Unit Type

Model-Generated Definition:

A kind of Value Type. A valid occurrence satisfies the following necessary condition:

A valid occurrence may also have the following properties:

  • ratio any number of values of Real.
  • offset any number of values of Real.
  • symbol any number of values of String.
  • unit reference at most one occurrence of Definition.
  • defined within system at most one occurrence of System of Units.
  • categorizes any number of occurrences of Unit Value.

Definition: A Unit type is a type of a quantity value referencing a specific unit. A Unit Type a required type of a property representing a quantity.

Each quantity value has a reference as defined by the "unit reference" property of the quantity value's type.

[JCGM 200:2008] A Unit is a real scalar quantity, defined and adopted by convention, with which any other quantity of the same quantity kind can be compared to express the ratio of the two quantities as a number. e.g. Degrees Centigrade, Miles.

Each unit type represents refinement of a quantity kind using generalization and is thus substitutable for that quantity kind. Typically quantity kinds are used in conceptual models and unit types in physical or logical models.

Unit types may only subtype quantity kinds or other units.

Note that unit types are not units, but the type of quantity values expressed with respect to a common unit as defined in [JCGM 200:2008].

[IDEAS] MeasureCategory: A MeasureType whose members are recognized types of MeasureInstance.

Unit Value

Model-Generated Definition:

A kind of Value. A valid occurrence satisfies the following necessary condition:

  • has type exactly one occurrence of Unit Type.

A valid occurrence may also have the following properties:

Definition: A unit value is a numeric magnitude with a unit type that may be used as the value of a quantity property as defined by [JCGM 200:2008]. The reference of the quantity is defined by the "unit reference" property of the Unit Type.

e.g. 5cm is an instance of the unit type "Centimeter"

Each unit value has exactly one UNit Type as a type.

In a physical model a quantity value must have a type that specifies its unit (e.g. "Gram"). The magnitude shall be expressed using "hasValue"

[JCGM 200:2008] A quantity is a property of a phenomenon, body, or substance, where the property has a magnitude that can be expressed as a number and a reference.

Note: A quantity as defined here is a scalar. However, a vector or a tensor, the components of which are quantities, is also considered to be a quantity.

[IDEAS] ScaleMapping: A CoupleType whose members are all the couples linking MeasurePoints to RealNumbers. The CoupleType (i.e. the set of couples) represents the scale.



[FIBO] QuantityValue: number and measurement unit together giving magnitude of a quan-tity

[Guizzardi] (quale): A point in a n-dimensional quality domain

V
Value

Model-Generated Definition:

A kind of Thing.

Definition: A Value is an atomic. immutable piece of information without a specific lifetime or identity independent of the value. Values include numbers, strings and other atomic "primitive" data. Values also include structured values, which are immutable.

In UML values may be defined by the name of an instance specification with a value type.

[IDEAS] Representation: A SignType where all the individual Signs are intended to signify the same Thing.

[ISO11404] The identification of members of a datatype family, subtypes of a datatype, and the resulting datatypes of datatype generators may require the syntactic designation of specific values of a datatype.

[OWL] data values

Value Type

Model-Generated Definition:

A kind of Type. A valid occurrence may have the following properties:

  • categorizes any number of occurrences of Value.

Definition: A type categorizing values where a value is an atomic piece of information without a specific lifetime or identity independent of that value. Values include numbers, strings and other atomic "primitive" data.

[IDEAS] RepresentationType: A Type that is the Powertype of Representation.

[FUML] DataType

[ISO11404] datatype: set of distinct values, characterized by properties of those values, and by operations on those values

[OWL] rdfs:Datatype (Note that some values are represented as OWL classes)

Variable Binding

Model-Generated Definition:

A kind of Owned Property Binding. A valid occurrence satisfies the following necessary conditions:

Definition: A variable binding defines a value for a particular variable of a particular owning pattern as part of a pattern match.

Volt

Model-Generated Definition:

A kind of Electric Potential.

Definition: The SI unit of electromotive force, the difference of potential that would drive one ampere of current against one ohm resistance.

Volume

Model-Generated Definition:

Definition: A quantity kind for the amount of space that a substance or object occupies.

W
Watt

Model-Generated Definition:

A kind of Power.

Definition: The SI unit of power is the joule per second (J/s).

Website Contact

Model-Generated Definition:

A kind of Internet Contact. A valid occurrence may have the following properties:

Definition: A website that can be used to contact an individual.

World Geodetic System

Model-Generated Definition:

A kind of Point On Earth. A valid occurrence may have the following properties:

  • latitude any number of occurrences of Angle.
  • longitude any number of occurrences of Angle.
  • elevation any number of occurrences of Length.

Definition: The World Geodetic System defines a reference frame for the earth, for use in geodesy and navigation. The latest revision is WGS 84 dating from 1984. [WGS-84]
[NIEM] Location2DGeospatialCoordinateType or Location3DGeospatialCoordinateType (With elevation)

X
XOR Condition

Model-Generated Definition:

A kind of Composite Condition.

Definition: A state that is True only when exactly one of its "affected by" is true - XOR

XSD Date

Model-Generated Definition:

A kind of Date Coordinate. A valid occurrence may have the following properties:

Definition: An XSD representation of a date
[OWL] xsd:date.

XSD Date Time

Model-Generated Definition:

A kind of Date and Time. A valid occurrence may have the following properties:

Definition: An XSD representation of a date and time
[OWL] xsd:dateTime

XSD Time

Model-Generated Definition:

A kind of Time Coordinate. A valid occurrence may have the following properties:

Definition: An XSD representation of a time
[OWL] xsd:time

Y
Yard

Model-Generated Definition:

A kind of Length.

Definition: A Unit of length equal to 3 feet.[NIST-UNITS]

Year

Model-Generated Definition:

Definition: The period of 365 days (or 366 days in leap years) starting from the first of January, used for reckoning time in ordinary affairs.

[DTV] year: the nominal time unit that is the duration of a time interval required for one revolution of the Earth around the Sun, approximated to an integral number of days
[OWL] xsd:gYear