http://purl.obolibrary.org/obo/BFO_0000203
(Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part
Instances of http://purl.obolibrary.org/obo/BFO_0000203 can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class http://purl.obolibrary.org/obo/BFO_0000203 | |||
| http://purl.obolibrary.org/obo/BFO_0000221 | owl:ObjectProperty | t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t | http://purl.obolibrary.org/obo/BFO_0000008 |
| http://purl.obolibrary.org/obo/BFO_0000223 | owl:ObjectProperty | t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t | http://purl.obolibrary.org/obo/BFO_0000008 |
| From class http://purl.obolibrary.org/obo/BFO_0000008 | |||
| http://purl.obolibrary.org/obo/BFO_0000222 | owl:ObjectProperty | t has first instant t' =Def t' first instant of t | http://purl.obolibrary.org/obo/BFO_0000203 |
| http://purl.obolibrary.org/obo/BFO_0000224 | owl:ObjectProperty | t has last instant t' =Def t' last instant of t | http://purl.obolibrary.org/obo/BFO_0000203 |
| From class http://purl.obolibrary.org/obo/BFO_0000003 | |||
| http://purl.obolibrary.org/obo/BFO_0000062 | owl:ObjectProperty | b preceded by c =Def b precedes c | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000063 | owl:ObjectProperty | (Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000117 | owl:ObjectProperty | b has occurrent part c =Def c occurrent part of b | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000121 | owl:ObjectProperty | b has temporal part c =Def c temporal part of b | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000132 | owl:ObjectProperty | (Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000139 | owl:ObjectProperty | b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies) | http://purl.obolibrary.org/obo/BFO_0000003 |
| From class http://purl.obolibrary.org/obo/BFO_0000001 | |||
| http://purl.obolibrary.org/obo/BFO_0000108 | owl:ObjectProperty | (Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists | http://purl.obolibrary.org/obo/BFO_0000008 |
| From class owl:Thing | |||
| dc1:contributor | owl:AnnotationProperty | owl:Thing | |
| dc1:identifier | owl:AnnotationProperty | owl:Thing | |
| dc1:license | owl:AnnotationProperty | owl:Thing | |
| dc:description | owl:AnnotationProperty | owl:Thing | |
| dc:license | owl:AnnotationProperty | owl:Thing | |
| dc:title | owl:AnnotationProperty | owl:Thing | |
| skos:altLabel | owl:AnnotationProperty | owl:Thing | |
| skos:definition | owl:AnnotationProperty | owl:Thing | |
| skos:example | owl:AnnotationProperty | owl:Thing | |
| skos:prefLabel | owl:AnnotationProperty | owl:Thing | |
| skos:scopeNote | owl:AnnotationProperty | owl:Thing | |
@prefix dc11: <http://purl.org/dc/elements/1.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
<http://purl.obolibrary.org/obo/BFO_0000203> a owl:Class ;
rdfs:label "temporal instant"@en ;
dc11:identifier "209-BFO" ;
rdfs:subClassOf <http://purl.obolibrary.org/obo/BFO_0000148> ;
skos:definition "(Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part"@en ;
skos:example "The millennium"@en .