1. Home
  2. Entities
  3. Properties
  4. http://purl.obolibrary.org/obo/BFO_0000222

http://purl.obolibrary.org/obo/BFO_0000222 leaf node

URI

http://purl.obolibrary.org/obo/BFO_0000222

Types

owl:FunctionalProperty, owl:ObjectProperty

Label

has first instant

Description

t has first instant t' =Def t' first instant of t

Usage

DOMAINPROPERTYRANGE
http://purl.obolibrary.org/obo/BFO_0000008 http://purl.obolibrary.org/obo/BFO_0000222 http://purl.obolibrary.org/obo/BFO_0000203

Implementation

@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_0000222> a owl:FunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "has first instant"@en ;
    dc11:identifier "261-BFO" ;
    rdfs:domain <http://purl.obolibrary.org/obo/BFO_0000008> ;
    rdfs:range <http://purl.obolibrary.org/obo/BFO_0000203> ;
    skos:definition "t has first instant t' =Def t' first instant of t"@en ;
    skos:example "The first hour of a year has first instant midnight on December 31"@en .