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 1585-1589
(domain TripFn 1 Vehicle) Transportation.kif 1583-1583 Il numero 1 argomenti di TripFn è un istanza di Vehicle
(instance TripFn UnaryFunction) Transportation.kif 1582-1582 TripFn è un' istanza di FunzioneUnaria
(rangeSubclass TripFn Transportation) Transportation.kif 1584-1584 I valori resi da TripFn sono sottoclassi diTrasporto

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 59224-59224
(termFormat ChineseTraditionalLanguage TripFn "旅") domainEnglishFormat.kif 59223-59223
(termFormat EnglishLanguage TripFn "trip") domainEnglishFormat.kif 59222-59222

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 2698-2703
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))		 Transportation.kif 2705-2710
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))		 Transportation.kif 2682-2688


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