Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TripFn
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 1570-1574
(domain TripFn 1 Vehicle) Transportation.kif 1568-1568
(instance TripFn UnaryFunction) Transportation.kif 1567-1567
(rangeSubclass TripFn Transportation) Transportation.kif 1569-1569

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 59167-59167
(termFormat ChineseTraditionalLanguage TripFn "旅") domainEnglishFormat.kif 59166-59166
(termFormat EnglishLanguage TripFn "trip") domainEnglishFormat.kif 59165-59165

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


(=>
    (and
        (instance ?VEHICLE TransportationDevice)
        (instance ?TRIP
            (TripFn ?VEHICLE)))
    (instrument ?TRIP ?VEHICLE))
Transportation.kif 1576-1580

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


(=>
    (and
        (navigableForDraft ?WATERWAY ?AMOUNT)
        (ladenDraft ?SHIP ?DRAFT)
        (greaterThan ?AMOUNT ?DRAFT))
    (capability
        (TripFn ?SHIP) path ?WATERWAY))
Transportation.kif 2622-2627
(=>
    (and
        (navigableForDraft ?WATERWAY ?AMOUNT)
        (ladenDraft ?SHIP ?DRAFT)
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))
Transportation.kif 2629-2634
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))
Transportation.kif 2606-2612


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners