Link to this page
Neuropsychological Integrative Ontology
Last uploaded:
December 23, 2020
Acronym | NIO |
Visibility | Public |
Description | An integrative ontology of the four main domains of neuropsychological diseases, brain areas, cognitive functions and neuropsychological tests |
Status | Alpha |
Format | OWL |
Contact | Alba Gómez-Valadés, albagvb@dia.uned.es |
Categories | Neurologic Disease |
No views of NIO available
Jump to:
Id | http://purl.obolibrary.org/obo/BFO_0000003
http://purl.obolibrary.org/obo/BFO_0000003
|
---|---|
Preferred Name | occurrent |
Definitions |
An entity that has temporal parts and that happens, unfolds or develops through time.
|
Type | http://www.w3.org/2002/07/owl#Class |
All Properties
label | occurrent
|
---|---|
prefLabel | occurrent
|
has associated axiom(fol) | (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
|
editor note | Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame.
Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process.
BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region
BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players.
|
has associated axiom(nl) | Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
|
isDefinedBy | |
elucidation | An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])
|
BFO OWL specification label | occurrent
|
prefixIRI | BFO:0000003
|
seeAlso | |
textual definition | An entity that has temporal parts and that happens, unfolds or develops through time.
|
subClassOf | |
type | |
BFO CLIF specification label | Occurrent
|
Add comment
Delete | Subject | Author | Type | Created |
---|---|---|---|---|
No notes to display |
- Problem retrieving properties:
Notes
Filter:
Add NCBO Web Widgets to your site for NIO
Widget type | Widget demonstration |
---|---|
|
Step 2: Follow the Instructions
For more help visit NCBO Widget Wiki |
|
Example 1 (start typing the class name to get its full URI)
Example 2 (get the ID for a class) Example 3 (get the preferred name for a class) Step 2: Follow the Instructions
For more help visit NCBO Widget Wiki |
|
Step 2: Follow the InstructionsCopy the code below and paste it to your HTML page <iframe frameborder="0" src="/widgets/visualization?ontology=NIO&class=http%3A%2F%2Fwww.purl.org%2FNDDO%2FNDDO_10001801&apikey=YOUR_API_KEY"></iframe> For more help visit NCBO Widget Wiki |
|
Step 2: Follow the InstructionsCopy the code below and paste it to your HTML page <link rel="stylesheet" type="text/css" href="/widgets/jquery.ncbo.tree.css"> <script src="/widgets/jquery.ncbo.tree-2.0.2.js"></script> <div id="widget_tree"></div> var widget_tree = $("#widget_tree").NCBOTree({ apikey: "YOUR_API_KEY", ontology: "NIO" }); You can also view a detailed demonstration For more help visit NCBO Widget Wiki |