Preferred Name |
organization |
Definitions |
every instance of 'organization' is defined exactly as an instance of 'organized group of agents' that is 'designated by' some 'organization identifier' and that 'has member part at all times' one or more 'person' Organization(x) ↔ OrganizedGroupOfAgents(x) ∧ ∃p,∃i(Person(p) ∧OrganizationIdentifier(i) ∧ designatedBy(x,i) ∧ hasMemberPartAtAllTimes(x,p)) |
ID |
https://spec.industrialontologies.org/ontology/core/Core/Organization |
adapted from |
https://spec.edmcouncil.org/fibo/ontology/FND/Organizations/Organizations/Organization |
definition |
every instance of 'organization' is defined exactly as an instance of 'organized group of agents' that is 'designated by' some 'organization identifier' and that 'has member part at all times' one or more 'person' group of persons that identifies itself by some name and pursues a common set of plans and objectives Organization(x) ↔ OrganizedGroupOfAgents(x) ∧ ∃p,∃i(Person(p) ∧OrganizationIdentifier(i) ∧ designatedBy(x,i) ∧ hasMemberPartAtAllTimes(x,p)) |
example |
goverment, a company, a political party, a city goverment, yakuza, department, division |
explanatory note |
1. An organization may have a set of organizational rules that, among other things, prescribe a set of roles and responsibilities its members bear, how important decisions are made, and how members should behave when acting on behalf of the organization. 2. As introduced here, the mere gathering of a group of persons does not imply the existence of an organization, unless and until such members agree to form an organization and have agreed to a common set of objectives as mentioned in point 1. |
first order logic definition |
Organization(x) ↔ OrganizedGroupOfAgents(x) ∧ ∃p,∃i(Person(p) ∧OrganizationIdentifier(i) ∧ designatedBy(x,i) ∧ hasMemberPartAtAllTimes(x,p)) |
first-order logic axiom |
Organization(x) → ∀y(hasMemberPartAtSomeTime(x,y) → Person(y)) ∧ ∀z(hasContinuantPartAtSomeTime(x,z) → Organization(z)) |
is defined by | |
label |
organization |
natural language definition |
group of persons that identifies itself by some name and pursues a common set of plans and objectives |
prefixIRI |
iof-core:Organization |
prefLabel |
organization |
semi-formal natural language axiom |
if x is an 'organization' then whenever x 'has member part at some time' y that y must be a 'peson' and whenever x 'has continuant part at some time' z that z must be a 'organization' |
semi-formal natural language definition |
every instance of 'organization' is defined exactly as an instance of 'organized group of agents' that is 'designated by' some 'organization identifier' and that 'has member part at all times' one or more 'person' |
usage note |
Members of organizations are people. However, an organization may be composed of several sub-organizations (e.g., departments). This composition should be modeled through 'continuant part' relations. |
subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/OrganizedGroupOfAgents |
Delete | Subject | Author | Type | Created |
---|---|---|---|---|
No notes to display |