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

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

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


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


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