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 | The number 1 argument of trip is an instance of vehicle |
(instance TripFn UnaryFunction) | Transportation.kif 1582-1582 | Trip is an instance of unary function |
(rangeSubclass TripFn Transportation) | Transportation.kif 1584-1584 | The values returned by trip are subclasses of transportation |
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 |