|
From: Gerardo H. <ma...@us...> - 2004-08-07 00:50:30
|
Update of /cvsroot/javaowl/reasoner/design In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17171 Modified Files: draft.scm Log Message: Fixed. Index: draft.scm =================================================================== RCS file: /cvsroot/javaowl/reasoner/design/draft.scm,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** draft.scm 7 Aug 2004 00:24:06 -0000 1.2 --- draft.scm 7 Aug 2004 00:50:19 -0000 1.3 *************** *** 40,44 **** '((($intersection Person Female) x) (($intersection Person ($complement Female)) y) ! (($intersection Person Female ($complement Female)) z))) ;(($intersection Person Female) x) --- 40,46 ---- '((($intersection Person Female) x) (($intersection Person ($complement Female)) y) ! (($intersection Person Female ($complement Female)) z) ! (($allValuesFrom hasChild Person) a) ! (hasChild a b))) ;(($intersection Person Female) x) |