diff --git a/development/Transport_2024.kif b/development/Transport_2024.kif index dca9b6fa..5a585f98 100644 --- a/development/Transport_2024.kif +++ b/development/Transport_2024.kif @@ -416,14 +416,41 @@ high cube - 9 feet 6 inches (2.90 m) and half-height - 4 feet 3 inches (1.30 m). (MeasureFn 20 FootLength)) (width ?T (MeasureFn 8 FootLength)))) - + (=> (defaultMeasure TwentyFtContainer (MeasureFn ?X Kilogram)) (and (greaterThanOrEqualTo ?X 1800) - (lessThanOrEqualTo ?X 2400))) + (lessThanOrEqualTo ?X 2400))) + +(defaultMaximumMeasure TwentyFtContainer + (MeasureFn 24000 Kilogram)) +(=> + (and + (instance ?T TwentyFtContainer) + (attribute ?T Dry)) + (capacity ?T + (MeasureFn 21600 Kilogram))) + +(=> + (and + (instance ?T ShipContainer) + (capacity ?T + (MeasureFn ?X ?U)) + (instance ?X UnitOfMass) + (contains ?T ?O) + (weight ?O + (MeasureFn ?Y ?U)) + (lessThan ?Y ?X)) + (modalAttribute + (not + (exists (?D) + (and + (instance ?D Damaging) + (patient ?D ?T)))) Likely)) + (subclass TwentyFtStandardContainer TwentyFtContainer) (documentation TwentyFtStandardContainer EnglishLanguage "The &%TwentyFtStandardContainer is the most common twenty-foot container. It occupies a space of 20 feet (6.1 m) long, @@ -435,6 +462,51 @@ is the most common twenty-foot container. It occupies a space of 20 feet (6.1 m) (height ?T (MeasureFn 102 Inch))) +(=> + (instance ?X TwentyFtStandardContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (instance ?X TwentyFtStandardContainer) + (measure ?X (MeasureFn 1172 CubicFoot))) + +(subclass TwentyFtHeavyDutyContainer TwentyFtContainer) +(documentation TwentyFtHeavyDutyContainer EnglishLanguage "The &%TwentyFtHeavyDutyContainer +is a twenty-foot heavy duty container for carrying heavy goods such as heavy machinery. +It occupies the same space as a &%TwentyFtStandardContainer of 20 feet (6.1 m) long, +8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. These containers allow a maximum +weight of 67,200 pounds (30,500 kg), an empty weight of 5,290 pounds (2,400 kg), and a net +load of 61,910 pounds (28,080 kg).[Wikipedia]") +(termFormat EnglishLanguage TwentyFtHeavyDutyContainer "twenty foot heavy duty container") + +(=> + (instance ?T TwentyFtHeavyDutyContainer) + (hasPurpose ?T + (exists (?O ?X) + (and + (instance ?O Object) + (contains ?T ?O) + (measure ?O + (MeasureFn ?X Kilogram)) + (greaterThan ?X 21600) + (lessThanOrEqualTo ?X 28080))))) + +(defaultMaximumMeasure TwentyFtHeavyDutyContainer + (MeasureFn 30500 Kilogram)) + +(=> + (instance ?T TwentyFtHeavyDutyContainer) + (height ?T + (MeasureFn 102 Inch))) + +(=> + (instance ?X TwentyFtHeavyDutyContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (instance ?X TwentyFtHeavyDutyContainer) + (measure ?X (MeasureFn 1172 CubicFoot))) + (subclass TwentyFtHighcubeContainer TwentyFtContainer) (documentation TwentyFtHighcubeContainer EnglishLanguage "A &%TwentyFtHighcubeContainer is one foot taller than the &%TwentyFtStandardContainer. It occupies a space of 20 @@ -444,7 +516,15 @@ feet (6.1 m) long, 8 feet (2.44 m) wide, and 9 feet 6 inches (2.90 m) high. [Wik (=> (instance ?T TwentyFtHighcubeContainer) (height ?T - (MeasureFn 114 Inch))) + (MeasureFn 114 Inch))) + +(=> + (instance ?X TwentyFtHighcubeContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (instance ?X TwentyFtHighcubeContainer) + (measure ?X (MeasureFn 1520 CubicFoot))) (subclass TwentyFtHalfHeightContainer TwentyFtContainer) (documentation TwentyFtHalfHeightContainer EnglishLanguage "A &%TwentyFtHalfHeightContainer is @@ -455,7 +535,15 @@ feet (6.1 m) long, 8 feet (2.44 m) wide, and 4 feet 3 inches (1.3 m) high. [Wiki (=> (instance ?T TwentyFtHalfHeightContainer) (height ?T - (MeasureFn 53 Inch))) + (MeasureFn 53 Inch))) + +(=> + (instance ?X TwentyFtHalfHeightContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (instance ?X TwentyFtHalfHeightContainer) + (measure ?X (MeasureFn 680 CubicFoot))) (subclass FortyFtContainer ShipContainer) (documentation FortyFtContainer EnglishLanguage "A &%FortyFtContainer is another standard &%ShipContainer. @@ -477,7 +565,17 @@ feet (12.2 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wi (and (greaterThanOrEqualTo ?X 2800) (lessThanOrEqualTo ?X 4000))) + +(defaultMaximumMeasure FortyFtContainer + (MeasureFn 30480 Kilogram)) +(=> + (and + (instance ?T FortyFtContainer) + (attribute ?T Dry)) + (capacity ?T + (MeasureFn 26480 Kilogram))) + (subclass FortyFtStandardContainer FortyFtContainer) (documentation FortyFtStandardContainer EnglishLanguage "A &%FortyFtStandardContainer is most common forty-foot container. It occupies a space of 40 feet (12.2 m) long, 8 feet @@ -488,7 +586,15 @@ is most common forty-foot container. It occupies a space of 40 feet (12.2 m) lon (instance ?T FortyFtStandardContainer) (height ?T (MeasureFn 102 Inch))) + +(=> + (instance ?X FortyFtStandardContainer) + (measure ?X (MeasureFn 2 TEU))) +(=> + (instance ?X FortyFtStandardContainer) + (measure ?X (MeasureFn 2389 CubicFoot))) + (subclass FortyFtHighcubeContainer FortyFtContainer) (documentation FortyFtHighcubeContainer EnglishLanguage "A &%FortyFtHighcubeContainer is one foot taller than the standard &%FortyFtContainer. It occupies a space of 40 @@ -511,6 +617,74 @@ feet (12.2 m) long, 8 feet (2.44 m) wide, and 4 feet 3 inches (1.3 m) high. [Wik (height ?T (MeasureFn 53 Inch))) +(subclass FortyfiveFtContainer ShipContainer) +(documentation FortyfiveFtContainer EnglishLanguage "A &%FortyfiveFtContainer may be pulled as +a trailer in Europe and most other places. It occupies a space of 45 feet (13.72 m) long, 8 feet +(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") +(termFormat EnglishLanguage FortyfiveFtContainer "forty five foot container") + +(=> + (instance ?T FortyfiveFtContainer) + (and + (length ?T + (MeasureFn 45 FootLength)) + (height ?T + (MeasureFn 102 Inch)) + (width ?T + (MeasureFn 8 FootLength)))) + +(=> + (instance ?X FortyfiveFtContainer) + (measure ?X (MeasureFn 2 TEU))) + +(subclass FortyeightFtContainer ShipContainer) +(documentation FortyeightFtContainer EnglishLanguage "A &%FortyeightFtContainer is restricted +to road and rail transport in North America. It occupies a space of 48 feet (14.6 m) long, 8 feet +(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") +(termFormat EnglishLanguage FortyeightFtContainer "forty eight foot container") + +(=> + (instance ?T FortyeightFtContainer) + (and + (length ?T + (MeasureFn 48 FootLength)) + (height ?T + (MeasureFn 102 Inch)) + (width ?T + (MeasureFn 8 FootLength)))) + +(=> + (instance ?X FortyeightFtContainer) + (measure ?X (MeasureFn 2.4 TEU))) + +(=> + (instance ?X FortyeightFtContainer) + (measure ?X (MeasureFn 3264 CubicFoot))) + +(subclass FiftythreeFtContainer ShipContainer) +(documentation FiftythreeFtContainer EnglishLanguage "A &%FiftythreeFtContainer is restricted +to road and rail transport in North America. It occupies a space of 53 feet (16.2 m) long, 8 feet +(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") +(termFormat EnglishLanguage FiftythreeFtContainer "fifty three foot container") + +(=> + (instance ?T FiftythreeFtContainer) + (and + (length ?T + (MeasureFn 53 FootLength)) + (height ?T + (MeasureFn 102 Inch)) + (width ?T + (MeasureFn 8 FootLength)))) + +(=> + (instance ?X FiftythreeFtContainer) + (measure ?X (MeasureFn 2.65 TEU))) + +(=> + (instance ?X FiftythreeFtContainer) + (measure ?X (MeasureFn 3604 CubicFoot))) + (instance TEU UnitOfVolume) (documentation TEU EnglishLanguage "&%TEU (twenty-foot equivalent unit) is a general unit of cargo capacity, often used for container ships and container ports. It is based on