TripFn |
appearance as argument number 1 |
(documentation TripFn EnglishLanguage "(TripFn ?VEHICLE) denotes the subclass of Transportation events in which a particular TransportationDevice ?VEHICLE is the vehicle. Contrast this function with TransportationFn, which is used to denote transportation events by a specific kind of vehicle.") | Transportation.kif 1585-1589 | |
(domain TripFn 1 Vehicle) | Transportation.kif 1583-1583 | |
(instance TripFn UnaryFunction) | Transportation.kif 1582-1582 | |
(rangeSubclass TripFn Transportation) | Transportation.kif 1584-1584 |
appearance as argument number 2 |
(format ChineseLanguage TripFn "%1 的 trip ") | domainEnglishFormat.kif 2555-2555 | |
(format ChineseTraditionalLanguage TripFn "%1 的 trip ") | domainEnglishFormat.kif 2554-2554 | |
(format EnglishLanguage TripFn "the trip of %1") | domainEnglishFormat.kif 2553-2553 | |
(termFormat ChineseLanguage TripFn "旅") | domainEnglishFormat.kif 59222-59222 | |
(termFormat ChineseTraditionalLanguage TripFn "旅") | domainEnglishFormat.kif 59221-59221 | |
(termFormat EnglishLanguage TripFn "trip") | domainEnglishFormat.kif 59220-59220 |
antecedent |
(=> (and (instance ?VEHICLE TransportationDevice) (instance ?TRIP (TripFn ?VEHICLE))) (instrument ?TRIP ?VEHICLE)) |
Transportation.kif 1591-1595 |
consequent |
(=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (greaterThan ?AMOUNT ?DRAFT)) (capability (TripFn ?SHIP) path ?WATERWAY)) |
Transportation.kif 2653-2658 | |
(=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 2660-2665 | |
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY)) |
Transportation.kif 2637-2643 |