Permanent link to this class
IOF Maintenance Working Group Reference Ontology
loading...| Preferred Name |
system |
| Definitions |
collection of elements (object aggregate) that form a unified whole and interact |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/System |
| adapted from |
Merriam-Webster Dictionary for term under the same name. |
| definition |
collection of elements (object aggregate) that form a unified whole and interact |
| example |
solar system, digestive system, forest ecosystem, hydraulic system, subway system, social system, technical system, natural system |
| explanatory note |
1. As introduced here, the term is limited to natural, social and technical systems that are tangible and whose "elements" are also tangible. 2. Frequently, the elements comprising a system are instances of BFO: object. However, the system elements may also include object aggregates (e.g., a system of systems; a system that includes a production line consisting of humans, machines, and other equipment) 3. Although the system is asserted under BFO: object aggregate, which is constrained to have only material entities (tangible things) as elements, the approach to modeling systems comprised of both software and hardware (also known as a cyber-physical system) can still be modeled indirectly: by introducing a 'generically depends on' relationship between the software or other intangible elements (information content entity types) and its physical bearer (hardware or hardware system), which are in turn members of the system. |
| first-order logic axiom |
System(x) → ObjectAggregate(x) |
| is defined by | |
| is primitive |
true |
| label |
system |
| natural language definition |
collection of elements (object aggregate) that form a unified whole and interact |
| prefixIRI |
iof-core:System |
| prefLabel |
system |
| primitive rationale |
The term is introduced here as a general class to allow the introduction of specialized kinds of systems that appear in particular modalities. Furthermore, an effort remains to formalize what it means for two things to interact, or what it means to regularly interact. |
| semi-formal natural language axiom |
if x is a 'system' then x is an 'object aggregate' |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |