Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TripFn
TripFn

appearance as argument number 1
-------------------------


(instance TripFn UnaryFunction) Transportation.kif 1727-1727 Trip is an instance of unary function
(domain TripFn 1 Vehicle) Transportation.kif 1728-1728 The number 1 argument of trip is an instance of vehicle
(rangeSubclass TripFn Transportation) Transportation.kif 1729-1729 The values returned by trip are subclasses of transportation
(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 1730-1734 The values returned by trip are subclasses of transportation

appearance as argument number 2
-------------------------


(format EnglishLanguage TripFn "the trip of %1") domainEnglishFormat.kif 2549-2549
(format ChineseTraditionalLanguage TripFn "%1 的 trip ") domainEnglishFormat.kif 2550-2550
(format ChineseLanguage TripFn "%1 的 trip ") domainEnglishFormat.kif 2551-2551
(termFormat EnglishLanguage TripFn "trip") domainEnglishFormat.kif 59197-59197
(termFormat ChineseTraditionalLanguage TripFn "旅") domainEnglishFormat.kif 59198-59198
(termFormat ChineseLanguage TripFn "旅") domainEnglishFormat.kif 59199-59199

antecedent
-------------------------


(=>
    (and
        (instance ?VEHICLE TransportationDevice)
        (instance ?TRIP
            (TripFn ?VEHICLE)))
    (instrument ?TRIP ?VEHICLE))		 Transportation.kif 1736-1740 If X is an instance of transportation device and Y is an instance of the trip of X, then X is an instrument for Y

consequent
-------------------------


(=>
    (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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners