fix variable name

ontologyportal · Jan 17, 2025 · f3e0c2f · f3e0c2f
1 parent 9c9866d
commit f3e0c2f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Mid-level-ontology.kif b/Mid-level-ontology.kif
@@ -642,8 +642,8 @@ morse code transmitted by lamp, dance hall lighting or concert light shows.")
       (instance ?I1 RadiatingLight)
       (instance ?T2 TimeInterval)
       (instance ?I3 RadiatingLight)
-      (meetsTemporally (WhenFn ?I1) ?I2)
-      (meetsTemporally ?I2 (WhenFn ?I3))
+      (meetsTemporally (WhenFn ?I1) ?T2)
+      (meetsTemporally ?T2 (WhenFn ?I3))
       (not
         (exists (?I2)
           (and