From 37779b9d441b43779151520d807ccc3b8da207b5 Mon Sep 17 00:00:00 2001
From: JCP <you@example.com>
Date: Mon, 7 Oct 2024 17:46:41 +0100
Subject: [PATCH] added new terms in Transport_2024.kif

---
 development/Transport_2024.kif | 77 ++++++++++++++++++++++++++++++++++
 1 file changed, 77 insertions(+)

diff --git a/development/Transport_2024.kif b/development/Transport_2024.kif
index 5a585f98..3f40331a 100644
--- 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)))))       
     
\ No newline at end of file