Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Drunk
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 3640-3642
(
domain
routeBetween
1
Transitway
)
Transportation.kif 3637-3637
The number 1 argument of
route between
is an
instance
of
transitway
(
domain
routeBetween
2
Region
)
Transportation.kif 3638-3638
The number 2 argument of
route between
is an
instance
of
region
(
domain
routeBetween
3
Region
)
Transportation.kif 3639-3639
The number 3 argument of
route between
is an
instance
of
region
(
instance
routeBetween
TernaryPredicate
)
Transportation.kif 3636-3636
route between
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
routeBetween
"%1 %n{不}
ro
ute 对于 %3 在 %2 之间")
domainEnglishFormat.kif 2187-2187
(
format
ChineseTraditionalLanguage
routeBetween
"%1 %n{不}
ro
ute 對於 %3 在 %2 之間")
domainEnglishFormat.kif 2186-2186
(
format
EnglishLanguage
routeBetween
"%1 %n{doesn't}
ro
ute between %2 for %3")
domainEnglishFormat.kif 2185-2185
(
termFormat
ChineseLanguage
routeBetween
"之间的路线")
domainEnglishFormat.kif 50538-50538
(
termFormat
ChineseTraditionalLanguage
routeBetween
"之間的路線")
domainEnglishFormat.kif 50537-50537
(
termFormat
EnglishLanguage
routeBetween
"route between")
domainEnglishFormat.kif 50536-50536
consequent
(=>
(
instance
?J
TransitwayJunction
)
(
exists
(?W1 ?A ?B ?W2 ?X ?Y)
(
and
(
instance
?W1
Transitway
)
(
routeBetween
?W1 ?A ?B)
(
instance
?W2
Transitway
)
(
routeBetween
?W2 ?X ?Y)
(
not
(
equal
?W1 ?W2))
(
betweenOnPath
?A ?J ?B ?W1)
(
betweenOnPath
?X ?J ?Y ?W2)
(
connects
?J ?W1 ?W2))))
Transportation.kif 3808-3820
If
an object
is an
instance
of
transitway junction
,
then there exist
a transitway
,
a region
,, ,
another region
,, ,
another transitway
,, ,
a third region
and
a fourth region
such that
the transitway
is an
instance
of
transitway
and
the transitway
route
between
the region
for
the other region
and
the other transitway
is an
instance
of
transitway
and
the other transitway
route
between
the third region
for
the fourth region
and
equal
the transitway
and
the other transitway
and
the object
is
between
the region
and
the other region
on path
the transitway
and
the object
is
between
the third region
and
the fourth region
on path
the other transitway
and
the object
connect
s
the transitway
and
the other transitway
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