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
traverses
Sigma KEE - traverses
traverses
appearance as argument number 1
(
documentation
traverses
ChineseLanguage
"(
traverses
?OBJ1 ?OBJ2) 的意思是 ?OBJ1 横过或者 是延伸跨越跨 ?OBJ2. 注:
crosses
和
penetrates
是
traverses
的子类别。")
chinese_format.kif 2125-2126
(
documentation
traverses
EnglishLanguage
"(
traverses
?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that
crosses
and
penetrates
are subrelations of
traverses
.")
Merge.kif 4187-4189
(
documentation
traverses
JapaneseLanguage
"(
traverses
?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2を 横切るか、または延長することを意味する。 注:
crosses
と
penetrates
は
traverses
のサブ リレーションである。")
japanese_format.kif 779-781
(
domain
traverses
1
Object
)
Merge.kif 4184-4184
traverses
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
traverses
2
Object
)
Merge.kif 4185-4185
traverses
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
traverses
BinaryPredicate
)
Merge.kif 4182-4182
traverses
は
2進述語
の
instance
では %n
(
instance
traverses
SpatialRelation
)
Merge.kif 4183-4183
traverses
は
空間的関係
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
traverses
"%1 %n{doesn't}
traverses
%2")
chinese_format.kif 245-245
(
format
EnglishLanguage
traverses
"%1 %n{doesn't} traverse%p{s} %2")
english_format.kif 246-246
(
format
FrenchLanguage
traverses
"%1 %n{ne} traverse %n{pas} %2")
french_format.kif 139-139
(
format
ItalianLanguage
traverses
"%1 attraversa %2")
relations-it.txt 303-303
(
format
JapaneseLanguage
traverses
"%1 は %2 を traverse%p{s} %n{ない}")
japanese_format.kif 1971-1971
(
format
PortugueseLanguage
traverses
"%1 %n{nao} traversa %n %2")
portuguese_format.kif 91-91
(
format
de
traverses
"%1 ueberquert %2")
relations-de.txt 314-314
(
format
hi
traverses
"%1 %2 ko cankramaNa karataa hai")
relations-hindi.txt 339-339
(
format
ro
traverses
"%1 %n{nu} traverse%t{traverseazã} %2")
relations-ro.kif 158-158
(
format
sv
traverses
"%1 traverserar %n{inte} %2")
relations-sv.txt 144-144
(
subrelation
crosses
traverses
)
Merge.kif 4197-4197
crosses
は
traverses
の
subrelation
では %n
(
subrelation
penetrates
traverses
)
Merge.kif 4206-4206
penetrates
は
traverses
の
subrelation
では %n
(
termFormat
ChineseLanguage
traverses
"横断")
domainEnglishFormat.kif 59090-59090
(
termFormat
ChineseLanguage
traverses
"横跨")
chinese_format.kif 246-246
(
termFormat
ChineseTraditionalLanguage
traverses
"橫斷")
domainEnglishFormat.kif 59089-59089
(
termFormat
EnglishLanguage
traverses
"traverses")
domainEnglishFormat.kif 59088-59088
(
termFormat
de
traverses
"ueberquert")
terms-de.txt 101-101
antecedent
(=>
(
traverses
?OBJ1 ?OBJ2)
(
or
(
crosses
?OBJ1 ?OBJ2)
(
penetrates
?OBJ1 ?OBJ2)))
Merge.kif 4191-4195
オブジェクト
は
オブジェクト
を
traverse
s %n{ない}
オブジェクト
は
オブジェクト
を
crosse
s %n{ない}
オブジェクト
は
オブジェクト
を
penetrate
s %n{ない}
consequent
(=>
(
holdsDuring
?T
(
attribute
?H
OpenFracture
))
(
exists
(?S ?B)
(
and
(
instance
?S
Skin
)
(
part
?S ?H)
(
instance
?B
Bone
)
(
part
?B ?H)
(
holdsDuring
?T
(
traverses
?B ?S)))))
Medicine.kif 6144-6154
OpenFracture
は
オブジェクト
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
オブジェクト
オブジェクト
は
Skin
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
骨
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
を
traverse
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?B
Basket
)
(
exists
(?WARP ?WEFT)
(
and
(
part
?WARP ?B)
(
part
?WEFT ?B)
(
traverses
?WARP ?WEFT)
(
not
(
equal
?WARP ?WEFT)))))
Mid-level-ontology.kif 4490-4498
オブジェクト
は
Basket
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
を
traverse
s %n{ない}
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
instance
?DAM
Dam
)
(
exists
(?RIVER)
(
and
(
instance
?RIVER
WaterArea
)
(
traverses
?DAM ?RIVER))))
Geography.kif 5617-5622
オブジェクト
は
Dam
の
instance
では %n
オブジェクト
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
オブジェクト
を
traverse
s %n{ない}
(=>
(
instance
?W
Wickering
)
(
hasPurpose
?W
(
exists
(?WICK ?OBJ ?WARP ?WEFT)
(
and
(
instance
?WICK
Wicker
)
(
patient
?W ?WICK)
(
part
?WARP ?WICK)
(
part
?WEFT ?WICK)
(
traverses
?WARP ?WEFT)
(
not
(
equal
?WARP ?WEFT))
(
result
?W ?OBJ)
(
instance
?OBJ
Artifact
)))))
Mid-level-ontology.kif 4607-4620
物理
は
Wickering
の
instance
では %n
物理
は
物理
ICK
エンティティー
,
物理
ARP and
物理
EFT
物理
ICK は
Wicker
の
instance
では %n
物理
ICK は
物理
の
patient
では %n
物理
ARP は
物理
ICK の
part
では %n
物理
EFT は
物理
ICK の
part
では %n
物理
ARP は
物理
EFT を
traverse
s %n{ない}
物理
ARP は
物理
EFT と
equal
では
エンティティー
は
物理
の
result
では %n
エンティティー
は
アーチファクト
の
instance
では %n の 目的 %n{ない}
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