Skip to content
Permalink
Browse files

added most_polycyclic

  • Loading branch information...
carmenchui committed Apr 3, 2019
1 parent 98f21c1 commit 287871e66e7d2750a3bca848dd4bf38b3e84d0c2
Showing with 24 additions and 0 deletions.
  1. +6 −0 ontologies/most/most_master.clif
  2. +18 −0 ontologies/most/most_polycyclic.clif
@@ -783,4 +783,10 @@
(mol x y)(mol x z)(mol x u)(mol u y)(mol u z)(mol y z))
(or (= y z)(= y u)(= u z))))


(cl-comment 'Extension: most_polycyclic')
(forall (x)
(if (group x)
(ring x)))

)
@@ -0,0 +1,18 @@
/*******************************************************************************
* 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:
* Carmen Chui, Michael Gruninger - initial implementation
*******************************************************************************/

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

(cl-comment 'Extension: most_polycyclic')
(forall (x)
(if (group x)
(ring x)))

)

0 comments on commit 287871e

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