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
crosses
Sigma KEE - crosses
crosses
appearance as argument number 1
(
disjointRelation
crosses
connected
)
Merge.kif 4225-4225
crosses
and
connected
are
disjoint
(
documentation
crosses
ChineseLanguage
"(crosses ?OBJ1 ?OBJ2) 的意思是
Object
?OBJ1
traverses
物体 ?OBJ2,但是并没有和它
connected
。")
chinese_format.kif 2127-2128
crosses
and
connected
are
disjoint
(
documentation
crosses
EnglishLanguage
"(crosses ?OBJ1 ?OBJ2) means that
Object
?OBJ1
traverses
Object ?OBJ2, without being
connected
to it.")
Merge.kif 4227-4229
crosses
and
connected
are
disjoint
(
documentation
crosses
JapaneseLanguage
"(crosses ?OBJ1 ?OBJ2) とは、
Object
?OBJ1 が Object ?OBJ2 に 接続させれずに
traverses
。")
japanese_format.kif 782-783
crosses
and
connected
are
disjoint
(
domain
crosses
1
Object
)
Merge.kif 4221-4221
The number 1 argument of
crosses
is an
instance
of
object
(
domain
crosses
2
Object
)
Merge.kif 4222-4222
The number 2 argument of
crosses
is an
instance
of
object
(
instance
crosses
AsymmetricRelation
)
Merge.kif 4223-4223
crosses
is an
instance
of
asymmetric relation
(
instance
crosses
TransitiveRelation
)
Merge.kif 4224-4224
crosses
is an
instance
of
transitive relation
(
subrelation
crosses
traverses
)
Merge.kif 4220-4220
crosses
is a
subrelation
of
traverses
appearance as argument number 2
(
format
ChineseLanguage
crosses
"%1 %n{doesn't}
crosses
%2")
chinese_format.kif 205-205
(
format
EnglishLanguage
crosses
"%1 %n{doesn't} crosse%p{s} %2")
english_format.kif 206-206
(
format
FrenchLanguage
crosses
"%1 %n{ne} croise %n{pas} %2")
french_format.kif 122-122
(
format
ItalianLanguage
crosses
"%1 incrocia %2")
relations-it.txt 62-62
(
format
JapaneseLanguage
crosses
"%1 は %2 を crosse%p{s} %n{ない}")
japanese_format.kif 1951-1951
(
format
PortugueseLanguage
crosses
"%1 %n{nao} cruza %n %2")
portuguese_format.kif 74-74
(
format
cb
crosses
"%1 mingtabok %2")
relations-cb.txt 96-96
(
format
de
crosses
"%1 kreuzt %2")
relations-de.txt 264-264
(
format
hi
crosses
"%1 %2 ko paara karataa hai")
relations-hindi.txt 103-103
(
format
ro
crosses
"%1 %n{nu-l} crosse%t{traverseazã} pe %2")
relations-ro.kif 141-141
(
format
sv
crosses
"%1 korsar %n{inte} %2")
relations-sv.txt 127-127
(
format
tg
crosses
"%1 tumatawid %2")
relations-tg.txt 140-140
(
termFormat
ChineseLanguage
crosses
"十字架")
domainEnglishFormat.kif 17883-17883
(
termFormat
ChineseLanguage
crosses
"横过")
chinese_format.kif 206-206
(
termFormat
ChineseTraditionalLanguage
crosses
"十字架")
domainEnglishFormat.kif 17882-17882
(
termFormat
EnglishLanguage
crosses
"crosses")
domainEnglishFormat.kif 17881-17881
(
termFormat
de
crosses
"kreuzt")
terms-de.txt 84-84
(
termFormat
tg
crosses
"tumatawid")
relations-tg.txt 141-141
consequent
(=>
(
instance
?C
Chain
)
(
exists
(?CL1 ?CL2 ?CL3)
(
and
(
instance
?CL1
ChainLink
)
(
instance
?CL2
ChainLink
)
(
instance
?CL3
ChainLink
)
(
not
(
equal
?CL1 ?CL2))
(
not
(
equal
?CL2 ?CL3))
(
not
(
equal
?CL3 ?CL1))
(
crosses
?CL1 ?CL2)
(
crosses
?CL2 ?CL3)
(
not
(
crosses
?CL1 ?CL3)))))
Cars.kif 4452-4468
If
an entity
is an
instance
of
chain
,
then there exist
the entity
L1,
the entity
L2 and
the entity
L3 such that
the entity
L1 is an
instance
of
chain link
and
the entity
L2 is an
instance
of
chain link
and
the entity
L3 is an
instance
of
chain link
and
equal
the entity
L1 and
the entity
L2 and
equal
the entity
L2 and
the entity
L3 and
equal
the entity
L3 and
the entity
L1 and
the entity
L1
crosse
s
the entity
L2 and
the entity
L2
crosse
s
the entity
L3 and
the entity
L1 doesn't
crosse
the entity
L3
(=>
(
traverses
?OBJ1 ?OBJ2)
(
or
(
crosses
?OBJ1 ?OBJ2)
(
penetrates
?OBJ1 ?OBJ2)))
Merge.kif 4214-4218
If
an object
traverse
s
another object
,
then
the object
crosse
s
the other object
or
the object
penetrate
s
the other object
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