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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - routeBetween

appearance as argument number 1

(documentation routeBetween EnglishLanguage "(routeBetween ?ROUTE ?FROM ?TO) means that the Transitway ?ROUTE is a route between the place ?FROM and the place ?TO.") Transportation.kif 2906-2908
(domain routeBetween 1 Transitway) Transportation.kif 2903-2903
(domain routeBetween 2 Region) Transportation.kif 2904-2904
(domain routeBetween 3 Region) Transportation.kif 2905-2905
(instance routeBetween TernaryPredicate) Transportation.kif 2902-2902

appearance as argument number 2

(format ChineseLanguage routeBetween "%1 %n{不} route 对于 %3 在 %2 之间") domainEnglishFormat.kif 2183-2183
(format ChineseTraditionalLanguage routeBetween "%1 %n{不} route 對於 %3 在 %2 之間") domainEnglishFormat.kif 2182-2182
(format EnglishLanguage routeBetween "%1 %n{doesn't} route between %2 for %3") domainEnglishFormat.kif 2181-2181
(termFormat ChineseLanguage routeBetween "之间的路线") domainEnglishFormat.kif 50534-50534
(termFormat ChineseTraditionalLanguage routeBetween "之間的路線") domainEnglishFormat.kif 50533-50533
(termFormat EnglishLanguage routeBetween "route between") domainEnglishFormat.kif 50532-50532

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