Permanent link to this class
IOF Core
loading...| Preferred Name |
agent |
| Definitions |
every instance of 'agent' is defined as exactly an instance of 'person', 'group of agents', or 'engineered system' when it 'has role' some 'agent role' Agent(x) ↔ (Person(x) ∨ GroupOfAgents(x) ∨ EngineeredSystem(x)) ∧ ∃r (AgentRole(r) ∧ hasRole(x,r)) |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/Agent |
| counter example |
1. Of physical and chemical in nature: Cleaning, vulcanizing, fluxing, indicator, sterilizing, emulisifying, refining. 2. Organisms: animals, cells, parts of organisms (organs, organelles, viruses). |
| definition |
person, group of persons, or engineered system with an agent role every instance of 'agent' is defined as exactly an instance of 'person', 'group of agents', or 'engineered system' when it 'has role' some 'agent role' Agent(x) ↔ (Person(x) ∨ GroupOfAgents(x) ∨ EngineeredSystem(x)) ∧ ∃r (AgentRole(r) ∧ hasRole(x,r)) |
| example |
an employee; a transportation & logistics provider; a robot; a scheduling system |
| explanatory note |
1. See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience. 2. The IOF has elected to exclude material substances often referred to as agents. That is, they realize some specific function that some person desires (e.g., platinum is a reducing agent in various reduction-type reactions -- as used in a catalytic converter to eliminate or reduce various pollutants in exhausts). 3. The IOF has, at this time, excluded non-human agents, such as animals and other organisms (often referred to as biological agents). |
| first order logic definition |
Agent(x) ↔ (Person(x) ∨ GroupOfAgents(x) ∨ EngineeredSystem(x)) ∧ ∃r (AgentRole(r) ∧ hasRole(x,r)) |
| is defined by | |
| label |
agent |
| natural language definition |
person, group of persons, or engineered system with an agent role |
| prefixIRI |
iof-core:Agent |
| prefLabel |
agent |
| semi-formal natural language definition |
every instance of 'agent' is defined as exactly an instance of 'person', 'group of agents', or 'engineered system' when it 'has role' some 'agent role' |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |