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 2547-2547
(format ChineseTraditionalLanguage TransportationFn "%1 的 transportation ") domainEnglishFormat.kif 2546-2546
(format EnglishLanguage TransportationFn "the transportation of %1") domainEnglishFormat.kif 2545-2545
(termFormat ChineseLanguage TransportationFn "运输") domainEnglishFormat.kif 59031-59031
(termFormat ChineseTraditionalLanguage TransportationFn "運輸") domainEnglishFormat.kif 59030-59030
(termFormat EnglishLanguage TransportationFn "transportation") domainEnglishFormat.kif 59029-59029

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 2462-2467


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