Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 数量 是
公交专用道
的
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{不}
ro
ute 对于 %3 在 %2 之间")
domainEnglishFormat.kif 2183-2183
(
format
ChineseTraditionalLanguage
routeBetween
"%1 %n{不}
ro
ute 對於 %3 在 %2 之間")
domainEnglishFormat.kif 2182-2182
(
format
EnglishLanguage
routeBetween
"%1 %n{doesn't}
ro
ute 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