business organization

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

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

SubClass Of: organization

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › group of agents › organized group of agents › organization › business organization

Direct subclasses:

• integrated carrier business organization
• product service system business customer
• product service system supplier organization

Definition

organization engaging in or planning to engage in any activity of buying and selling goods or services for a profit

Semi-Formal Definition:

every instance of a business organization’ is defined as exactly an instance of ‘organization’ that ‘has function’ some ‘business function’

Explanatory Notes

Business entities are formally organized according to the laws prevailing in the locales and countries in which it operates or conducts business, and include companies, corporations, partnerships, or sole proprietorships.

Examples

• Mercedes-Benz, Deloitte, Pfizer, Airbus

Adapted From

• https://en.wikipedia.org/wiki/Business

Formal Axioms

First-Order Logic Definition

BusinessOrganization(x) ↔ Organization(x) ∧ ∃f(BusinessFunction(f) ∧ hasFunction(x,f))

Description Logic

constr:BusinessOrganization ≡ constr:Organization ⊓ ∃ bfo:bearer_of .constr:BusinessFunction

constr:BusinessOrganization ⊑ constr:Organization

EquivalentTo: constr:Organization and bfo:bearer_of some constr:BusinessFunction

SubClassOf: constr:Organization