(=>
(and
(navigableForShippingTonnage ?WATERWAY
(MeasureFn ?TONNAGE LongTon))
(instance ?VESSEL WaterVehicle)
(vesselDisplacement ?VESSEL
(MeasureFn ?DWT LongTon))
(lessThanOrEqualTo ?DWT ?TONNAGE))
(capability
(TripFn ?VESSEL) path ?WATERWAY)) |
Transportation.kif 3711-3717 |
If X long ton(s) is a navigable for shipping tonnage of Y, Z is an instance of water vehicle, W long ton(s) is a vessel displacement of Z, and W is less than or equal to X, then Y is capable of doing the trip of Z as a path |
(=>
(and
(navigableForDraft ?WATERWAY
(MeasureFn ?AMOUNT Meter))
(ladenDraft ?SHIP
(MeasureFn ?DRAFT Meter))
(greaterThan ?AMOUNT ?DRAFT))
(capability
(TripFn ?SHIP) path ?WATERWAY)) |
Transportation.kif 3727-3732 |
If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is greater than Z, then Y is capable of doing the trip of W as a path |
(=>
(and
(navigableForDraft ?WATERWAY
(MeasureFn ?AMOUNT Meter))
(ladenDraft ?SHIP
(MeasureFn ?DRAFT Meter))
(lessThanOrEqualTo ?AMOUNT ?DRAFT))
(not
(capability
(TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 3734-3739 |
If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is less than or equal to Z, then Y is not capable of doing the trip of W as a path |
