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 2913-2915
(domain routeBetween 1 Transitway) Transportation.kif 2910-2910 之间的路线 的 1 数量 是 公交专用道instance
(domain routeBetween 2 Region) Transportation.kif 2911-2911 之间的路线 的 2 数量 是 地区instance
(domain routeBetween 3 Region) Transportation.kif 2912-2912 之间的路线 的 3 数量 是 地区instance
(instance routeBetween TernaryPredicate) Transportation.kif 2909-2909 之间的路线三元谓语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 50517-50517
(termFormat ChineseTraditionalLanguage routeBetween "之間的路線") domainEnglishFormat.kif 50516-50516
(termFormat EnglishLanguage routeBetween "route between") domainEnglishFormat.kif 50515-50515


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