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 4540-4541
(domain providesDestination 1 TransportationCompany) Transportation.kif 4538-4538 The number 1 argument of provides destination is an instance of transportation company
(domain providesDestination 2 Region) Transportation.kif 4539-4539 The number 2 argument of provides destination is an instance of region
(instance providesDestination BinaryPredicate) Transportation.kif 4537-4537 provides destination is an instance of binary predicate

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


(format ChineseLanguage providesDestination "%1 provides transportation 對於 %2 ") domainEnglishFormat.kif 4274-4274
(format ChineseTraditionalLanguage providesDestination "%1 provides transportation 對於 %2 ") domainEnglishFormat.kif 4273-4273
(format EnglishLanguage providesDestination "%1 provides transportation to %2") domainEnglishFormat.kif 4272-4272
(termFormat EnglishLanguage providesDestination "provides destination") Transportation.kif 4542-4542

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


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


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