is available to at some time

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

Range: agent

Definition

relation from a material entity or physical location to an agent that holds when the material entity or physical location have a capability that is needed by the agent to fulfil some objective carried by the agent

Explanatory Notes

this definition of ‘is available to’ is not the same as the state of availability e.g a machine is idle hence it is in the available state

Examples

• a roll of aluminum (resource) is avaiable to an agent to use in a forming process, a milling workstation (resource) is available to a manufacturer to produce some parts

Formal Axioms

First-Order Logic Axioms

isAvailableToAtSomeTime(x,y) → (MaterialEntity(x) ∨ Site(x)) ∧ Agent(y) ∧ ∃p∃o∃c(Process(p) ∧ ObjectiveSpecification(o) ∧ Capability(c) ∧ hasCapability(x,c) ∧ genericallyDependsOnAtSomeTime(o,y) ∧ (realizes(p,c) ∧ participatesInAtSomeTime(y,p)→ AchievesAtSomeTime(p,o)))

Semi-Formal Natural Language Axioms

x is available at some time y holds when x is a ‘material entity’ or ‘site’ and y is an ‘agent’ and x ‘has capability’ some ‘capability’ which when ‘realized in’ some ‘process’ p that y ‘participates in at some time’ implies that p ‘achieves at some time’ some ‘objective specification’ that ‘generically depends on at some time’ y

Description Logic

domain: bfo:site ⊔ bfo:material_entity

range: constr:Agent

domain: bfo:site or bfo:material_entity

range: constr:Agent