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
penetrates
Sigma KEE - penetrates
penetrates
appearance as argument number 1
(
documentation
penetrates
ChineseLanguage
"(penetrates ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 和 ?OBJ2 起码在一整个维度(长度、阔度或深度)
connected
。")
chinese_format.kif 2129-2130
(
documentation
penetrates
EnglishLanguage
"(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is
connected
to ?OBJ2 along at least one whole dimension (length, width or depth).")
Merge.kif 4211-4213
(
documentation
penetrates
JapaneseLanguage
"(penetrates ?OBJ1 ?OBJ2) とは、?OBJ1 が少なくとも 1つの寸法 (長さ、幅、または深さ) に沿って OBJ2 に対して
connected
ことを意味する。")
japanese_format.kif 784-785
(
instance
penetrates
AsymmetricRelation
)
Merge.kif 4207-4207
(
instance
penetrates
IntransitiveRelation
)
Merge.kif 4208-4208
(
instance
penetrates
PartialValuedRelation
)
Merge.kif 4209-4209
(
subrelation
penetrates
traverses
)
Merge.kif 4206-4206
appearance as argument number 2
(
format
ChineseLanguage
penetrates
"%1 %n{doesn't}
penetrates
%2")
chinese_format.kif 217-217
(
format
EnglishLanguage
penetrates
"%1 %n{doesn't} penetrate%p{s} %2")
english_format.kif 218-218
(
format
FrenchLanguage
penetrates
"%1 %n{ne} p�netre %n{pas} %2")
french_format.kif 128-128
(
format
ItalianLanguage
penetrates
"%1 penetra %2")
relations-it.txt 220-220
(
format
JapaneseLanguage
penetrates
"%1 は %2 を penetrate%p{s} %n{ない}")
japanese_format.kif 1957-1957
(
format
PortugueseLanguage
penetrates
"%1 %n{nao} penetra %n %2")
portuguese_format.kif 80-80
(
format
de
penetrates
"%1 dringt %2 ein")
relations-de.txt 281-281
(
format
hi
penetrates
"%1 %2 kaa vedhana karataa hai")
relations-hindi.txt 258-258
(
format
ro
penetrates
"%1 %n{nu} penetrate%t{penetreazã} %2")
relations-ro.kif 147-147
(
format
sv
penetrates
"%1 penetrerar %n{inte} %2")
relations-sv.txt 133-133
(
format
tg
penetrates
"%1 ay dumuduro sa %2")
relations-tg.txt 412-412
(
termFormat
ChineseLanguage
penetrates
"渗透")
domainEnglishFormat.kif 45018-45018
(
termFormat
ChineseLanguage
penetrates
"穿过")
chinese_format.kif 218-218
(
termFormat
ChineseTraditionalLanguage
penetrates
"滲透")
domainEnglishFormat.kif 45017-45017
(
termFormat
EnglishLanguage
penetrates
"penetrates")
domainEnglishFormat.kif 45016-45016
(
termFormat
de
penetrates
"dringtEin")
terms-de.txt 90-90
antecedent
(=>
(
penetrates
?X ?Y)
(
meetsSpatially
?X ?Y))
Merge.kif 4215-4217
consequent
(=>
(
instance
?Cape
Cape
)
(
exists
(?WaterRegion)
(
and
(
instance
?WaterRegion
WaterArea
)
(
penetrates
?Cape ?WaterRegion))))
Geography.kif 5811-5816
(=>
(
instance
?INLET
Inlet
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
penetrates
?INLET ?LAND))))
Geography.kif 5225-5230
(=>
(
instance
?Peninsula
Peninsula
)
(
exists
(?Water)
(
and
(
instance
?Water
WaterArea
)
(
penetrates
?Peninsula ?Water))))
Geography.kif 5800-5805
(=>
(
traverses
?OBJ1 ?OBJ2)
(
or
(
crosses
?OBJ1 ?OBJ2)
(
penetrates
?OBJ1 ?OBJ2)))
Merge.kif 4191-4195
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