Merge pull request #383 from ontologyportal/J20240726

new transportation terms added

Transportation.kif

@@ -2463,6 +2463,22 @@ subclass of ships that carry &%ChemicalProducts.")
 (subclass AircraftCarrier MilitaryShip)
 (documentation AircraftCarrier EnglishLanguage "A MilitaryShip on which MilitaryAircraft can land 
 and take off.")
+
+(=>
+  (instance ?C AircraftCarrier)
+  (hasPurpose ?C
+    (exists (?A ?T ?CLASS)
+      (and
+        (instance ?A AirCraft)
+        (patient ?T ?A)
+        (instance ?T ?CLASS)
+        (or
+          (and
+            (capability ?CLASS origin ?C)
+            (subclass ?CLASS TakingOff))
+          (and
+            (capability ?CLASS destination ?C)
+            (subclass ?CLASS Landing ?C)))))))
 
 (subclass PlaningHullWaterVehicle WaterVehicle)
 (documentation PlaningHullWaterVehicle EnglishLanguage "PlaningHullWaterVehicle is a subclass 
@@ -2687,8 +2703,8 @@ to sail without running aground, when she is loaded at capacity.")
 
 (instance capableAtLocation QuaternaryPredicate)
 (documentation capableAtLocation EnglishLanguage 
-"(&%capableAtLocation ?TYPE ?ROLE ?OBJECT ?PLACE) means that ?OBJECT 
-has the ability to play the &%CaseRole ?ROLE in &%Processes of 
+"(&%capableAtLocation ?EVENTTYPE ?ROLE ?OBJECT ?PLACE) means that ?OBJECT 
+has the ability to play the &%CaseRole ?ROLE in &%Translocation of 
 ?EVENTTYPE that occur at ?PLACE.")
 (domainSubclass capableAtLocation 1 Process)
 (domain capableAtLocation 2 CaseRole)

development/Transport_2024.kif

@@ -142,8 +142,8 @@ intended to be moved around.[Wikipedia]")
 
 ;; Railhead
 (subclass Railhead RailWay)
-(documentation Railhead EnglishLanguage "A &%Railhead is a point on a railroad at which
-traffic may orginate or terminate. [Merriam Webster]")
+(documentation Railhead EnglishLanguage "A &%Railhead is a point on a A point on a railway 
+system where goods (or passengers) are loaded, unloaded or transferred to other transport. [Wiktionary]")
 (termFormat EnglishLanguage Railhead "railhead")
 
 (=>
@@ -152,24 +152,77 @@ traffic may orginate or terminate. [Merriam Webster]")
     (instance ?V RailVehicle)
     (holdsDuring ?T
       (located ?V ?R)))
-  (holdsDuring ?T
-    (exists (?M)
+  (exists (?M)
+    (and
+      (patient ?M ?V)
+      (or
+        (and
+          (instance ?M Leaving)
+          (origin ?M ?R)
+          (during (WhenFn ?M) ?T))
+        (and
+          (instance ?M Arriving)
+          (destination ?M ?R)
+          (during (WhenFn ?M) ?T))))))
+
+;; AerialPort
+(subclass AircraftCarrier MilitaryAirport)
+(subclass MilitaryAirport MilitaryInstallation)
+(subclass MilitaryAirport Airport)
+(documentation MilitaryAirport EnglishLanguage "An &%MilitaryAirport is an airport used as a military 
+base by a miliatry force for the operation of &%MilitaryAircraft. [Wikipedia]")
+(termFormat EnglishLanguage MilitaryAirport "military airport")
+(names "aerial port" MilitaryAirport)
+
+(=>
+  (instance ?A MilitaryAirport)
+  (hasPurpose ?A
+    (exists (?M )
       (and
-        (patient ?M ?V)
+        (instance ?M MilitaryAircraft)
         (or
-          (and
-            (instance ?M Leaving)
-            (origin ?M ?R))
-          (and
-            (instance ?M Arriving)
-            (destination ?M ?R)))))))
-
-;; ArialPort
-(subclass ArialPort MilitaryInstallation)
-(documentation ArialPort EnglishLanguage "&%ArialPorts are responsible for all management 
-and movement of cargo and passengers transported in Millitary AirliftSystem.[Wikipedia]")
-(termFormat EnglishLanguage ArialPort "arial port")
-
+          (capabaleAtLocation TakingOff Origin ?M ?A)
+          (capableAtLocation Landing Destination ?M ?A))))))
+
+;; AirportStagingArea
+(subclass AirportStagingArea Region)
+(documentation AirportStagingArea EnglishLanguage "An &%AirportStagingArea is a designated area 
+where equipment can be staged prior to the arrival or departure of an aircraft. [Wikipedia]")
+(termFormat EnglishLanguage AirportStagingArea "military airport")
+
+(=>
+  (instance ?S AirportStagingArea)
+  (exists (?A)
+    (and
+      (instance ?A Airport)
+      (located ?S ?A))))
+
+(=>
+  (instance ?S AirportStagingArea)
+  (hasPurpose ?S
+    (exists (?B ?C ?D ?T)
+      (and
+        (instance ?B Boarding)
+        (instance ?C Collection)
+        (instrument ?B ?C)
+        (member ?D ?C)
+        (instance ?D Device)
+        (locatedAtTime ?C ?T ?S)
+        (during ?T (WhenFn ?B))))))
+
+(=>
+  (instance ?S AirportStagingArea)
+  (hasPurpose ?S
+    (exists (?DB ?C ?D ?T)
+      (and
+        (instance ?DB Deboarding)
+        (instance ?C Collection)
+        (instrument ?DB ?C)
+        (member ?D ?C)
+        (instance ?D Device)
+        (locatedAtTime ?C ?T ?S)
+        (during ?T (WhenFn ?DB))))))   
+
 ;; MTBF
 (instance MTBFFn UnaryFunction)
 (documentation MTBFFn EnglishLanguage "(&%MTBFFn ?D) denotes the mean time between faiures of