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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransportationFn
TransportationFn

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


(documentation TransportationFn EnglishLanguage "(TransportationFn ?TYPE) denotes the subclass of Transportation events in which a TransportationDevice of ?TYPE is the vehicle.") Transportation.kif 1697-1699
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1695-1695 The number 1 argument of transportation is a subclass of transportation device
(instance TransportationFn UnaryFunction) Transportation.kif 1694-1694 Transportation is an instance of unary function
(rangeSubclass TransportationFn Transportation) Transportation.kif 1696-1696 The values returned by transportation are subclasses of transportation

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


(format ChineseLanguage TransportationFn "%1 的 transportation ") domainEnglishFormat.kif 2543-2543
(format ChineseTraditionalLanguage TransportationFn "%1 的 transportation ") domainEnglishFormat.kif 2542-2542
(format EnglishLanguage TransportationFn "the transportation of %1") domainEnglishFormat.kif 2541-2541
(termFormat ChineseLanguage TransportationFn "运输") domainEnglishFormat.kif 59056-59056
(termFormat ChineseTraditionalLanguage TransportationFn "運輸") domainEnglishFormat.kif 59055-59055
(termFormat EnglishLanguage TransportationFn "transportation") domainEnglishFormat.kif 59054-59054

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


(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))		 Transportation.kif 1701-1709
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))		 Transportation.kif 2456-2461


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