material transport function

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

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

SubClass Of: designed function

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › bfo:function › designed function › material transport function

Definition

designed function of a material artifact or engineered system that is realized in a material location change process in which some material entity other than the bearer, and not a part of the bearer, is moved from one location to another

Explanatory Notes

1. The bearer may itself move (a truck) or remain fixed (a pipeline); what matters is that its realization moves something other than itself.

2. The function is possessed by design and may be realized in material handling as well as in transportation; the means of transport role, not this function, is what is specific to transport processes.

3. Contrast with material containment function, whose realizations hold rather than move. The conveyor and forklift examples are deliberate: both bear this function and neither bears a means of transport role when used within a site.

Examples

• function of a truck to carry cargo over roads; function of a locomotive to haul a train; function of a container ship to carry containers; function of a pipeline to convey crude oil; function of a conveyor to move grain from silo to plant; function of a forklift to move pallets

Counter-Examples

• material containment function of an intermodal container; support function of a warehouse rack; transportation business function of a carrier

Primitive Class

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

Primitive Rationale

Function types are individuated by the kinds of process they are disposed to be realized in; sufficient conditions would require quantification over possible realizations, which is not available in FOL or OWL. Necessary conditions on actual realizations are given.

Formal Axioms

First-Order Logic Axioms

MaterialTransportFunction(f) → DesignedFunction(f) ∧ ∀x (functionOf(f,x) → MaterialArtifact(x) ∨ EngineeredSystem(x)) ∧ ∀p (hasRealization(f,p) → MaterialLocationChangeProcess(p) ∧ ∃y (MaterialEntity(y) ∧ participatesInAtSomeTime(y,p) ∧ ∀x (functionOf(f,x) → y ≠ x ∧ ¬partOfAtSomeTime(y,x))))

Semi-Formal Natural Language Axioms

if x is a ‘material transport function’ then x is a ‘designed function’ that is ‘function of’ only ‘material artifact’ or ‘engineered system’, and is ‘realized in’ only ‘material location change process’ in which some ‘material entity’ that is not the bearer and not a ‘part of’ the bearer ‘participates in at some time’

Description Logic

constr:MaterialTransportFunction ⊑ constr:DesignedFunction

constr:MaterialTransportFunction ⊑ ∀ bfo:has_realization .constr:MaterialLocationChangeProcess

constr:MaterialTransportFunction ⊑ ∀ constr:functionOf .(constr:EngineeredSystem ⊔ constr:MaterialArtifact)

SubClassOf: constr:DesignedFunction

SubClassOf: bfo:has_realization only constr:MaterialLocationChangeProcess

SubClassOf: constr:functionOf only (constr:EngineeredSystem or constr:MaterialArtifact)