-
Notifications
You must be signed in to change notification settings - Fork 35
/
ep.clif
34 lines (25 loc) · 1.1 KB
/
ep.clif
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 3.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/3.0/legalcode.
*
* Contributors:
* Torsten Hahmann - initial implementation
*******************************************************************************/
(cl-text http://colore.oor.net/multidim_space_codi/definitions/ep.clif
(cl-imports http://colore.oor.net/multidim_space_codi/codi_basic.clif)
(cl-imports http://colore.oor.net/multidim_space_dim/definitions/eq_dim.clif)
(cl-comment 'basic axioms of traditional parthood (parthood of equidimensional entities) which is a non-strict partial order')
(cl-comment 'parthood holds between two entities of the same spatial dimension')
(cl-comment 'EP-D: definition of parthood')
(forall (x y)
(iff
(P x y)
(and
(Cont x y)
(EqDim x y)
)
)
)
)