Fixed a typo in an axiom

ontologyportal · Mar 2, 2010 · 7d29800 · 7d29800
1 parent c705016
commit 7d29800
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/Transportation.kif b/Transportation.kif
@@ -2564,15 +2564,15 @@ has the ability to play the &%CaseRole ?ROLE in &%Processes of
 (domain capableAtLocation 4 Region)
 
 (=>
-    (and
-            (instance ?TYPE Process)
-            (instance ?EVENT ?TYPE)
-            (located ?EVENT ?REGION)
-            (instance ?ROLE CaseRole)
-            (instance ?OBJECT Object)
-            (instance ?REGION GeographicArea)
-            (holds ?ROLE ?EVENT ?OBJECT))
-    (capableAtLocation ?TYPE ?ROLE ?OBJECT ?PLACE))
+  (and
+    (subclass ?TYPE Process)
+    (instance ?EVENT ?TYPE)
+    (located ?EVENT ?REGION)
+    (instance ?ROLE CaseRole)
+    (instance ?OBJECT Object)
+    (instance ?REGION GeographicArea)
+    (?ROLE ?EVENT ?OBJECT))
+  (capableAtLocation ?TYPE ?ROLE ?OBJECT ?PLACE))
 
 ;;	   2. Transitway state