loading...| Preferred Name | GroupOfAgents | |
| Synonyms |
|
|
| Definitions |
GroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃y(Agent(y) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z (hasMemberPartAtSomeTime(x, z) → Agent(z)) 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' |
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/GroupOfAgents |
|
| adapted from |
http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology |
|
| definition |
GroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃y(Agent(y) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z (hasMemberPartAtSomeTime(x, z) → Agent(z)) 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' |
|
| 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) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z (hasMemberPartAtSomeTime(x, z) → Agent(z)) |
|
| is defined by | ||
| prefixIRI |
iof-core:GroupOfAgents |
|
| prefLabel |
GroupOfAgents |
|
| 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 |
https://github.com/Mat-O-Lab/MSEO/raw/main/domain/util/readable_bfo_iris.ttl/ObjectAggregate |