Permalink
Browse files

Update psl_swrl.clif

Added missing rule from T_atomic
  • Loading branch information...
megankatsumi committed Jun 2, 2015
1 parent e632919 commit 9d9fdce30b671b4aed16ed0f4f6fabcc127c0b5b
Showing with 3 additions and 0 deletions.
  1. +3 −0 ontologies/extended_psl/psl_swrl.clif
@@ -184,4 +184,7 @@
(eqDim x y))
(p x y)))
(forall (a1 a2) (if (and (Atomic a1)
(subactivity a2 a1))
(Atomic a2)))
)

0 comments on commit 9d9fdce

Please sign in to comment.