Merge remote-tracking branch 'origin/master'

Mid-level-ontology.kif

@@ -6747,12 +6747,45 @@ either in pure form or as part of ores.")
         (instance ?MINERAL Mineral)
         (origin ?REMOVE ?MINE)))))
 
-(subclass MobileResidence Artifact)
+(subclass MobileStructure Artifact)
+(disjoint MobileStructure StationaryArtifact)
+(documentation MobileStructure EnglishLanguage "A &%MoibleStruture is an &%Artifact 
+that can contain &%Human and is intended to be moved. Examples of &%MobileStructure 
+includes, RV-caravan-camper, porta potty, pre-fabricated mobile office,sleeping in a 
+vehichle.")
+
+(=>
+  (instance ?M MobileStructure)
+  (hasPurpose (?M)
+    (exists (?H)
+      (and
+        (instance ?H Human)
+        (contains ?M ?H)))))
+
+(=>
+  (instance ?M MobileStructure)
+  (hasPurpose ?M
+    (exists (?T)
+      (and
+        (instance ?T Translocation)
+        (patient ?T ?M)))))
+
+(subclass MobileResidence MobileStructure)
 (disjoint MobileResidence Residence)
 (documentation MobileResidence EnglishLanguage "Anything which serves to house people but
 which changes its location from time to time, e.g. a motorhome, a mobile
 home, a camp, etc.  Note that &%MobileResidence is disjoint from &%Residence,
 because the latter is a subclass of &%StationaryArtifact.")
+
+(=>
+  (instance ?R MobileResidence)
+  (hasPurpose ?R
+    (exists (?H ?T)
+      (and
+        (instance ?H Human)
+        (instance ?T Translocation)
+        (inhabits ?H ?R)
+        (patient ?T ?R)))))
 
 (subclass Prison StationaryArtifact)
 (documentation Prison EnglishLanguage "An installation which is owned and maintained by

Transportation.kif

@@ -2071,6 +2071,12 @@ of its functions, especially for the handling of passengers and freight.")
 (documentation RailTransportationSystem EnglishLanguage "RailTransportationSystem 
 is the subclass of &%TransitSystems whose routes are &%Railways.")
 
+(=>
+  (and
+    (instance ?R RailTransportationSystem)
+    (routeInSystem ?P ?R))
+  (instance ?P Railway))
+
 (subclass Railcar RollingStock)
 (disjoint Railcar PoweredVehicle)
 (documentation Railcar EnglishLanguage "Railcar is the subclass of &%RollingStock that 
@@ -2457,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 
@@ -2681,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)
@@ -2875,16 +2897,34 @@ the system of Santa Clara county bike trails.")
     (abstractCounterpart ?ARC ?A))
   (links ?N1 ?N2 ?ARC))
 
-(subclass WaterTransportationSystem TransitSystem)
-
 (=>
   (and
     (instance ?SYSTEM TransitSystem)
     (systemPart ?PART ?SYSTEM))
   (instance ?PART Transitway))
+
+(subclass WaterTransportationSystem TransitSystem)
+(documentation WaterTransportationSystem EnglishLanguage "A &%WaterTransportationSystem is the 
+subclass of &%TransitSystem whose routes are &%Waterway.")
+
+(=>
+  (and
+    (instance ?W WaterTransportationSystem)
+    (routeInSystem ?W ?P))
+  (instance ?P Waterway))
 
 (subclass CanalSystem WaterTransportationSystem)
-
+
+(subclass AirTransportationSystem TransitSystem)
+(documentation WaterTransportationSystem EnglishLanguage "A &%AirTransportationSystem is the 
+subclass of &%TransitSystem whose routes are &%AirTransitway.")
+
+(=>
+  (and
+    (instance ?A AirTransportationSystem)
+    (routeInSystem ?A ?P))
+  (instance ?P AirTransitway))
+
 (subclass UniModalTransitSystem TransitSystem)
 (documentation UniModalTransitSystem EnglishLanguage "&%UniModalTransitSystem is 
 the class of &%TransitSystems that accommodate a single type of 
@@ -2935,6 +2975,7 @@ structures that provide shelter for passengers waiting at a
 (subclass ParkingGarage Building)  ;; also, StorageArea
 
 (subclass ShipBerth WaterArea)   ;; also, StorageArea
+(subclass ShipBerth PortFacility)
 
 (documentation ShipBerth EnglishLanguage "&%ShipBerth is the class of areas where 
 a &%Ship may be moored, whether at an &%Anchorage or dock.")

development/Transport_2024.kif

@@ -122,8 +122,107 @@ a college or &%University and related institutional buildings are situated.[Wiki
     (exists (?F)
       (and
         (instance ?F EducationalFacility)
-        (part ?F ?C))))     
+        (part ?F ?C))))
+
+;; PortableRestroom
+(subclass PortableRestroom MobileStructure)
+(documentation PortableRestroom EnglishLanguage "A &%PortableRestroom contains a &%Toilet that is
+intended to be moved around.[Wikipedia]")
+(termFormat EnglishLanguage PortableRestroom "portable restroom")
+
+(=>
+  (instance ?P PortableRestroom)
+  (hasPurpose ?P
+    (exists (?T ?M)
+      (and
+        (instance ?T Toilet)
+        (contains ?P ?T)
+        (instance ?M Translocation)
+        (patient ?M ?P))))) 
+
+;; Railhead
+(subclass Railhead RailWay)
+(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")
+
+(=>
+  (and
+    (instance ?R Railhead)
+    (instance ?V RailVehicle)
+    (holdsDuring ?T
+      (located ?V ?R)))
+  (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
+        (instance ?M MilitaryAircraft)
+        (or
+          (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 

domainEnglishFormat.kif

@@ -38163,7 +38163,9 @@
 (termFormat ChineseLanguage MobileFoodServices "移动食品服务")
 ;; (termFormat JapaneseLanguage MobileFoodServices "モバイルフードサービス")
 ;; (termFormat GermanLanguage MobileFoodServices "mobile")
-
+
+(termFormat EnglishLanguage MobileStructure "mobile structure")
+
 (termFormat EnglishLanguage MobileResidence "mobile residence")
 (termFormat ChineseTraditionalLanguage MobileResidence "移動住宅")
 (termFormat ChineseLanguage MobileResidence "移动住宅")