industry

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

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

SubClass Of: group of agents

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › group of agents › industry

Definition

group of organizations that are related based on their primary business activities

Explanatory Notes

Group of organizations that participate in similar or related business processes and are intended to realize similar or related primary business functions according to their organizational objectives and plans.

candidate IOF Core construct

Examples

• automotive industry, defense industry, oil and gas industry

Primitive Class

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

Primitive Rationale

This construct is intended to remain as a primitive. The sub-classes will be non-primitive as they pertain to specific business functions.

Formal Axioms

First-Order Logic Axioms

Industry(x) → GroupofAgents(x) ∧ ∃y(BusinessOrganization(y) ∧ memberPartOfAtAllTimes(y,x)) ∧ ∀z(memberPartOfAtAllTimes(z,x) → BusinessOrganization(z))

Semi-Formal Natural Language Axioms

if x is an Industry then x is a ‘group of agents’ that only ‘has member parts at all times ‘business organization’

Description Logic

constr:Industry ⊑ constr:GroupOfAgents

constr:Industry ⊑ ∃ bfo:has_member_part_at_all_times .constr:BusinessOrganization ⊓ ∀ bfo:has_member_part_at_all_times .constr:BusinessOrganization

SubClassOf: constr:GroupOfAgents

SubClassOf: bfo:has_member_part_at_all_times some constr:BusinessOrganization and bfo:has_member_part_at_all_times only constr:BusinessOrganization