Skip to content
Permalink
Browse files

updated comments in DTV with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 9fae803 commit bf036a769916e8464dc07fe1933cf8f7652dfe98

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.
@@ -7,39 +7,39 @@

(cl-imports http://colore.oor.net/dtv_duration/dtv_duration.clif)

(forall ((t "time interval") (d1 duration) (d2 duration))
(if (and ("time interval has duration" t d1)
("time interval has duration" t d2))
(forall ((t 'time interval') (d1 duration) (d2 duration))
(if (and ('time interval has duration' t d1)
('time interval has duration' t d2))
(= d1 d2)))

(forall ((t "time interval"))
(gt ("duration of" t) D0))
(forall ((t 'time interval'))
(gt ('duration of' t) D0))

(forall ((t "time interval"))
(not (= ("duration of" t) D0)))
(forall ((t 'time interval'))
(not (= ('duration of' t) D0)))

(forall ((t1 "time interval") (t2 "time interval"))
(not (= D0 (+ ("duration of" t1) ("duration of" t2)))))
(forall ((t1 'time interval') (t2 'time interval'))
(not (= D0 (+ ('duration of' t1) ('duration of' t2)))))

(forall ((t1 "time interval") (t2 "time interval"))
(if ("time interval1 is part of time interval2" t1 t2)
(leq ("duration of time interval" t1) ("duration of time interval" t2))))
(forall ((t1 'time interval') (t2 'time interval'))
(if ('time interval1 is part of time interval2' t1 t2)
(leq ('duration of time interval' t1) ('duration of time interval' t2))))

(forall ((t1 "time interval") (t2 "time interval"))
(if ("time interval1 meets time interval2" t1 t2)
(exists ((t3 "time interval") (d3 duration))
(and ("time interval3 equals time interval1 plus time interval2" t3 t1 t2)
("duration3 equals duration1 plus duration2" d3 ("duration of" t1) ("duration of" t2))
(= d3 ("duration of" t3))))))
(forall ((t1 'time interval') (t2 'time interval'))
(if ('time interval1 meets time interval2' t1 t2)
(exists ((t3 'time interval') (d3 duration))
(and ('time interval3 equals time interval1 plus time interval2' t3 t1 t2)
('duration3 equals duration1 plus duration2' d3 ('duration of' t1) ('duration of' t2))
(= d3 ('duration of' t3))))))

(forall ((t1 "time interval") (t2 "time interval"))
(exists ((t3 "time interval"))
(if ("time interval1 starts time interval2 complementing time interval3" t1 t2 t3)
(= ("duration of" t2) (+ ("duration of" t3) ("duration of" t1))))))
(forall ((t1 'time interval') (t2 'time interval'))
(exists ((t3 'time interval'))
(if ('time interval1 starts time interval2 complementing time interval3' t1 t2 t3)
(= ('duration of' t2) (+ ('duration of' t3) ('duration of' t1))))))

(forall ((t1 "time interval") (t2 "time interval"))
(exists ((t3 "time interval"))
(if ("time interval1 finishes time interval2 complementing time interval3" t1 t2 t3)
(= ("duration of" t2) (+ ("duration of" t3) ("duration of" t1))))))
(forall ((t1 'time interval') (t2 'time interval'))
(exists ((t3 'time interval'))
(if ('time interval1 finishes time interval2 complementing time interval3' t1 t2 t3)
(= ('duration of' t2) (+ ('duration of' t3) ('duration of' t1))))))

)
@@ -3,37 +3,37 @@

(cl-imports http://colore.oor.net/dtv_mereology/dtv_mereology.clif)

(forall ((t1 "time interval") (t2 "time interval"))
(if ("time interval1 overlaps time interval2" t1 t2)
(not ("time interval1 is before time interval2" t1 t2))))

(forall ((t1 "time interval") (t2 "time interval"))
(if (not ("time interval1 overlaps time interval2" t1 t2))
(or ("time interval1 is before time interval2" t1 t2)
("time interval1 is before time interval2" t2 t1))))

(forall ((t1 "time interval"))
(not ("time interval1 is before time interval2" t1 t1)))

(forall ((t1 "time interval") (t2 "time interval"))
(if ("time interval1 is before time interval2" t1 t2)
(not ("time interval1 is before time interval2" t2 t1))))

(forall ((t1 "time interval") (t2 "time interval"))
(or (and ("time interval1 overlaps time interval2" t1 t2)
(not ("time interval1 is before time interval2" t1 t2))
(not ("time interval1 is before time interval2" t2 t1)))
(and ("time interval1 is before time interval2" t1 t2)
(not ("time interval1 overlaps time interval2" t1 t2))
(not ("time interval1 is before time interval2" t2 t1)))
(and ("time interval1 is before time interval2" t2 t1)
(not ("time interval1 overlaps time interval2" t1 t2))
(not ("time interval1 is before time interval2" t1 t2)))))

(forall ((t1 "time interval") (t2 "time interval") (t3 "time interval"))
(if (and ("time interval1 is before time interval2" t1 t2)
("time interval1 is before time interval2" t2 t3))
("time interval1 is before time interval2" t1 t3)))
(forall ((t1 'time interval') (t2 'time interval'))
(if ('time interval1 overlaps time interval2' t1 t2)
(not ('time interval1 is before time interval2' t1 t2))))

(forall ((t1 'time interval') (t2 'time interval'))
(if (not ('time interval1 overlaps time interval2' t1 t2))
(or ('time interval1 is before time interval2' t1 t2)
('time interval1 is before time interval2' t2 t1))))

(forall ((t1 'time interval'))
(not ('time interval1 is before time interval2' t1 t1)))

(forall ((t1 'time interval') (t2 'time interval'))
(if ('time interval1 is before time interval2' t1 t2)
(not ('time interval1 is before time interval2' t2 t1))))

(forall ((t1 'time interval') (t2 'time interval'))
(or (and ('time interval1 overlaps time interval2' t1 t2)
(not ('time interval1 is before time interval2' t1 t2))
(not ('time interval1 is before time interval2' t2 t1)))
(and ('time interval1 is before time interval2' t1 t2)
(not ('time interval1 overlaps time interval2' t1 t2))
(not ('time interval1 is before time interval2' t2 t1)))
(and ('time interval1 is before time interval2' t2 t1)
(not ('time interval1 overlaps time interval2' t1 t2))
(not ('time interval1 is before time interval2' t1 t2)))))

(forall ((t1 'time interval') (t2 'time interval') (t3 'time interval'))
(if (and ('time interval1 is before time interval2' t1 t2)
('time interval1 is before time interval2' t2 t3))
('time interval1 is before time interval2' t1 t3)))


)
@@ -4,92 +4,92 @@
(cl-imports http://colore.oor.net/dtv_interval/dtv_interval.clif)

(forall (t1 t2)
(iff ("time interval1 is properly before time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
("time interval1 is before time interval2" t1 t2)
(exists ((t3 "time interval"))
(and ("time interval1 is before time interval2" t1 t3)
("time interval1 is before time interval2" t3 t2))))))
(iff ('time interval1 is properly before time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
('time interval1 is before time interval2' t1 t2)
(exists ((t3 'time interval'))
(and ('time interval1 is before time interval2' t1 t3)
('time interval1 is before time interval2' t3 t2))))))

(forall (t1 t2)
(iff ("time interval1 equals time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
("time interval1 is part of time interval2" t1 t2)
("time interval1 is part of time interval2" t2 t1))))
(iff ('time interval1 equals time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
('time interval1 is part of time interval2' t1 t2)
('time interval1 is part of time interval2' t2 t1))))

(forall (t1 t2)
(iff ("time interval1 meets time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
("time interval1 is before time interval2" t1 t2)
(not (exists ((t3 "time interval"))
(and ("time interval1 is before time interval2" t1 t3)
("time interval1 is before time interval2" t3 t2)))))))
(iff ('time interval1 meets time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
('time interval1 is before time interval2' t1 t2)
(not (exists ((t3 'time interval'))
(and ('time interval1 is before time interval2' t1 t3)
('time interval1 is before time interval2' t3 t2)))))))

(forall (t1 t2)
(iff ("time interval1 properly overlaps time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
("time interval1 overlaps time interval2" t1 t2)
(exists ((t3 "time interval"))
(and ("time interval1 is proper part of time interval2" t3 t1)
("time interval1 is before time interval2" t3 t2))))))
(iff ('time interval1 properly overlaps time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
('time interval1 overlaps time interval2' t1 t2)
(exists ((t3 'time interval'))
(and ('time interval1 is proper part of time interval2' t3 t1)
('time interval1 is before time interval2' t3 t2))))))

(forall (t1 t2)
(iff ("time interval1 is properly during time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
("time interval1 is proper part of time interval2" t1 t2)
(exists ((t3 "time interval") (t4 "time interval"))
(and ("time interval1 is proper part of time interval2" t3 t2)
("time interval1 is proper part of time interval2" t4 t2)
("time interval1 is before time interval2" t3 t1)
("time interval1 is before time interval2" t1 t4))))))
(iff ('time interval1 is properly during time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
('time interval1 is proper part of time interval2' t1 t2)
(exists ((t3 'time interval') (t4 'time interval'))
(and ('time interval1 is proper part of time interval2' t3 t2)
('time interval1 is proper part of time interval2' t4 t2)
('time interval1 is before time interval2' t3 t1)
('time interval1 is before time interval2' t1 t4))))))

(forall (t1 t2)
(iff ("time interval1 starts time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
("time interval1 is proper part of time interval2" t1 t2)
(not (exists ((t3 "time interval"))
(and ("time interval1 is proper part of time interval2" t3 t2)
("time interval1 is before time interval2" t3 t1)))))))
(iff ('time interval1 starts time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
('time interval1 is proper part of time interval2' t1 t2)
(not (exists ((t3 'time interval'))
(and ('time interval1 is proper part of time interval2' t3 t2)
('time interval1 is before time interval2' t3 t1)))))))

(forall (t1 t2)
(iff ("time interval1 finishes time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
("time interval1 is proper part of time interval2" t1 t2)
(not (exists ((t3 "time interval"))
(and ("time interval1 is proper part of time interval2" t3 t2)
("time interval1 is before time interval2" t1 t3)))))))
(iff ('time interval1 finishes time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
('time interval1 is proper part of time interval2' t1 t2)
(not (exists ((t3 'time interval'))
(and ('time interval1 is proper part of time interval2' t3 t2)
('time interval1 is before time interval2' t1 t3)))))))

(forall (t1 t2)
(iff ("time interval1 precedes time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
(or ("time interval1 is properly before time interval2" t1 t2)
("time interval1 meets time interval2" t1 t2)))))
(iff ('time interval1 precedes time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
(or ('time interval1 is properly before time interval2' t1 t2)
('time interval1 meets time interval2' t1 t2)))))

(forall (t1 t2)
(iff ("time interval1 begins time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
(or ("time interval1 equals time interval2" t1 t2)
("time interval1 meets time interval2" t1 t2)
("time interval1 properly overlaps time interval2" t1 t2)
("time interval1 starts time interval2" t1 t2)))))
(iff ('time interval1 begins time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
(or ('time interval1 equals time interval2' t1 t2)
('time interval1 meets time interval2' t1 t2)
('time interval1 properly overlaps time interval2' t1 t2)
('time interval1 starts time interval2' t1 t2)))))

(forall (t1 t2)
(iff ("time interval1 ends time interval2" t1 t2)
(and ("time interval" t1)
("time interval" t2)
(or ("time interval1 equals time interval2" t1 t2)
("time interval1 meets time interval2" t2 t1)
("time interval1 properly overlaps time interval2" t1 t2)
("time interval1 finishes time interval2" t1 t2)))))
(iff ('time interval1 ends time interval2' t1 t2)
(and ('time interval' t1)
('time interval' t2)
(or ('time interval1 equals time interval2' t1 t2)
('time interval1 meets time interval2' t2 t1)
('time interval1 properly overlaps time interval2' t1 t2)
('time interval1 finishes time interval2' t1 t2)))))


)
@@ -1,34 +1,34 @@

(cl-text http://colore.oor.net/dtv_mereology/dtv_mereology.clif

(forall ((part "time interval"))
("time interval1 is part of time interval2" part part))
(forall ((part 'time interval'))
('time interval1 is part of time interval2' part part))

(forall ((part "time interval") (whole "time interval"))
(if (and ("time interval1 is part of time interval2" part whole)
("time interval1 is part of time interval2" whole part))
(forall ((part 'time interval') (whole 'time interval'))
(if (and ('time interval1 is part of time interval2' part whole)
('time interval1 is part of time interval2' whole part))
(= part whole)))

(forall ((part "time interval") (whole "time interval") (part3 "time interval"))
(if (and ("time interval1 is part of time interval2" part whole)
("time interval1 is part of time interval2" whole part3))
("time interval1 is part of time interval2" part part3)))

(forall ((part1 "time interval") (part2 "time interval"))
(iff ("time interval1 overlaps time interval2" part1 part2)
(exists ((part3 "time interval"))
(and ("time interval1 is part of time interval2" part3 part1)
("time interval1 is part of time interval2" part3 part2)))))

(forall ((whole "time interval") (part "time interval"))
(iff ("time interval1 is proper part of time interval2" part whole)
(and ("time interval1 is part of time interval2" part whole)
(not ("time interval1 is part of time interval2" whole part)))))

(forall ((part1 "time interval") (whole "time interval"))
(if ("time interval1 is proper part of time interval2" part1 whole)
(exists ((part2 "time interval"))
(and ("time interval1 is proper part of time interval2" part2 whole)
(not ("time interval1 overlaps time interval2" part2 part1))))))
(forall ((part 'time interval') (whole 'time interval') (part3 'time interval'))
(if (and ('time interval1 is part of time interval2' part whole)
('time interval1 is part of time interval2' whole part3))
('time interval1 is part of time interval2' part part3)))

(forall ((part1 'time interval') (part2 'time interval'))
(iff ('time interval1 overlaps time interval2' part1 part2)
(exists ((part3 'time interval'))
(and ('time interval1 is part of time interval2' part3 part1)
('time interval1 is part of time interval2' part3 part2)))))

(forall ((whole 'time interval') (part 'time interval'))
(iff ('time interval1 is proper part of time interval2' part whole)
(and ('time interval1 is part of time interval2' part whole)
(not ('time interval1 is part of time interval2' whole part)))))

(forall ((part1 'time interval') (whole 'time interval'))
(if ('time interval1 is proper part of time interval2' part1 whole)
(exists ((part2 'time interval'))
(and ('time interval1 is proper part of time interval2' part2 whole)
(not ('time interval1 overlaps time interval2' part2 part1))))))

)
Oops, something went wrong.

0 comments on commit bf036a7

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