change

IRI: https://spec.industrialontologies.org/ontology/construct/Change

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: bfo:process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › change

Definition

process in which some independent continuant endures and 1) one or more of the dependent entities it bears increase or decrease in intensity, 2) the entity begins to bear some dependent entity or 3) the entity ceases to bear some dependent entity

Explanatory Notes

candidate IOF Core construct

Examples

  • the process of change in the color of an object, the process of gaining a new student role when a person enrolls for the first time in university courses

Direct Source

  • CCO

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

The intention is to keep this term as a primitive.

The required constructs for creation of a formal definition are not available in this release.

Formal Axioms

First-Order Logic Axioms 

Change(x) → Process(x)

Semi-Formal Natural Language Axioms

if x is a ‘change’ then x is a ‘process’

Description Logic

constr:Change ⊑ bfo:process

SubClassOf: bfo:process