loading...| Preferred Name | OrganizedGroupOfAgents | |
| Synonyms |
|
|
| Definitions |
OrganizedGroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃i∃f(DirectiveInformationContentEntity(i) ∧ Function(f) ∧ bearerOf(x, f) ∧ prescribes(i, f)) every instance of 'organized group of agents' is defined as exactly an instance of 'group of agents' that is the 'bearer of' some 'function' which is 'prescribed by' some 'directive information content entity' |
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/OrganizedGroupOfAgents |
|
| adapted from |
http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology |
|
| definition |
OrganizedGroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃i∃f(DirectiveInformationContentEntity(i) ∧ Function(f) ∧ bearerOf(x, f) ∧ prescribes(i, f)) every instance of 'organized group of agents' is defined as exactly an instance of 'group of agents' that is the 'bearer of' some 'function' which is 'prescribed by' some 'directive information content entity' |
|
| first order logic definition |
OrganizedGroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃i∃f(DirectiveInformationContentEntity(i) ∧ Function(f) ∧ bearerOf(x, f) ∧ prescribes(i, f)) |
|
| is defined by | ||
| prefixIRI |
iof-core:OrganizedGroupOfAgents |
|
| prefLabel |
OrganizedGroupOfAgents |
|
| semi-formal natural language definition |
every instance of 'organized group of agents' is defined as exactly an instance of 'group of agents' that is the 'bearer of' some 'function' which is 'prescribed by' some 'directive information content entity' |
|
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/GroupOfAgents |