Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
29 lines (24 sloc) 833 Bytes
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Michael Gruninger - initial implementation
*******************************************************************************/
(cl-text http://colore.oor.net/planar_mereology/mon_planar_mereology.clif
(forall (q p1 p2)
(if (and (plane q)
(point p1)
(in p1 q)
(part p2 p1))
(in p2 q)))
(forall (q p1)
(if (and (plane q)
(point p1)
(not (in p1 q)))
(exists (p2)
(and (part p2 p1)
(not (in p2 q))))))
)
You can’t perform that action at this time.