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
dringtEin
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
penetrates
IntransitiveRelation
)
Merge.kif 4208-4208
dringtEin
ist ein
fall
von
IntransitiveRelation
%n{nicht}
(
instance
penetrates
PartialValuedRelation
)
Merge.kif 4209-4209
dringtEin
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
subrelation
penetrates
traverses
)
Merge.kif 4206-4206
dringtEin
ist eine
teilrelation
von
ueberquert
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
Wenn
Object
dringt
** Object
ein,
dann
** Object
schliesst
** ** Object
raeumlich an
consequent
(=>
(
instance
?Cape
Cape
)
(
exists
(?WaterRegion)
(
and
(
instance
?WaterRegion
WaterArea
)
(
penetrates
?Cape ?WaterRegion))))
Geography.kif 5811-5816
Wenn
Object
ist ein
fall
von
Cape
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
WaterArea
%n{nicht} und
** Object
dringt
** ** Object
ein
(=>
(
instance
?INLET
Inlet
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
penetrates
?INLET ?LAND))))
Geography.kif 5225-5230
Wenn
Object
ist ein
fall
von
Inlet
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
LandArea
%n{nicht} und
** Object
dringt
** ** Object
ein
(=>
(
instance
?Peninsula
Peninsula
)
(
exists
(?Water)
(
and
(
instance
?Water
WaterArea
)
(
penetrates
?Peninsula ?Water))))
Geography.kif 5800-5805
Wenn
Object
ist ein
fall
von
Peninsula
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
WaterArea
%n{nicht} und
** Object
dringt
** ** Object
ein
(=>
(
traverses
?OBJ1 ?OBJ2)
(
or
(
crosses
?OBJ1 ?OBJ2)
(
penetrates
?OBJ1 ?OBJ2)))
Merge.kif 4191-4195
Wenn
Object
ueberquert
** Object
,
dann
** Object
kreuzt
** ** Object
oder
** Object
dringt
** ** Object
ein
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