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


KB Term:  Term intersection
English Word: 

  TransportationFn

 Sigma KEE - TransportationFn
TransportationFn

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


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

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


(format EnglishLanguage TransportationFn "the transportation of %1") domainEnglishFormat.kif 2545-2545
(format ChineseTraditionalLanguage TransportationFn "%1 的 transportation ") domainEnglishFormat.kif 2546-2546
(format ChineseLanguage TransportationFn "%1 的 transportation ") domainEnglishFormat.kif 2547-2547
(termFormat EnglishLanguage TransportationFn "transportation") domainEnglishFormat.kif 58993-58993
(termFormat ChineseTraditionalLanguage TransportationFn "運輸") domainEnglishFormat.kif 58994-58994
(termFormat ChineseLanguage TransportationFn "运输") domainEnglishFormat.kif 58995-58995

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


(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))		 Transportation.kif 1717-1725 If X is a subclass of transportation device, the transportation of X is a subclass of transportation, and Y is an instance of the transportation of X, then there exists Z such that Z is an instance of X and Z is an instrument for Y
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))		 Transportation.kif 2482-2487 If X is a subclass of water vehicle, Y is an instance of the transportation of X, and Y is located at Z, then Z is an instance of water area


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners