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 4212-4214
(
documentation
penetrates
JapaneseLanguage
"(penetrates ?OBJ1 ?OBJ2) とは、?OBJ1 が少なくとも 1つの寸法 (長さ、幅、または深さ) に沿って OBJ2 に対して
connected
ことを意味する。")
japanese_format.kif 784-785
(
instance
penetrates
AsymmetricRelation
)
Merge.kif 4208-4208
penetrates
is an
instance
of
asymmetric relation
(
instance
penetrates
IntransitiveRelation
)
Merge.kif 4209-4209
penetrates
is an
instance
of
intransitive relation
(
instance
penetrates
PartialValuedRelation
)
Merge.kif 4210-4210
penetrates
is an
instance
of
partial valued relation
(
subrelation
penetrates
traverses
)
Merge.kif 4207-4207
penetrates
is a
subrelation
of
traverses
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 45020-45020
(
termFormat
ChineseLanguage
penetrates
"穿过")
chinese_format.kif 218-218
(
termFormat
ChineseTraditionalLanguage
penetrates
"滲透")
domainEnglishFormat.kif 45019-45019
(
termFormat
EnglishLanguage
penetrates
"penetrates")
domainEnglishFormat.kif 45018-45018
(
termFormat
de
penetrates
"dringtEin")
terms-de.txt 90-90
antecedent
(=>
(
penetrates
?X ?Y)
(
meetsSpatially
?X ?Y))
Merge.kif 4216-4218
If
an object
penetrate
s
another object
,
then
the object
meet
s
the other object
consequent
(=>
(
instance
?Cape
Cape
)
(
exists
(?WaterRegion)
(
and
(
instance
?WaterRegion
WaterArea
)
(
penetrates
?Cape ?WaterRegion))))
Geography.kif 5811-5816
If
an object
is an
instance
of
cape
,
then there exists
another object
such that
the other object
is an
instance
of
water area
and
the object
penetrate
s
the other object
(=>
(
instance
?INLET
Inlet
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
penetrates
?INLET ?LAND))))
Geography.kif 5225-5230
If
an object
is an
instance
of
inlet
,
then there exists
another object
such that
the other object
is an
instance
of
land area
and
the object
penetrate
s
the other object
(=>
(
instance
?Peninsula
Peninsula
)
(
exists
(?Water)
(
and
(
instance
?Water
WaterArea
)
(
penetrates
?Peninsula ?Water))))
Geography.kif 5800-5805
If
an object
is an
instance
of
peninsula
,
then there exists
another object
such that
the other object
is an
instance
of
water area
and
the object
penetrate
s
the other object
(=>
(
traverses
?OBJ1 ?OBJ2)
(
or
(
crosses
?OBJ1 ?OBJ2)
(
penetrates
?OBJ1 ?OBJ2)))
Merge.kif 4192-4196
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