Merge remote-tracking branch 'origin/master'

development/Transport_2024.kif

@@ -13,7 +13,7 @@
 ;; Ogunquit, Maine, October 17-19, 2001.  See also www.ontologyportal.org 
 ;;		 
 ;;
-;;Author: Jennie Pease
+;;Articulate Software
 ;;Created: 9th July 2024
 ;;
 ;;---------------------------------------------------------------------------------------------------------
@@ -30,7 +30,7 @@ connecting &%Runways  with aprons, hangars, terminals and other facilities. [Wik
 
 (=>
   (instance ?T Taxiway)
-  (existed (?A)
+  (exists (?A)
     (and
       (instance ?A Airport)
       (located ?T ?A))))
@@ -70,6 +70,59 @@ aircrafts are parked, unloaded or loaded, refueled, boarded, or maintained.[Wiki
         (instance ?K Keeping)
         (patient ?K ?P)
         (destination ?K ?AA)))))
+
+;; Facility
+(subclass Facility GeographicArea)
+(documentation Facility EnglishLanguage "A &%Facility is a place for doing 
+something, or a place that facilitates an activity.[Wikipedia]")
+(termFormat EnglishLanguage Facility "Facility")
+(typicalPart StationaryArtifact Facility)
+
+(=>
+  (instance ?F Facility)
+  (hasPurpose ?F
+    (exists (?P)
+      (and
+        (instance ?P Process)
+        (eventLocated ?P ?F)))))
+
+;; Base
+(subclass MilitaryBase GeographicArea)
+(documentation MilitaryBase EnglishLanguage "A &%MilitaryBase is a facility directly owned and 
+operated by or for the military or one of its branches that shelters military equipment and personnel, 
+and facilitates training and operations.[1] A military base always provides accommodations for one or 
+more units, but it may also be used as a command center, training ground or proving ground.[Wikipedia]")
+(termFormat EnglishLanguage MilitaryBase "military base")        
+(typicalPart MilitaryInstallation MilitaryBase)
+(typicalPart EducationalFacility MilitaryBase)
+
+(=>
+  (instance ?B MilitaryBase)
+  (exists (?F)
+    (and
+      (instance ?F MilitaryForce)
+      (possesses ?F ?B))))
+
+(=>
+  (instance ?B MilitaryBase)
+  (exists (?H)
+    (and
+      (instance ?H Human)
+      (attribute ?H MilitaryPerson)
+      (inhabits ?H ?B))))    
+
+;; Campus
+(subclass EducationalCampus GeographicArea)
+(documentation EducationalCampus EnglishLanguage "An &%EducationalCampus is the land on which 
+a college or &%University and related institutional buildings are situated.[Wikipedia]")
+(termFormat EnglishLanguage EducationalCampus "educational campus")
+
+(=>
+  (instance ?C EducationalCampus)
+    (exists (?F)
+      (and
+        (instance ?F EducationalFacility)
+        (part ?F ?C))))     
 
 ;; MTBF
 (instance MTBFFn UnaryFunction)