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
(instance TransportationFn UnaryFunction) Transportation.kif 1694-1694
(rangeSubclass TransportationFn Transportation) Transportation.kif 1696-1696

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 59002-59002
(termFormat ChineseTraditionalLanguage TransportationFn "運輸") domainEnglishFormat.kif 59001-59001
(termFormat EnglishLanguage TransportationFn "transportation") domainEnglishFormat.kif 59000-59000

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