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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 providesDestination 的 1 数量 是 运输公司instance
(domain providesDestination 2 Region) Transportation.kif 3396-3396 providesDestination 的 2 数量 是 地区instance
(instance providesDestination BinaryPredicate) Transportation.kif 3394-3394 providesDestination二元谓语instance

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 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