Skip to content
Permalink
Browse files

Update time.clif

  • Loading branch information...
carmenchui committed Jun 27, 2019
1 parent 8962330 commit 373c393cb9512fd4a2eeff730bc02d857bdf6015
Showing with 3 additions and 3 deletions.
  1. +3 −3 ontologies/financial/time.clif
@@ -57,7 +57,7 @@
(Date b)))))
(cl-comment 'Ax8_8')

(forall (a) (if (Report a) (exists () (and))))
(cl-comment '(forall (a) (if (Report a) (exists () (and))))')
(cl-comment 'Ax9_9')

(forall (a) (if (BusinessRecurrenceInterval a) (RecurrenceInterval a)))
@@ -79,7 +79,7 @@
(forall (a) (if (EndOfMonth a) (BusinessRecurrenceInterval a)))
(cl-comment 'Ax14_14')

(forall (a) (if (AdHocScheduleEntry a) (exists () (and))))
(cl-comment '(forall (a) (if (AdHocScheduleEntry a) (exists () (and))))')
(cl-comment 'Ax15_15')

(forall (a) (if (CalculatedDate a) (Date a)))
@@ -273,7 +273,7 @@
(forall (a) (if (StatisticalProgram a) (forall (b) (if (hasReferencePeriod a b) (BusinessRecurrenceInterval b)))))
(cl-comment 'Ax58_58')

(forall (a) (if (StatisticalProgram a) (exists () (and))))
(cl-comment '(forall (a) (if (StatisticalProgram a) (exists () (and))))')
(cl-comment 'Ax59_59')

(forall (a) (not (and (CalculatedDate a)

0 comments on commit 373c393

Please sign in to comment.
You can’t perform that action at this time.