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 3375-3376
(domain providesDestination 1 TransportationCompany) Transportation.kif 3373-3373
(domain providesDestination 2 Region) Transportation.kif 3374-3374
(instance providesDestination BinaryPredicate) Transportation.kif 3372-3372

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


(format ChineseLanguage providesDestination "%1 provides transportation 對於 %2 ") domainEnglishFormat.kif 4279-4279
(format ChineseTraditionalLanguage providesDestination "%1 provides transportation 對於 %2 ") domainEnglishFormat.kif 4278-4278
(format EnglishLanguage providesDestination "%1 provides transportation to %2") domainEnglishFormat.kif 4277-4277
(termFormat EnglishLanguage providesDestination "provides destination") Transportation.kif 3377-3377

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


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


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