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 2957-2959
(
domain
routeBetween
1
Transitway
)
Transportation.kif 2954-2954
(
domain
routeBetween
2
Region
)
Transportation.kif 2955-2955
(
domain
routeBetween
3
Region
)
Transportation.kif 2956-2956
(
instance
routeBetween
TernaryPredicate
)
Transportation.kif 2953-2953
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 50536-50536
(
termFormat
ChineseTraditionalLanguage
routeBetween
"之間的路線")
domainEnglishFormat.kif 50535-50535
(
termFormat
EnglishLanguage
routeBetween
"route between")
domainEnglishFormat.kif 50534-50534
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