TripFn - Sigma Knowledge base Browser

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 1714-1718
(domain TripFn 1 Vehicle)	Transportation.kif 1712-1712	The number 1 argument of trip is an instance of vehicle
(instance TripFn UnaryFunction)	Transportation.kif 1711-1711	Trip is an instance of unary function
(rangeSubclass TripFn Transportation)	Transportation.kif 1713-1713	The values returned by trip are subclasses of transportation

appearance as argument number 2

(format ChineseLanguage TripFn "%1 的 trip ")	domainEnglishFormat.kif 2551-2551
(format ChineseTraditionalLanguage TripFn "%1 的 trip ")	domainEnglishFormat.kif 2550-2550
(format EnglishLanguage TripFn "the trip of %1")	domainEnglishFormat.kif 2549-2549
(termFormat ChineseLanguage TripFn "旅")	domainEnglishFormat.kif 59235-59235
(termFormat ChineseTraditionalLanguage TripFn "旅")	domainEnglishFormat.kif 59234-59234
(termFormat EnglishLanguage TripFn "trip")	domainEnglishFormat.kif 59233-59233

antecedent

(=>
    (and
        (instance ?VEHICLE TransportationDevice)
        (instance ?TRIP
            (TripFn ?VEHICLE)))
    (instrument ?TRIP ?VEHICLE))

Transportation.kif 1720-1724

If a vehicle is an instance of transportation device and a process is an instance of the trip of the vehicle,
then the vehicle is an instrument for the process

consequent

(=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (greaterThan ?AMOUNT ?DRAFT)) (capability (TripFn ?SHIP) path ?WATERWAY))	Transportation.kif 3181-3186	If a real number meter(s) is a navigable for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is greater than the other real number, then the water area is capable of doing the trip of the water vehicle 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 3188-3193	If a real number meter(s) is a navigable for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is less than or equal to the other real number, then the water area is not capable of doing the trip of the water vehicle as a path
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY))	Transportation.kif 3165-3171	If a real number long ton(s) is a navigable for shipping tonnage of a water area and a water vehicle is an instance of water vehicle and another real number long ton(s) is a vessel displacement of the water vehicle and the other real number is less than or equal to the real number, then the water area is capable of doing the trip of the water vehicle as a path

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: