Permanent link to this class
IOF Supply Chain Reference Ontology
loading...| Preferred Name |
event |
| Definitions |
phenomena (process or process boundary) that is recognized by an agent and typically recorded |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/Event |
| adapted from |
Oxford Languages, term by the same name |
| counter example |
an event in discrete event simulation is too generic and that notion of event is just BFO:Occurrent |
| definition |
phenomena (process or process boundary) that is recognized by an agent and typically recorded |
| example |
a machine failure event, the amount of cells in a bioreactor reaches a certain threshold |
| first-order logic axiom |
Event(x) → (Process(x) ∨ ProcessBoundary(x)) ∧ ∃y(Agent(y) ∧ recognizedByAtSomeTime(x,y)) |
| is defined by | |
| is primitive |
true |
| label |
event |
| maturity |
https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/Provisional |
| natural language definition |
phenomena (process or process boundary) that is recognized by an agent and typically recorded |
| note |
a machine failure event, the amount of cells in a bioreactor reaches a certain threshold an event in discrete event simulation is too generic and that notion of event is just BFO:Occurrent Event(x) → (Process(x) ∨ ProcessBoundary(x)) ∧ ∃y(Agent(y) ∧ recognizedByAtSomeTime(x,y)) if x is an 'event' then x is a 'process' or 'process boundary' and there is some 'agent' that 'recognizes at some time' x phenomena (process or process boundary) that is recognized by an agent and typically recorded More conditions (differentia) need to be agreed upon by the domain experts as not all occurrents recognized by an agent are events. |
| preferred label |
event |
| prefixIRI |
iof-core:Event |
| prefLabel |
event |
| primitive rationale |
More conditions (differentia) need to be agreed upon by the domain experts as not all occurrents recognized by an agent are events. |
| semi-formal natural language axiom |
if x is an 'event' then x is a 'process' or 'process boundary' and there is some 'agent' that 'recognizes at some time' x |
| source |
Oxford Languages, term by the same name |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |