TimeOntoImperfection Ontology

IRI:
https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection.owl#
Current version:
Version 1.0 - 2023-01-25
Authors:
https://cedric.cnam.fr/lab/en/author/achichn
Contributors:
https://cedric.cnam.fr/index.php/labo/membre/ghorbelf
https://cedric.cnam.fr/lab/en/author/metais
https://cedric.cnam.fr/~hamdif
Publisher:
http://fr.dbpedia.org/resource/Conservatoire_national_des_arts_et_métiers
Other visualisation:
Ontology source
Copyright 2023, CNAM

Table of Content

  1. Classes
  2. Object Properties
  3. Data Properties
  4. Annotation Properties
  5. SWRL Rules
  6. Namespace Declarations

Classes

DateTimeDescriptionc back to ToC or Class ToC

IRI: http://www.w3.org/2006/time#DateTimeDescription

has super-classes
TemporalEntityc
is in domain of
daydp, has day fromdp, has day todp, has hours fromdp, has hours todp, has minutes fromdp, has minutes todp, has month fromdp, has month todp, has seconds fromdp, has seconds todp, has year fromdp, has year todp, hourdp, minutedp, monthdp, seconddp, yeardp

TemporalEntityc back to ToC or Class ToC

IRI: http://www.w3.org/2006/time#TemporalEntity

has sub-classes
DateTimeDescriptionc, TimeInstantc, TimeIntervalc
is in domain of
after interval pointop, after interval point certaintyop, after interval point conflictop, after interval point impop, after interval point imp uncertop, after intervals certaintyop, after intervals conflictop, after intervals impop, after intervals imp uncertop, after point intervalop, after point interval certaintyop, after point interval conflictop, after point interval impop, after point interval imp uncertop, after pointsop, after points certaintyop, after points conflictop, after points impop, after points imp uncertop, before interval pointop, before interval point certaintyop, before interval point conflictop, before interval point impop, before interval point imp uncertop, before intervals certaintyop, before intervals conflictop, before intervals impop, before intervals imp uncertop, before point intervalop, before point interval certaintyop, before point interval conflictop, before point interval impop, before point interval imp uncertop, before pointsop, before points certaintyop, before points conflictop, before points impop, before points imp uncertop, beginning massdp, contains interval pointop, contains interval point certaintyop, contains interval point conflictop, contains interval point impop, contains interval point imp uncertop, contains intervals certaintyop, contains intervals impop, contains intervals imp uncertop, contains point intervalop, contains point interval certaintyop, contains point interval conflictop, contains point interval impop, contains point interval imp uncertop, contains points impop, daydp, during interval pointop, during interval point certaintyop, during interval point conflictop, during interval point impop, during interval point imp uncertop, during intervals certaintyop, during intervals impop, during intervals imp uncertop, during point intervalop, during point interval certaintyop, during point interval conflictop, during point interval impop, during point interval imp uncertop, during points impop, ended by interval pointop, ended by interval point certaintyop, ended by interval point conflictop, ended by interval point impop, ended by interval point imp uncertop, ended by intervals certaintyop, ended by intervals impop, ended by intervals imp uncertop, ended by point intervalop, ended by point interval certaintyop, ended by point interval conflictop, ended by point interval impop, ended by point interval imp uncertop, ended by points impop, ending massdp, ends interval pointop, ends interval point certaintyop, ends interval point conflictop, ends interval point impop, ends interval point imp uncertop, ends intervals certaintyop, ends intervals impop, ends intervals imp uncertop, ends point intervalop, ends point interval certaintyop, ends point interval conflictop, ends point interval impop, ends point interval imp uncertop, ends points impop, equals interval pointop, equals interval point certaintyop, equals interval point conflictop, equals interval point impop, equals interval point imp uncertop, equals intervals certaintyop, equals intervals impop, equals intervals imp uncertop, equals point intervalop, equals point interval certaintyop, equals point interval conflictop, equals point interval impop, equals point interval imp uncertop, equals points impop, has beginnig certaintydp, has beginnig necessitydp, has beginningdp, has beginning fromdp, has beginning todp, has day fromdp, has day todp, has enddp, has end certaintydp, has end fromdp, has end necessitydp, has end todp, has hours fromdp, has hours todp, has minutes fromdp, has minutes todp, has month fromdp, has month todp, has seconds fromdp, has seconds todp, has time pointdp, has year fromdp, has year todp, hourdp, meets interval pointop, meets interval point certaintyop, meets interval point conflictop, meets interval point impop, meets interval point imp uncertop, meets intervals certaintyop, meets intervals impop, meets intervals imp uncertop, meets point intervalop, meets point interval certaintyop, meets point interval conflictop, meets point interval impop, meets point interval imp uncertop, meets points impop, met by interval pointop, met by interval point certaintyop, met by interval point conflictop, met by interval point impop, met by interval point imp uncertop, met by intervals certaintyop, met by intervals impop, met by intervals imp uncertop, met by point intervalop, met by point interval certaintyop, met by point interval conflictop, met by point interval impop, met by point interval imp uncertop, met by points impop, minutedp, monthdp, necessity imprecision intervaldp, necessity imprecision pointdp, necessity uncertainty intervaldp, necessity uncertainty pointdp, overlapped by intervals certaintyop, overlapped by intervals conflictop, overlapped by intervals impop, overlapped by intervals imp uncertop, overlapped by points impop, overlaps intervals certaintyop, overlaps intervals conflictop, overlaps intervals impop, overlaps intervals imp uncertop, overlaps points impop, point beginsdp, point certaintydp, point endsdp, point massdp, point necessitydp, possibility imprecision intervaldp, possibility imprecision pointdp, possibility uncertainty intervaldp, possibility uncertainty pointdp, seconddp, started by interval pointop, started by interval point certaintyop, started by interval point conflictop, started by interval point impop, started by interval point imp uncertop, started by intervals certaintyop, started by intervals certaintyop, started by intervals impop, started by intervals imp uncertop, started by point intervalop, started by point interval certaintyop, started by point interval conflictop, started by point interval impop, started by point interval imp uncertop, started by points impop, starts interval pointop, starts interval point certaintyop, starts interval point conflictop, starts interval point impop, starts interval point imp uncertop, starts intervals certaintyop, starts intervals impop, starts intervals imp uncertop, starts point intervalop, starts point interval certaintyop, starts point interval conflictop, starts point interval impop, starts point interval imp uncertop, starts points impop, yeardp
is in range of
after interval pointop, after interval point certaintyop, after interval point conflictop, after interval point impop, after interval point imp uncertop, after intervals certaintyop, after intervals conflictop, after intervals impop, after intervals imp uncertop, after point intervalop, after point interval certaintyop, after point interval conflictop, after point interval impop, after point interval imp uncertop, after pointsop, after points certaintyop, after points conflictop, after points impop, after points imp uncertop, before interval pointop, before interval point certaintyop, before interval point conflictop, before interval point impop, before interval point imp uncertop, before intervals certaintyop, before intervals conflictop, before intervals impop, before intervals imp uncertop, before point intervalop, before point interval certaintyop, before point interval conflictop, before point interval impop, before point interval imp uncertop, before pointsop, before points certaintyop, before points conflictop, before points impop, before points imp uncertop, contains interval pointop, contains interval point certaintyop, contains interval point conflictop, contains interval point impop, contains interval point imp uncertop, contains intervals certaintyop, contains intervals impop, contains intervals imp uncertop, contains point intervalop, contains point interval certaintyop, contains point interval conflictop, contains point interval impop, contains point interval imp uncertop, contains points impop, during interval pointop, during interval point certaintyop, during interval point conflictop, during interval point impop, during interval point imp uncertop, during intervals certaintyop, during intervals impop, during intervals imp uncertop, during point intervalop, during point interval certaintyop, during point interval conflictop, during point interval impop, during point interval imp uncertop, during points impop, ended by interval pointop, ended by interval point certaintyop, ended by interval point conflictop, ended by interval point impop, ended by interval point imp uncertop, ended by intervals certaintyop, ended by intervals impop, ended by intervals imp uncertop, ended by point intervalop, ended by point interval certaintyop, ended by point interval conflictop, ended by point interval impop, ended by point interval imp uncertop, ended by points impop, ends interval pointop, ends interval point certaintyop, ends interval point conflictop, ends interval point impop, ends interval point imp uncertop, ends intervals certaintyop, ends intervals impop, ends intervals imp uncertop, ends point intervalop, ends point interval certaintyop, ends point interval conflictop, ends point interval impop, ends point interval imp uncertop, ends points impop, equals interval pointop, equals interval point certaintyop, equals interval point conflictop, equals interval point impop, equals interval point imp uncertop, equals intervals certaintyop, equals intervals impop, equals intervals imp uncertop, equals point intervalop, equals point interval certaintyop, equals point interval conflictop, equals point interval impop, equals point interval imp uncertop, equals points impop, meets interval pointop, meets interval point certaintyop, meets interval point conflictop, meets interval point impop, meets interval point imp uncertop, meets intervals certaintyop, meets intervals impop, meets intervals imp uncertop, meets point intervalop, meets point interval certaintyop, meets point interval conflictop, meets point interval impop, meets point interval imp uncertop, meets points impop, met by interval pointop, met by interval point certaintyop, met by interval point conflictop, met by interval point impop, met by interval point imp uncertop, met by intervals certaintyop, met by intervals impop, met by intervals imp uncertop, met by point intervalop, met by point interval certaintyop, met by point interval conflictop, met by point interval impop, met by point interval imp uncertop, met by points impop, overlapped by intervals certaintyop, overlapped by intervals conflictop, overlapped by intervals impop, overlapped by intervals imp uncertop, overlapped by points impop, overlaps intervals certaintyop, overlaps intervals conflictop, overlaps intervals impop, overlaps intervals imp uncertop, overlaps points impop, started by interval pointop, started by interval point certaintyop, started by interval point conflictop, started by interval point impop, started by interval point imp uncertop, started by intervals certaintyop, started by intervals certaintyop, started by intervals impop, started by intervals imp uncertop, started by point intervalop, started by point interval certaintyop, started by point interval conflictop, started by point interval impop, started by point interval imp uncertop, started by points impop, starts interval pointop, starts interval point certaintyop, starts interval point conflictop, starts interval point impop, starts interval point imp uncertop, starts intervals certaintyop, starts intervals impop, starts intervals imp uncertop, starts point intervalop, starts point interval certaintyop, starts point interval conflictop, starts point interval impop, starts point interval imp uncertop, starts points impop

TimeInstantc back to ToC or Class ToC

IRI: http://www.w3.org/2006/time#TimeInstant

has super-classes
TemporalEntityc
is in domain of
after point intervalop, after point interval certaintyop, after point interval conflictop, after point interval impop, after point interval imp uncertop, after pointsop, after points certaintyop, after points conflictop, after points impop, after points imp uncertop, before interval point certaintyop, before point intervalop, before point interval certaintyop, before point interval conflictop, before point interval impop, before point interval imp uncertop, before pointsop, before points certaintyop, before points conflictop, before points impop, before points imp uncertop, contains point intervalop, contains point interval certaintyop, contains point interval conflictop, contains point interval impop, contains point interval imp uncertop, contains points impop, during point intervalop, during point interval certaintyop, during point interval conflictop, during point interval impop, during point interval imp uncertop, during points impop, ended by point intervalop, ended by point interval certaintyop, ended by point interval conflictop, ended by point interval impop, ended by point interval imp uncertop, ended by points impop, ends point intervalop, ends point interval certaintyop, ends point interval conflictop, ends point interval impop, ends point interval imp uncertop, ends points impop, equals point intervalop, equals point interval certaintyop, equals point interval conflictop, equals point interval impop, equals point interval imp uncertop, equals points impop, has beginnig necessitydp, has end necessitydp, has time pointdp, meets point intervalop, meets point interval certaintyop, meets point interval conflictop, meets point interval impop, meets point interval imp uncertop, meets points impop, met by point intervalop, met by point interval certaintyop, met by point interval conflictop, met by point interval impop, met by point interval imp uncertop, met by points impop, necessity imprecision pointdp, necessity uncertainty pointdp, overlapped by points impop, overlaps points impop, point beginsdp, point certaintydp, point endsdp, point massdp, point necessitydp, possibility imprecision pointdp, possibility uncertainty pointdp, started by point intervalop, started by point interval certaintyop, started by point interval conflictop, started by point interval impop, started by point interval imp uncertop, started by points impop, starts point intervalop, starts point interval certaintyop, starts point interval conflictop, starts point interval impop, starts point interval imp uncertop, starts points impop
is in range of
after interval pointop, after interval point certaintyop, after interval point conflictop, after interval point impop, after interval point imp uncertop, after pointsop, after points certaintyop, after points conflictop, after points impop, after points imp uncertop, before interval pointop, before interval point conflictop, before interval point impop, before interval point imp uncertop, before pointsop, before points certaintyop, before points conflictop, before points impop, before points imp uncertop, contains interval pointop, contains interval point certaintyop, contains interval point conflictop, contains interval point impop, contains interval point imp uncertop, contains points impop, during interval pointop, during interval point certaintyop, during interval point conflictop, during interval point impop, during interval point imp uncertop, during points impop, ended by interval pointop, ended by interval point certaintyop, ended by interval point conflictop, ended by interval point impop, ended by interval point imp uncertop, ended by point interval imp uncertop, ended by points impop, ends interval pointop, ends interval point certaintyop, ends interval point conflictop, ends interval point impop, ends interval point imp uncertop, ends points impop, equals interval pointop, equals interval point certaintyop, equals interval point conflictop, equals interval point impop, equals interval point imp uncertop, equals points impop, meets interval pointop, meets interval point certaintyop, meets interval point conflictop, meets interval point impop, meets interval point imp uncertop, meets points impop, met by interval pointop, met by interval point certaintyop, met by interval point conflictop, met by interval point impop, met by interval point imp uncertop, met by points impop, overlapped by points impop, overlaps points impop, started by interval pointop, started by interval point certaintyop, started by interval point conflictop, started by interval point impop, started by interval point imp uncertop, started by points impop, starts interval pointop, starts interval point certaintyop, starts interval point conflictop, starts interval point impop, starts interval point imp uncertop, starts points impop

TimeIntervalc back to ToC or Class ToC

IRI: http://www.w3.org/2006/time#TimeInterval

has super-classes
TemporalEntityc
is in domain of
after interval pointop, after interval point certaintyop, after interval point conflictop, after interval point impop, after interval point imp uncertop, after intervals certaintyop, after intervals conflictop, after intervals impop, after intervals imp uncertop, before interval pointop, before interval point conflictop, before interval point impop, before interval point imp uncertop, before intervals certaintyop, before intervals conflictop, before intervals impop, before intervals imp uncertop, beginning massdp, contains interval pointop, contains interval point certaintyop, contains interval point conflictop, contains interval point impop, contains interval point imp uncertop, contains intervals certaintyop, contains intervals impop, contains intervals imp uncertop, during interval pointop, during interval point certaintyop, during interval point conflictop, during interval point impop, during interval point imp uncertop, during intervals certaintyop, during intervals impop, during intervals imp uncertop, ended by interval pointop, ended by interval point certaintyop, ended by interval point conflictop, ended by interval point impop, ended by interval point imp uncertop, ended by intervals certaintyop, ended by intervals impop, ended by intervals imp uncertop, ending massdp, ends interval pointop, ends interval point certaintyop, ends interval point conflictop, ends interval point impop, ends interval point imp uncertop, ends intervals certaintyop, ends intervals impop, ends intervals imp uncertop, equals interval pointop, equals interval point certaintyop, equals interval point conflictop, equals interval point impop, equals interval point imp uncertop, equals intervals certaintyop, equals intervals impop, equals intervals imp uncertop, has beginnig certaintydp, has beginningdp, has beginning fromdp, has beginning todp, has enddp, has end certaintydp, has end fromdp, has end todp, meets interval pointop, meets interval point certaintyop, meets interval point conflictop, meets interval point impop, meets interval point imp uncertop, meets intervals certaintyop, meets intervals impop, meets intervals imp uncertop, met by interval pointop, met by interval point certaintyop, met by interval point conflictop, met by interval point impop, met by interval point imp uncertop, met by intervals certaintyop, met by intervals impop, met by intervals imp uncertop, necessity imprecision intervaldp, necessity uncertainty intervaldp, overlapped by intervals certaintyop, overlapped by intervals conflictop, overlapped by intervals impop, overlapped by intervals imp uncertop, overlaps intervals certaintyop, overlaps intervals conflictop, overlaps intervals impop, overlaps intervals imp uncertop, possibility imprecision intervaldp, possibility uncertainty intervaldp, started by interval pointop, started by interval point certaintyop, started by interval point conflictop, started by interval point impop, started by interval point imp uncertop, started by intervals certaintyop, started by intervals certaintyop, started by intervals impop, started by intervals imp uncertop, starts interval pointop, starts interval point certaintyop, starts interval point conflictop, starts interval point impop, starts interval point imp uncertop, starts intervals certaintyop, starts intervals impop, starts intervals imp uncertop
is in range of
after intervals certaintyop, after intervals conflictop, after intervals impop, after intervals imp uncertop, after point intervalop, after point interval certaintyop, after point interval conflictop, after point interval impop, after point interval imp uncertop, before interval point certaintyop, before intervals certaintyop, before intervals conflictop, before intervals impop, before intervals imp uncertop, before point intervalop, before point interval certaintyop, before point interval conflictop, before point interval impop, before point interval imp uncertop, contains intervals certaintyop, contains intervals impop, contains intervals imp uncertop, contains point intervalop, contains point interval certaintyop, contains point interval conflictop, contains point interval impop, contains point interval imp uncertop, during intervals certaintyop, during intervals impop, during intervals imp uncertop, during point intervalop, during point interval certaintyop, during point interval conflictop, during point interval impop, during point interval imp uncertop, ended by intervals certaintyop, ended by intervals impop, ended by intervals imp uncertop, ended by point intervalop, ended by point interval certaintyop, ended by point interval conflictop, ended by point interval impop, ends intervals certaintyop, ends intervals impop, ends intervals imp uncertop, ends point intervalop, ends point interval certaintyop, ends point interval conflictop, ends point interval impop, ends point interval imp uncertop, equals intervals certaintyop, equals intervals impop, equals intervals imp uncertop, equals point intervalop, equals point interval certaintyop, equals point interval conflictop, equals point interval impop, equals point interval imp uncertop, meets intervals certaintyop, meets intervals impop, meets intervals imp uncertop, meets point intervalop, meets point interval certaintyop, meets point interval conflictop, meets point interval impop, meets point interval imp uncertop, met by intervals certaintyop, met by intervals impop, met by intervals imp uncertop, met by point intervalop, met by point interval certaintyop, met by point interval conflictop, met by point interval impop, met by point interval imp uncertop, overlapped by intervals certaintyop, overlapped by intervals conflictop, overlapped by intervals impop, overlapped by intervals imp uncertop, overlaps intervals certaintyop, overlaps intervals conflictop, overlaps intervals impop, overlaps intervals imp uncertop, started by intervals certaintyop, started by intervals certaintyop, started by intervals impop, started by intervals imp uncertop, started by point intervalop, started by point interval certaintyop, started by point interval conflictop, started by point interval impop, started by point interval imp uncertop, starts intervals certaintyop, starts intervals impop, starts intervals imp uncertop, starts point intervalop, starts point interval certaintyop, starts point interval conflictop, starts point interval impop, starts point interval imp uncertop

TimeSlicec back to ToC or Class ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#TimeSlice

Object Properties

after interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
before point intervalop

after interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
before point interval certaintyop

after interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
before point interval conflictop

after interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
before point interval impop

after interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
before point interval imp uncertop

after intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervals

after intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

after intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalsConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

after intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
before intervals impop

after intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

after point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
before interval pointop

after point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
before interval point certaintyop

after point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointIntervalConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
before interval point conflictop

after point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
before interval point impop

after point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
before interval point imp uncertop

after pointsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPoints

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
before pointsop

after points certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
before points certaintyop

after points conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointsConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
before points conflictop

after points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
before points impop

after points imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#AfterPointsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
before points imp uncertop

before interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
after point intervalop

before interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
after point interval certaintyop

before interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
after point interval conflictop

before interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
after point interval impop

before interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
after point interval imp uncertop

before intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervals

before intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

before intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalsConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

before intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
after intervals impop

before intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforeIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

before point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
after interval pointop

before point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
after interval point certaintyop

before point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointIntervalConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
after interval point conflictop

before point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
after interval point impop

before point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
after interval point imp uncertop

before pointsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePoints

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
after pointsop

before points certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
after points certaintyop

before points conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointsConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
after points conflictop

before points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
after points impop

before points imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeforePointsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
after points imp uncertop

contains interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
during point intervalop

contains interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
during point interval certaintyop

contains interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
during point interval conflictop

contains interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
during point interval impop

contains interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
during point interval imp uncertop

contains intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervals

contains intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

contains intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalsConflict

contains intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
during intervals impop

contains intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

contains point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
during interval pointop

contains point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
during interval point certaintyop

contains point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsPointIntervalConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
during point interval conflictop

contains point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
during interval point impop

contains point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
during interval point conflictop, during interval point imp uncertop

contains points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#ContainsPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
during points impop

during interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
contains point intervalop

during interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
contains point interval certaintyop

during interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
contains point interval imp uncertop

during interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
contains point interval impop

during interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
contains point interval imp uncertop

during intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervals

during intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

during intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalsConflict

during intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
contains intervals impop

during intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

during point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
contains interval pointop

during point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
contains interval point certaintyop

during point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringPointIntervalConflict

has characteristics: transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
contains interval point conflictop, contains point interval conflictop

during point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
contains interval point impop

during point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
contains interval point imp uncertop

during points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#DuringPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
contains points impop

ended by interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ends point intervalop

ended by interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ends point interval certaintyop

ended by interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ends point interval conflictop

ended by interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalPointImp

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ends point interval impop

ended by interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ends point interval imp uncertop

ended by intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervals

ended by intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

ended by intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalsConflict

ended by intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ends intervals impop

ended by intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ends intervals imp uncertop

ended by point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ends interval pointop

ended by point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ends interval point certaintyop

ended by point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByPointIntervalConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ends interval point conflictop

ended by point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ends interval point impop

ended by point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
ends interval point imp uncertop

ended by points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndedByPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
ends points impop

ends interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ended by point intervalop

ends interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ended by point interval certaintyop

ends interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ended by point interval conflictop

ends interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ended by point interval impop

ends interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalPointImpUncert

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
ended by point interval imp uncertop

ends intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervals

ends intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

ends intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalsConflict

ends intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ended by intervals impop

ends intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ended by intervals imp uncertop

ends point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ended by interval pointop

ends point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ended by interval point certaintyop

ends point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsPointIntervalConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ended by interval point conflictop

ends point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ended by interval point impop

ends point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
ended by interval point imp uncertop

ends points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndsPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
ended by points impop

equals interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalPoint

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
equals point intervalop

equals interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalPointCertainty

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
equals point interval certaintyop

equals interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalPointConflict

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
equals point interval conflictop

equals interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalPointImp

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
equals point interval impop

equals interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalPointImpUncert

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
equals point interval imp uncertop

equals intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervals

equals intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalsCertainty

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

equals intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalsConflict

equals intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalsImp

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
equals intervals impop, equals intervals impop

equals intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsIntervalsImpUncert

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

equals point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointInterval

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
equals interval pointop

equals point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointIntervalCertainty

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
equals interval point certaintyop

equals point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointIntervalConflict

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
equals interval point conflictop

equals point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointIntervalImp

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
equals interval point impop

equals point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointIntervalImpUncert

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
equals interval point imp uncertop

equals pointsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPoints

equals points certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointsCertainty

equals points conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointsConflict

equals points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointsImp

has characteristics: symmetric, transitive, reflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
equals points impop, equals points impop

equals points imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EqualsPointsImpUncert

meets interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
met by point intervalop

meets interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
met by point interval certaintyop

meets interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
met by point interval conflictop

meets interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
met by point interval impop

meets interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
met by point interval imp uncertop

meets intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervals

meets intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

meets intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalsConflict

meets intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
met by intervals impop

meets intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

meets point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
met by interval pointop

meets point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
met by interval point certaintyop

meets point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsPointIntervalConflict

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
met by interval point conflictop

meets point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
met by interval point impop

meets point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
met by interval point imp uncertop

meets points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MeetsPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
met by points impop

met by interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
meets point intervalop

met by interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
meets point interval certaintyop

met by interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
meets point interval conflictop

met by interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
meets point interval impop

met by interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
meets point interval imp uncertop

met by intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervals

met by intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

met by intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalsConflict

met by intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
meets intervals impop

met by intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

met by point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
meets interval pointop

met by point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
meets interval point certaintyop

met by point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByPointIntervalConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
meets interval point conflictop

met by point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
meets interval point impop

met by point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
meets interval point imp uncertop

met by points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#MetByPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
meets points impop

overlapped by intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlappedByIntervals

overlapped by intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlappedByIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
overlaps intervals certaintyop

overlapped by intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlappedByIntervalsConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
overlaps intervals conflictop

overlapped by intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlappedByIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
overlaps intervals impop

overlapped by intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlappedByIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

overlapped by points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlappedByPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
overlaps points impop

overlaps intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlapsIntervals

overlaps intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlapsIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
overlapped by intervals certaintyop

overlaps intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlapsIntervalsConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
overlapped by intervals conflictop

overlaps intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlapsIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
overlapped by intervals impop

overlaps intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlapsIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

overlaps points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#OverlapsPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
overlapped by points impop

started by interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
starts point intervalop

started by interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
starts point interval certaintyop

started by interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
starts point interval conflictop

started by interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
starts point interval impop

started by interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
starts point interval imp uncertop

started by intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervals

started by intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
starts intervals certaintyop

started by intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#startedByIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

started by intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalsConflict

started by intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
starts intervals impop

started by intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

started by point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
starts interval pointop

started by point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
starts interval point certaintyop

started by point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByPointIntervalConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
starts interval point conflictop

started by point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
starts interval point impop

started by point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
starts interval point imp uncertop

started by points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartedByPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
starts points impop

starts interval pointop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalPoint

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
started by point intervalop

starts interval point certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalPointCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
started by point interval certaintyop

starts interval point conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalPointConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
started by point interval conflictop

starts interval point impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalPointImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
started by point interval impop

starts interval point imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalPointImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeInstantc
is inverse of
started by point interval imp uncertop

starts intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervals

starts intervals certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalsCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
started by intervals certaintyop

starts intervals conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalsConflict

starts intervals impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc
is inverse of
started by intervals impop

starts intervals imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsIntervalsImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeIntervalc
has range
TemporalEntityc
TimeIntervalc

starts point intervalop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsPointInterval

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
started by interval pointop

starts point interval certaintyop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsPointIntervalCertainty

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
started by interval point certaintyop

starts point interval conflictop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsPointIntervalConflict

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
started by interval point conflictop

starts point interval impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsPointIntervalImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
started by interval point impop

starts point interval imp uncertop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsPointIntervalImpUncert

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeIntervalc
is inverse of
started by interval point imp uncertop

starts points impop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#StartsPointsImp

has characteristics: asymmetric, transitive, irreflexive

has domain
TemporalEntityc
TimeInstantc
has range
TemporalEntityc
TimeInstantc
is inverse of
started by points impop

Data Properties

beginning massdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#BeginningMass

has domain
TemporalEntityc
TimeIntervalc

daydp back to ToC or Data Property ToC

IRI: http://www.w3.org/2006/time#Day

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

ending massdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#EndingMass

has domain
TemporalEntityc
TimeIntervalc

has beginnig certaintydp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasBeginnigCertainty

has domain
TemporalEntityc
TimeIntervalc
has range
real

has beginnig necessitydp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasBeginnigNecessity

has domain
TemporalEntityc
TimeInstantc

has beginningdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasBeginning

has domain
TemporalEntityc
TimeIntervalc

has beginning fromdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasBeginningFrom

has domain
TemporalEntityc
TimeIntervalc

has beginning todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasBeginningTo

has domain
TemporalEntityc
TimeIntervalc

has day fromdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasDayFrom

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has day todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasDayTo

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has enddp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasEnd

has domain
TemporalEntityc
TimeIntervalc

has end certaintydp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasEndCertainty

has domain
TemporalEntityc
TimeIntervalc
has range
real

has end fromdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasEndFrom

has domain
TemporalEntityc
TimeIntervalc

has end necessitydp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasEndNecessity

has domain
TemporalEntityc
TimeInstantc

has end todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasEndTo

has domain
TemporalEntityc
TimeIntervalc

has hours fromdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasHoursFrom

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has hours todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasHoursTo

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has minutes fromdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasMinutesFrom

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has minutes todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasMinutesTo

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has month fromdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasMonthFrom

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has month todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasMonthTo

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has seconds fromdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasSecondsFrom

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has seconds todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasSecondsTo

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has time pointdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasTimePoint

has domain
TemporalEntityc
TimeInstantc

has year fromdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasYearFrom

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

has year todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#HasYearTo

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

hourdp back to ToC or Data Property ToC

IRI: http://www.w3.org/2006/time#hour

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

minutedp back to ToC or Data Property ToC

IRI: http://www.w3.org/2006/time#minute

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

monthdp back to ToC or Data Property ToC

IRI: http://www.w3.org/2006/time#Month

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

necessity imprecision intervaldp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#NecessityImprecisionInterval

has domain
TemporalEntityc
TimeIntervalc

necessity imprecision pointdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#NecessityImprecisionPoint

has domain
TemporalEntityc
TimeInstantc

necessity uncertainty intervaldp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#NecessityUncertaintyInterval

has domain
TemporalEntityc
TimeIntervalc

necessity uncertainty pointdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#NecessityUncertaintyPoint

has domain
TemporalEntityc
TimeInstantc

point beginsdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PointBegins

has domain
TemporalEntityc
TimeInstantc

point certaintydp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PointCertainty

has domain
TemporalEntityc
TimeInstantc

point endsdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PointEnds

has domain
TemporalEntityc
TimeInstantc

point massdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PointMass

has domain
TemporalEntityc
TimeInstantc

point necessitydp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PointNecessity

has domain
TemporalEntityc
TimeInstantc

possibility imprecision intervaldp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PossibilityImprecisionInterval

has domain
TemporalEntityc
TimeIntervalc

possibility imprecision pointdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PossibilityImprecisionPoint

has domain
TemporalEntityc
TimeInstantc

possibility uncertainty intervaldp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PossibilityUncertaintyInterval

has domain
TemporalEntityc
TimeIntervalc

possibility uncertainty pointdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#PossibilityUncertaintyPoint

has domain
TemporalEntityc
TimeInstantc

seconddp back to ToC or Data Property ToC

IRI: http://www.w3.org/2006/time#second

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

yeardp back to ToC or Data Property ToC

IRI: http://www.w3.org/2006/time#Year

has domain
DateTimeDescriptionc
TemporalEntityc
has range
real

Annotation Properties

is rule enabledap back to ToC or Annotation Property ToC

IRI: http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled

SWRL rules

Rule #1back to ToC

TimeInstantc(?m) , TimeInstantc(?p) , TimeInstantc(?q) , before points certaintyop(?p,?q) , after points certaintyop(?q,?m) -> before points certaintyop(?p,?m)

Rule #2back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> starts intervals certaintyop(?A,?B)

Rule #3back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , equal(?Ab,?pt) -> meets interval point certaintyop(?A,?p)

Rule #4back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , equal(?Ab,?pt) -> started by interval point certaintyop(?A,?p)

Rule #5back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , equal(?Ab,?pt) -> starts interval point certaintyop(?A,?p)

Rule #6back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , equal(?pt,?Ab) -> meets point interval certaintyop(?A,?p)

Rule #7back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , equal(?pt,?Ab) -> started by point interval certaintyop(?p,?A)

Rule #8back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , equal(?pt,?Ab) -> starts point interval certaintyop(?p,?A)

Rule #9back to ToC

TimeInstantc(?m) , TimeInstantc(?p) , has time pointdp(?m,?mt) , has time pointdp(?p,?pt) , lessThan(?mt,?pt) -> before pointsop(?p,?m)

Rule #10back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , equal(?pt,?Ae) -> ended by point interval certaintyop(?p,?A)

Rule #11back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , equal(?pt,?Ae) -> ends point interval certaintyop(?p,?A)

Rule #12back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , greaterThan(?Ae,?pt) -> after interval point certaintyop(?A,?p)

Rule #13back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , lessThan(?Ab,?pt) , greaterThan(?Ae,?pt) -> contains interval point certaintyop(?A,?p)

Rule #14back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , greaterThan(?pt,?Ab) -> after interval point certaintyop(?p,?A)

Rule #15back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , greaterThan(?pt,?Ab) , lessThan(?pt,?Ae) -> contains point interval certaintyop(?p,?A)

Rule #16back to ToC

TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , TimeInstantc(?q) , has time pointdp(?q,?qt) , point massdp(?q,?qm) , equal(?p,?q) -> equals points conflictop(?p,?q)

Rule #17back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , greaterThan(?pt,?Ab) , lessThan(?pt,?Ae) -> during point interval certaintyop(?p,?A)

Rule #18back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , lessThan(?Ab,?pt) , lessThan(?pt,?Ae) -> during interval point certaintyop(?A,?p)

Rule #19back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , lessThan(?Ae,?pt) -> before interval point certaintyop(?A,?p)

Rule #20back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , lessThan(?Ae,?pt) -> ended by interval point certaintyop(?A,?p)

Rule #21back to ToC

TimeInstantc(?m) , TimeInstantc(?p) , TimeInstantc(?q) , equals points certaintyop(?p,?q) , after points certaintyop(?q,?m) -> after points certaintyop(?p,?m)

Rule #22back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , lessThan(?Ae,?pt) -> ends interval point certaintyop(?A,?p)

Rule #23back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , lessThan(?pt,?Ab) -> after point interval certaintyop(?p,?A)

Rule #24back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , point certaintydp(?p,?pc) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , lessThan(?pt,?Ab) -> before point interval certaintyop(?p,?A)

Rule #25back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , equal(?Ab,?pt) -> starts interval pointop(?A,?p)

Rule #26back to ToC

TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , TimeInstantc(?q) , has time pointdp(?q,?qt) , point massdp(?q,?qm) , lessThan(?pt,?qt) -> after points conflictop(?q,?p)

Rule #27back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , equal(?Ae,?pt) -> ended by interval pointop(?A,?p)

Rule #28back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , equal(?Ae,?pt) -> ends interval pointop(?A,?p)

Rule #29back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , lessThan(?Ab,?pt) , equal(?Ae,?pt) -> meets interval pointop(?A,?p)

Rule #30back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , equal(?pt,?Ab) -> started by interval pointop(?A,?p)

Rule #31back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , equal(?pt,?Ab) -> started by point intervalop(?p,?A)

Rule #32back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , equal(?pt,?Ab) -> starts point intervalop(?p,?A)

Rule #33back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , lessThan(?Ab,?pt) , equal(?pt,?Ab) -> meets point intervalop(?p,?A)

Rule #34back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , equal(?pt,?Ae) -> ended by point intervalop(?p,?A)

Rule #35back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , equal(?pt,?Ae) -> ends point intervalop(?p,?A)

Rule #36back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , greaterThan(?Ae,?pt) -> after interval pointop(?A,?p)

Rule #37back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , lessThan(?Ab,?pt) , greaterThan(?Ae,?pt) -> contains interval pointop(?A,?p)

Rule #38back to ToC

TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , TimeInstantc(?q) , has time pointdp(?q,?qt) , point massdp(?q,?qm) , lessThan(?pt,?qt) -> before points conflictop(?p,?q)

Rule #39back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , greaterThan(?pt,?Ab) -> after point intervalop(?p,?A)

Rule #40back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , greaterThan(?pt,?Ab) , lessThan(?pt,?Ae) -> contains point intervalop(?p,?A)

Rule #41back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , greaterThan(?pt,?Ab) , lessThan(?pt,?Ae) -> during point intervalop(?p,?A)

Rule #42back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , lessThan(?Ab,?pt) , lessThan(?pt,?Ae) -> during interval pointop(?A,?p)

Rule #43back to ToC

TimeIntervalc(?A) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , TimeInstantc(?p) , has time pointdp(?p,?pt) , lessThan(?Ae,?pt) -> before interval pointop(?A,?p)

Rule #44back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , has time pointdp(?p,?pt) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , lessThan(?pt,?Ab) -> before point intervalop(?p,?A)

Rule #45back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?Ib,?pt) -> started by interval point conflictop(?I,?p)

Rule #46back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?Ib,?pt) -> started by point interval conflictop(?p,?I)

Rule #47back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?Ib,?pt) -> starts interval point conflictop(?I,?p)

Rule #48back to ToC

TimeInstantc(?q) , point beginsdp(?q,?qb) , point endsdp(?q,?qe) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility imprecision pointdp(?q,?pqImp) , necessity imprecision pointdp(?q,?nqImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , possibility uncertainty pointdp(?q,?pqUn) , necessity uncertainty pointdp(?p,?nqUn) , equal(?pe,?qb) -> equals points imp uncertop(?p,?q)

Rule #49back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?Ib,?pt) -> starts point interval conflictop(?p,?I)

Rule #50back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?lb,?pt) -> meets interval point conflictop(?I,?p)

Rule #51back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?le,?pt) -> met by interval point conflictop(?I,?p)

Rule #52back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?pt,?Ie) -> ended by interval point conflictop(?I,?p)

Rule #53back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?pt,?Ie) -> ended by point interval conflictop(?p,?I)

Rule #54back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?pt,?Ie) -> ends interval point conflictop(?p,?I)

Rule #55back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?pt,?Ie) -> ends point interval conflictop(?p,?I)

Rule #56back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?pt,?Ie) -> meets point interval conflictop(?p,?I)

Rule #57back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , equal(?pt,?Ie) -> met by point interval conflictop(?I,?p)

Rule #58back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , greaterThan(?pt,?lb) -> after point interval conflictop(?p,?I)

Rule #59back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , lessThan(?Ie,?pt) -> after interval point conflictop(?p,?I)

Rule #60back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , lessThan(?Ie,?pt) -> before interval point conflictop(?I,?p)

Rule #61back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeInstantc(?p) , has time pointdp(?p,?pt) , point massdp(?p,?pm) , lessThan(?pt,?lb) -> before point interval conflictop(?p,?I)

Rule #62back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , equal(?Jet,?pe) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , has end todp(?J,?Je) , equal(?pe,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> meets interval point imp uncertop(?J,?p)

Rule #63back to ToC

TimeInstantc(?q) , point beginsdp(?q,?qb) , point endsdp(?q,?qe) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility imprecision pointdp(?q,?pqImp) , necessity imprecision pointdp(?q,?nqImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , possibility uncertainty pointdp(?q,?pqUn) , necessity uncertainty pointdp(?p,?nqUn) , greaterThan(?pe,?qb) -> after points imp uncertop(?p,?q)

Rule #64back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , equal(?pe,?Jte) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , has end todp(?J,?Je) , equal(?pe,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> meets point interval imp uncertop(?p,?J)

Rule #65back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , greaterThan(?Jet,?pe) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , has end todp(?J,?Je) , lessThan(?pe,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> after interval point imp uncertop(?J,?p)

Rule #66back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , lessThan(?Jet,?pb) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , has end todp(?J,?Je) , greaterThan(?pe,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> before interval point imp uncertop(?J,?p)

Rule #67back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , lessThan(?Jet,?pb) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , has end todp(?J,?Je) , necessity imprecision intervaldp(?J,?NIm2) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> after point interval imp uncertop(?p,?J)

Rule #68back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , lessThan(?pe,?Jbe) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , has end todp(?J,?Je) , necessity imprecision intervaldp(?J,?NIm2) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> before point interval imp uncertop(?p,?J)

Rule #69back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , equal(?Ab,?Bb) , lessThan(?Ae,?Be) -> starts intervals certaintyop(?A,?B)

Rule #70back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , greaterThan(?Ab,?Bb) , equal(?Ae,?Be) -> ended by intervals certaintyop(?A,?B)

Rule #71back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , greaterThan(?Ab,?Bb) , equal(?Ae,?Be) -> ends intervals certaintyop(?A,?B)

Rule #72back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , equal(?Bb,?Ab) , greaterThan(?Be,?Ae) -> started by intervals certaintyop(?B,?A)

Rule #73back to ToC

TimeInstantc(?q) , point beginsdp(?q,?qb) , point endsdp(?q,?qe) , TimeInstantc(?p) , point beginsdp(?p,?pb) , point endsdp(?p,?pe) , possibility imprecision pointdp(?p,?ppImp) , necessity imprecision pointdp(?p,?npImp) , possibility imprecision pointdp(?q,?pqImp) , necessity imprecision pointdp(?q,?nqImp) , possibility uncertainty pointdp(?p,?ppUn) , necessity uncertainty pointdp(?p,?npUn) , possibility uncertainty pointdp(?q,?pqUn) , necessity uncertainty pointdp(?p,?nqUn) , lessThan(?pe,?qb) -> before points imp uncertop(?p,?q)

Rule #74back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , greaterThan(?Ab,?Bb) , lessThan(?Ae,?Be) -> during intervals certaintyop(?A,?B)

Rule #75back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , greaterThan(?Ae,?Bb) -> after intervals certaintyop(?A,?B)

Rule #76back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , lessThan(?Ab,?Bb) , greaterThan(?Ae,?Bb) , lessThan(?Ae,?Be) -> overlapped by intervals certaintyop(?B,?A)

Rule #77back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , lessThan(?Ab,?Bb) , greaterThan(?Ae,?Bb) , lessThan(?Ae,?Be) -> overlaps intervals certaintyop(?A,?B)

Rule #78back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , lessThan(?Bb,?Ab) , greaterThan(?Be,?Ae) -> contains intervals certaintyop(?B,?A)

Rule #79back to ToC

TimeInstantc(?m) , TimeInstantc(?p) , has time pointdp(?m,?mt) , has time pointdp(?p,?pt) , point certaintydp(?m,?cm) , point certaintydp(?p,?cp) , greaterThan(?pt,?mt) -> after points certaintyop(?m,?p)

Rule #80back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?A,?Bec) , lessThan(?Ae,?Bb) -> before intervals certaintyop(?A,?B)

Rule #81back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?B,?Bec) , equal(?Ab,?Bb) , equal(?Ae,?Be) -> equals intervals certaintyop(?A,?B)

Rule #82back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?B,?Bec) , equal(?Ae,?Be) -> meets intervals certaintyop(?A,?B)

Rule #83back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , has beginnig certaintydp(?A,?Abc) , has end certaintydp(?A,?Aec) , has beginnig certaintydp(?B,?Bbc) , has end certaintydp(?B,?Bec) , equal(?Ae,?Be) -> met by intervals certaintyop(?A,?B)

Rule #84back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , equal(?Ab,?Bb) , equal(?Ae,?Be) -> equals intervalsop(?A,?B)

Rule #85back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , equal(?Ab,?Bb) , lessThan(?Ae,?Be) -> starts intervalsop(?A,?B)

Rule #86back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , equal(?Ae,?Be) -> meets intervalsop(?A,?B)

Rule #87back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , equal(?Ae,?Be) -> met by intervalsop(?A,?B)

Rule #88back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , after interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> after intervals certaintyop(?A,?B)

Rule #89back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , greaterThan(?Ab,?Bb) , equal(?Ae,?Be) -> ended by intervalsop(?A,?B)

Rule #90back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , greaterThan(?Ab,?Bb) , equal(?Ae,?Be) -> ends intervalsop(?A,?B)

Rule #91back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , equal(?Bb,?Ab) , greaterThan(?Be,?Ae) -> starts intervalsop(?B,?A)

Rule #92back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , greaterThan(?Ab,?Bb) , lessThan(?Ae,?Be) -> during intervalsop(?A,?B)

Rule #93back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , greaterThan(?Ae,?Bb) -> after intervalsop(?A,?B)

Rule #94back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , lessThan(?Ab,?Bb) , greaterThan(?Ae,?Bb) , lessThan(?Ae,?Be) -> overlapped by intervalsop(?B,?A)

Rule #95back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , after interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> after intervals certaintyop(?A,?B)

Rule #96back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , lessThan(?Ab,?Bb) , greaterThan(?Ae,?Bb) , lessThan(?Ae,?Be) -> overlaps intervalsop(?A,?B)

Rule #97back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , lessThan(?Bb,?Ab) , greaterThan(?Be,?Ae) -> contains intervalsop(?B,?A)

Rule #98back to ToC

TimeIntervalc(?A) , TimeIntervalc(?B) , has beginningdp(?A,?Ab) , has enddp(?A,?Ae) , has beginningdp(?B,?Bb) , has enddp(?B,?Be) , lessThan(?Ae,?Bb) -> before intervalsop(?A,?B)

Rule #99back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , equal(?Ib,?Jb) , equal(?Ie,?Je) -> equals intervals conflictop(?I,?J)

Rule #100back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , equal(?Ib,?Jb) , lessThan(?Ie,?Je) -> started by intervals conflictop(?J,?I)

Rule #101back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , after interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> before intervals certaintyop(?A,?B)

Rule #102back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , equal(?Ib,?Jb) , lessThan(?Ie,?Je) -> starts intervals conflictop(?I,?J)

Rule #103back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , equal(?Ie,?Jb) -> meets intervals conflictop(?I,?J)

Rule #104back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , equal(?Ie,?Jb) -> met by intervals conflictop(?J,?I)

Rule #105back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , lessThan(?Ib,?Jb) , equal(?Ie,?Je) -> ended by intervals conflictop(?J,?I)

Rule #106back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , after interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> contains intervals certaintyop(?A,?B)

Rule #107back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , lessThan(?Ib,?Jb) , equal(?Ie,?Je) -> ends intervals conflictop(?I,?J)

Rule #108back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , lessThan(?Ie,?Je) , lessThan(?Ib,?Je) , lessThan(?Ib,?Jb) -> overlapped by intervals conflictop(?J,?I)

Rule #109back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , lessThan(?Ie,?Je) , lessThan(?Ib,?Je) , lessThan(?Ib,?Jb) -> overlaps intervals conflictop(?I,?J)

Rule #110back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , lessThan(?Ib,?Jb) , lessThan(?Ie,?Je) -> contains intervals conflictop(?J,?I)

Rule #111back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , after interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> ended by intervals certaintyop(?A,?B)

Rule #112back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , lessThan(?Ib,?Jb) , lessThan(?Ie,?Je) -> during intervals conflictop(?I,?J)

Rule #113back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , lessThan(?Ie,?Jb) -> after intervals conflictop(?J,?I)

Rule #114back to ToC

TimeIntervalc(?I) , has beginningdp(?I,?Ib) , has enddp(?I,?Ie) , beginning massdp(?Ib,?mib) , ending massdp(?Ie,?mie) , TimeIntervalc(?J) , has beginningdp(?J,?Jb) , has enddp(?J,?Je) , beginning massdp(?Jb,?mjb) , ending massdp(?Je,?mje) , lessThan(?Ie,?Jb) -> before intervals conflictop(?I,?J)

Rule #115back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , equal(?Jet,?Iea) , TimeIntervalc(?I) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning fromdp(?I,?Ib) , possibility uncertainty intervaldp(?I,?PUn1) , has end todp(?Ie,?Iet) , has beginning todp(?Ib,?Ibt) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , necessity uncertainty intervaldp(?I,?NUn1) , has end todp(?J,?Je) , possibility imprecision intervaldp(?J,?PIm2) , possibility imprecision intervaldp(?I,?PIm1) , has end fromdp(?I,?Ie) , equal(?Ibt,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , necessity imprecision intervaldp(?I,?NIm1) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> equals intervals imp uncertop(?J,?I)

Rule #116back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , after interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> met by intervals certaintyop(?A,?B)

Rule #117back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , equal(?Jet,?Iea) , TimeIntervalc(?I) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning fromdp(?I,?Ib) , possibility uncertainty intervaldp(?I,?PUn1) , has end todp(?Ie,?Iet) , has beginning todp(?Ib,?Ibt) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , necessity uncertainty intervaldp(?I,?NUn1) , has end todp(?J,?Je) , possibility imprecision intervaldp(?J,?PIm2) , possibility imprecision intervaldp(?I,?PIm1) , has end fromdp(?I,?Ie) , equal(?Ibt,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , necessity imprecision intervaldp(?I,?NIm1) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> meets intervals imp uncertop(?J,?I)

Rule #118back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , greaterThan(?Jet,?Iea) , TimeIntervalc(?I) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning fromdp(?I,?Ib) , possibility uncertainty intervaldp(?I,?PUn1) , has end todp(?Ie,?Iet) , has beginning todp(?Ib,?Ibt) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , necessity uncertainty intervaldp(?I,?NUn1) , has end todp(?J,?Je) , possibility imprecision intervaldp(?J,?PIm2) , possibility imprecision intervaldp(?I,?PIm1) , has end fromdp(?I,?Ie) , lessThan(?Ibt,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , necessity imprecision intervaldp(?I,?NIm1) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> after intervals imp uncertop(?J,?I)

Rule #119back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , lessThan(?Jet,?Iea) , TimeIntervalc(?I) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning fromdp(?I,?Ib) , possibility uncertainty intervaldp(?I,?PUn1) , has end todp(?Ie,?Iet) , has beginning todp(?Ib,?Ibt) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , necessity uncertainty intervaldp(?I,?NUn1) , has end todp(?J,?Je) , possibility imprecision intervaldp(?J,?PIm2) , possibility imprecision intervaldp(?I,?PIm1) , has end fromdp(?I,?Ie) , lessThan(?Ibt,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , necessity imprecision intervaldp(?I,?NIm1) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> contains intervals imp uncertop(?J,?I)

Rule #120back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , after interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> overlapped by intervals certaintyop(?A,?B)

Rule #121back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , lessThan(?Jet,?Iea) , TimeIntervalc(?I) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has beginning fromdp(?I,?Ib) , possibility uncertainty intervaldp(?I,?PUn1) , has end todp(?Ie,?Iet) , has beginning todp(?Ib,?Ibt) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , necessity uncertainty intervaldp(?I,?NUn1) , has end todp(?J,?Je) , possibility imprecision intervaldp(?J,?PIm2) , possibility imprecision intervaldp(?I,?PIm1) , has end fromdp(?I,?Ie) , lessThan(?Ibt,?Jba) , necessity imprecision intervaldp(?J,?NIm2) , necessity imprecision intervaldp(?I,?NIm1) , has beginning fromdp(?Jb,?Jba) , has end fromdp(?Ie,?Iea) -> overlaps intervals imp uncertop(?J,?I)

Rule #122back to ToC

has end fromdp(?Je,?Jet) , TimeIntervalc(?J) , has end todp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has end todp(?Ie,?Iet) , equal(?Iea,?Jea) , necessity uncertainty intervaldp(?I,?NUn1) , possibility imprecision intervaldp(?I,?PIm1) , necessity imprecision intervaldp(?I,?NIm1) , has beginning fromdp(?Jb,?Jba) , has beginning fromdp(?Ib,?Iba) , lessThan(?Jbt,?Iba) , TimeIntervalc(?I) , possibility uncertainty intervaldp(?I,?PUn1) , equal(?Iet,?Jet) , has beginning todp(?Ib,?Ibt) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , possibility imprecision intervaldp(?J,?PIm2) , necessity imprecision intervaldp(?J,?NIm2) , has end todp(?Ie,?Iea) -> ends intervals imp uncertop(?I,?J)

Rule #123back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> after intervals certaintyop(?A,?B)

Rule #124back to ToC

TimeIntervalc(?J) , has beginning fromdp(?J,?Jb) , TimeIntervalc(?I) , has beginning todp(?I,?Ib) , possibility uncertainty intervaldp(?I,?PUn1) , has end fromdp(?Je,?Jet) , possibility uncertainty intervaldp(?J,?PUn2) , has end todp(?Ie,?Iet) , lessThan(?Iet,?Jba) , has beginning fromdp(?Ib,?Ibt) , necessity uncertainty intervaldp(?I,?NUn1) , has beginning todp(?Jb,?Jbt) , necessity uncertainty intervaldp(?J,?NUn2) , has end fromdp(?Je,?Jea) , possibility imprecision intervaldp(?I,?PIm1) , has end todp(?J,?Je) , possibility imprecision intervaldp(?J,?PIm2) , necessity imprecision intervaldp(?I,?NIm1) , necessity imprecision intervaldp(?J,?NIm2) -> before intervals imp uncertop(?I,?J)

Rule #125back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> before intervals certaintyop(?A,?B)

Rule #126back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> after intervals certaintyop(?A,?B)

Rule #127back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> during intervals certaintyop(?A,?B)

Rule #128back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> met by intervals certaintyop(?A,?B)

Rule #129back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> overlapped by intervals certaintyop(?A,?B)

Rule #130back to ToC

TimeInstantc(?m) , TimeInstantc(?p) , has time pointdp(?m,?mt) , has time pointdp(?p,?pt) , point certaintydp(?m,?cm) , point certaintydp(?p,?cp) , lessThan(?mt,?pt) -> before points certaintyop(?p,?m)

Rule #131back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> overlapped by intervals certaintyop(?A,?B)

Rule #132back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> started by intervals certaintyop(?A,?B)

Rule #133back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> started by intervals certaintyop(?A,?B)

Rule #134back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , ended by interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> during intervals certaintyop(?A,?B)

Rule #135back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , ended by interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> during intervals certaintyop(?A,?B)

Rule #136back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , ended by interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> met by intervals certaintyop(?A,?B)

Rule #137back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , ended by interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> overlapped by intervals certaintyop(?A,?B)

Rule #138back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , ended by interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> started by intervals certaintyop(?A,?B)

Rule #139back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , after point interval certaintyop(?p,?B) -> after intervals certaintyop(?A,?B)

Rule #140back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> before intervals certaintyop(?A,?B)

Rule #141back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> after intervals certaintyop(?A,?B)

Rule #142back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> before intervals certaintyop(?A,?B)

Rule #143back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> contains intervals certaintyop(?A,?B)

Rule #144back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> during intervals certaintyop(?A,?B)

Rule #145back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> ended by intervals certaintyop(?A,?B)

Rule #146back to ToC

TimeInstantc(?m) , TimeInstantc(?p) , has time pointdp(?m,?mt) , has time pointdp(?p,?pt) , point certaintydp(?p,?pc) , point certaintydp(?m,?mc) , equal(?pt,?mt) -> equals points certaintyop(?p,?m)

Rule #147back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> meets intervals certaintyop(?A,?B)

Rule #148back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> met by intervals certaintyop(?A,?B)

Rule #149back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> overlapped by intervals certaintyop(?A,?B)

Rule #150back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> overlaps intervals certaintyop(?A,?B)

Rule #151back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> starts intervals certaintyop(?A,?B)

Rule #152back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , before interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> before intervals certaintyop(?A,?B)

Rule #153back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> before intervals certaintyop(?A,?B)

Rule #154back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> contains intervals certaintyop(?A,?B)

Rule #155back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> ended by intervals certaintyop(?A,?B)

Rule #156back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> meets intervals certaintyop(?A,?B)

Rule #157back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> overlapped by intervals certaintyop(?A,?B)

Rule #158back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , ended by interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> before intervals certaintyop(?A,?B)

Rule #159back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> before intervals certaintyop(?A,?B)

Rule #160back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> contains intervals certaintyop(?A,?B)

Rule #161back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> ended by intervals certaintyop(?A,?B)

Rule #162back to ToC

TimeInstantc(?m) , TimeInstantc(?p) , has time pointdp(?m,?mt) , has time pointdp(?p,?pt) , equal(?pt,?mt) -> equals pointsop(?p,?m)

Rule #163back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> met by intervals certaintyop(?A,?B)

Rule #164back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , before point interval certaintyop(?p,?B) -> overlaps intervals certaintyop(?A,?B)

Rule #165back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> overlaps intervals certaintyop(?A,?B)

Rule #166back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> contains intervals certaintyop(?A,?B)

Rule #167back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> ended by intervals certaintyop(?A,?B)

Rule #168back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , contains interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> overlaps intervals certaintyop(?A,?B)

Rule #169back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> contains intervals certaintyop(?A,?B)

Rule #170back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> ends intervals certaintyop(?A,?B)

Rule #171back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , during point interval certaintyop(?p,?B) -> overlapped by intervals certaintyop(?A,?B)

Rule #172back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , ended by interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> meets intervals certaintyop(?A,?B)

Rule #173back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> equals intervals certaintyop(?A,?B)

Rule #174back to ToC

TimeInstantc(?m) , TimeInstantc(?p) , has time pointdp(?m,?mt) , has time pointdp(?p,?pt) , greaterThan(?pt,?mt) -> after pointsop(?m,?p)

Rule #175back to ToC

TimeInstantc(?p) , TimeIntervalc(?A) , TimeIntervalc(?B) , started by interval point certaintyop(?A,?p) , starts point interval certaintyop(?p,?B) -> started by intervals certaintyop(?A,?B)

Namespace Declarations back to ToC

default namespace
https://cedric.cnam.fr/isid/ontologies/TimeOntoImperfection#
author
https://cedric.cnam.fr/lab/en/author/
cc
http://creativecommons.org/ns#
cedric-cnam-fr
https://cedric.cnam.fr/
dc
http://purl.org/dc/terms/
membre
https://cedric.cnam.fr/index.php/labo/membre/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
resource
http://fr.dbpedia.org/resource/
swrl
http://www.w3.org/2003/11/swrl#
swrla
http://swrl.stanford.edu/ontologies/3.3/swrla.owl#
swrlb
http://www.w3.org/2003/11/swrlb#
time
http://www.w3.org/2006/time#
vann
http://purl.org/vocab/vann/
www-data-gouv-fr
http://www.data.gouv.fr/
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.