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

Formal Language: 



KB Term:  Term intersection
English Word: 

  providesDestination

Sigma KEE - providesDestination
providesDestination

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


(documentation providesDestination EnglishLanguage "(providesDestination ?TC ?REG) means TransportationCompany, ?TC, provides possible Transportation to Region ?REG.") Transportation.kif 3397-3398
(domain providesDestination 1 TransportationCompany) Transportation.kif 3395-3395
(domain providesDestination 2 Region) Transportation.kif 3396-3396
(instance providesDestination BinaryPredicate) Transportation.kif 3394-3394

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


(format ChineseLanguage providesDestination "%1 provides transportation 對於 %2 ") domainEnglishFormat.kif 4270-4270
(format ChineseTraditionalLanguage providesDestination "%1 provides transportation 對於 %2 ") domainEnglishFormat.kif 4269-4269
(format EnglishLanguage providesDestination "%1 provides transportation to %2") domainEnglishFormat.kif 4268-4268
(termFormat EnglishLanguage providesDestination "provides destination") Transportation.kif 3399-3399

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


(=>
    (providesDestination ?TC ?REG)
    (modalAttribute
        (exists (?SVC)
            (and
                (instance ?SVC TransportationService)
                (serviceProvider ?SVC ?TC)
                (destination ?SVC ?REG))) Possibility))
Transportation.kif 3401-3408


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 is open source software produced by Articulate Software and its partners