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

Formal Language: 



KB Term:  Term intersection
English Word: 

  routeBetween

Sigma KEE - routeBetween
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 之間的路線, 1 and 公交專用道
(domain routeBetween 2 Region) Transportation.kif 2904-2904 之間的路線, 2 and Region
(domain routeBetween 3 Region) Transportation.kif 2905-2905 之間的路線, 3 and Region
(instance routeBetween TernaryPredicate) Transportation.kif 2902-2902 之間的路線 and TernaryPredicate

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