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 1568-1570
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1566-1566 Die Zahl 1 Argument von TransportationFn ist eine teilkategorie von TransportationDevice %n{nicht}
(instance TransportationFn UnaryFunction) Transportation.kif 1565-1565 TransportationFn ist ein fall von UnaryFunction %n{nicht}
(rangeSubclass TransportationFn Transportation) Transportation.kif 1567-1567 Die werte die TransportationFn zurueckgibt sind teilkategorien von Transportation

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


(format ChineseLanguage TransportationFn "%1 的 transportation ") domainEnglishFormat.kif 2551-2551
(format ChineseTraditionalLanguage TransportationFn "%1 的 transportation ") domainEnglishFormat.kif 2550-2550
(format EnglishLanguage TransportationFn "the transportation of %1") domainEnglishFormat.kif 2549-2549
(termFormat ChineseLanguage TransportationFn "运输") domainEnglishFormat.kif 59018-59018
(termFormat ChineseTraditionalLanguage TransportationFn "運輸") domainEnglishFormat.kif 59017-59017
(termFormat EnglishLanguage TransportationFn "transportation") domainEnglishFormat.kif 59016-59016

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


(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))		 Transportation.kif 1572-1580
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))		 Transportation.kif 2287-2292


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