Jump to:
loading...| Preferred Name | Event | |
| Synonyms |
|
|
| 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 |
|
| first-order logic axiom |
Event(x) → (Process(x) ∨ ProcessBoundary(x)) ∧ ∃y(Agent(y) ∧ recognizedByAtSomeTime(x,y)) |
|
| is defined by | ||
| is primitive |
true |
|
| maturity |
https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/Provisional |
|
| 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 |
|
| subClassOf |
https://github.com/Mat-O-Lab/MSEO/raw/main/domain/util/readable_bfo_iris.ttl/Occurrent |
Create mapping