Skip to content

Commit

Permalink
Merge pull request #388 from ontologyportal/J20240823
Browse files Browse the repository at this point in the history 
added more terms and axioms to ShipContainer
  • Loading branch information
@apease
apease authored Aug 29, 2024
2 parents b3c8175 + 05cd88c commit 7833be2
Showing 1 changed file with 178 additions and 4 deletions.
182 changes: 178 additions & 4 deletions development/Transport_2024.kif
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand All @@ -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
Expand All @@ -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
Expand All @@ -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.
Expand All @@ -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
Expand All @@ -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
Expand All @@ -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
Expand Down

0 comments on commit 7833be2

Please sign in to comment.