Merge pull request #394 from ontologyportal/J20241007

added new terms in Transport_2024.kif
ontologyportal · Oct 7, 2024 · c102d4a · c102d4a
2 parents bd0d50e + 37779b9
commit c102d4a
Showing 1 changed file with 77 additions and 0 deletions.
diff --git a/development/Transport_2024.kif b/development/Transport_2024.kif
@@ -780,4 +780,81 @@ describe an &%Artifact that cannot be desginated for &Repairing.")
       (and
         (instance ?R Repairing)
         (patient ?R ?A)))))
+
+(subclass MultimodalTransitPoint Region)
+(subclass MultimodalTransitPoint TransitTerminal)
+(documentation MultimodalTransitPoint EnglishLanguage "&%MultimodalTransitPoint is facility that
+allows travelers to and freight to easily transition between different modes of transportation.
+This can include rail, road, air and water transitway.")
+(termFormat EnglishLanguage MultimodalTransitPoint "multi modal transportation point")
+
+(typicalPart MultimodalTransitPoint MultiModalTransitSystem)
+
+(=>
+  (instance ?X MultimodalTransitPoint)
+  (exists (?T1 ?A ?T2 ?B)
+    (and
+      (instance ?T1 (TransitFn ?A))
+      (instance ?A AirTransitway)
+      (path ?T1 ?A)
+      (instance ?T2 (TransitFn ?B))
+      (path ?T2 ?B)
+      (connects ?X ?A ?B)
+      (not
+        (equal ?T1 ?T2))
+      (or
+        (instance ?B Railway)
+        (instance ?B Roadway)
+        (instance ?B Waterway)))))
+
+(=>
+  (instance ?X MultimodalTransitPoint)
+  (exists (?T1 ?A ?T2 ?B)
+    (and
+      (instance ?T1 (TransitFn ?A))
+      (instance ?A Waterway)
+      (path ?T1 ?A)
+      (instance ?T2 (TransitFn ?B))
+      (path ?T2 ?B)
+      (connects ?X ?A ?B)
+      (not
+        (equal ?T1 ?T2))
+      (or
+        (instance ?B Railway)
+        (instance ?B Roadway)
+        (instance ?B AirTransitway)))))
+
+(=>
+  (instance ?X MultimodalTransitPoint)
+  (exists (?T1 ?A ?T2 ?B)
+    (and
+      (instance ?T1 (TransitFn ?A))
+      (instance ?A Railway)
+      (path ?T1 ?A)
+      (instance ?T2 (TransitFn ?B))
+      (path ?T2 ?B)
+      (connects ?X ?A ?B)
+      (not
+        (equal ?T1 ?T2))
+      (or
+        (instance ?B Waterway)
+        (instance ?B Roadway)
+        (instance ?B AirTransitway)))))
+
+ (=>
+  (instance ?X MultimodalTransitPoint)
+  (exists (?T1 ?A ?T2 ?B)
+    (and
+      (instance ?T1 (TransitFn ?A))
+      (instance ?A Roadway)
+      (path ?T1 ?A)
+      (instance ?T2 (TransitFn ?B))
+      (path ?T2 ?B)
+      (connects ?X ?A ?B)
+      (not
+        (equal ?T1 ?T2))
+      (or
+        (instance ?B Waterway)
+        (instance ?B Railway)
+        (instance ?B AirTransitway)))))