Permanent link to this class
IOF Maintenance Working Group Reference Ontology
loading...| Preferred Name |
group of agents |
| Definitions |
every instance of 'group of agents is defined as exactly an instance of 'object aggregate' that only has 'agent' as 'member parts' and that always has at least one 'agent as its 'member part' GroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃y (Agent(y) ∧ memberPartOfAtAllTimes(y, x)) ∧ ∀z (memberPartOfAtAllTimes(z, x) → Agent(z)) |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/GroupOfAgents |
| adapted from |
http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology |
| definition |
every instance of 'group of agents is defined as exactly an instance of 'object aggregate' that only has 'agent' as 'member parts' and that always has at least one 'agent as its 'member part' group (object aggregate) that has one or more agents as members GroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃y (Agent(y) ∧ memberPartOfAtAllTimes(y, x)) ∧ ∀z (memberPartOfAtAllTimes(z, x) → Agent(z)) |
| example |
organization; an automated manufacturing cell; division; protesters |
| explanatory note |
1. Group of agents being a BFO:Object Aggregate allows for a point in time where only one 'agent' is present. 2. As the name suggests, a group of agents is a grouping of agents based on some criteria. As such, it can only have agents as members. 3. The members of the group of agents can be any combination of persons, organizations, or engineered systems (classes that can be 'agent'). They are typically grouped based on the fact that they are working collectively in a particular type of process on behalf of someone. |
| first order logic definition |
GroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃y (Agent(y) ∧ memberPartOfAtAllTimes(y, x)) ∧ ∀z (memberPartOfAtAllTimes(z, x) → Agent(z)) |
| is defined by | |
| label |
group of agents |
| natural language definition |
group (object aggregate) that has one or more agents as members |
| prefixIRI |
iof-core:GroupOfAgents |
| prefLabel |
group of agents |
| semi-formal natural language definition |
every instance of 'group of agents is defined as exactly an instance of 'object aggregate' that only has 'agent' as 'member parts' and that always has at least one 'agent as its 'member part' |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |