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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 数量 是 公交专用道instance
(domain routeBetween 2 Region) Transportation.kif 2904-2904 之间的路线 的 2 数量 是 地区instance
(domain routeBetween 3 Region) Transportation.kif 2905-2905 之间的路线 的 3 数量 是 地区instance
(instance routeBetween TernaryPredicate) Transportation.kif 2902-2902 之间的路线三元谓语instance

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