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
overlapsSpatially
Sigma KEE - overlapsSpatially
overlapsSpatially
appearance as argument number 1
(
documentation
overlapsSpatially
ChineseLanguage
"(
overlapsSpatially
?OBJ1 ?OBJ2)的意思是
Object
s ?OBJ1 和 ?OBJ2 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。")
chinese_format.kif 2830-2831
(
documentation
overlapsSpatially
EnglishLanguage
"(
overlapsSpatially
?OBJ1 ?OBJ2) means that the
Object
s ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation.")
Merge.kif 4039-4041
(
documentation
overlapsSpatially
JapaneseLanguage
"(
overlapsSpatially
?OBJ1 ?OBJ2) とは、
Object
s ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。")
japanese_format.kif 1573-1575
(
instance
overlapsSpatially
ReflexiveRelation
)
Merge.kif 4035-4035
例
在空間上重疊
and
ReflexiveRelation
(
instance
overlapsSpatially
SymmetricRelation
)
Merge.kif 4036-4036
例
在空間上重疊
and
SymmetricRelation
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4034-4034
子關係
在空間上重疊
and
連接的
appearance as argument number 2
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9610-9610
不相交的關係
空間的符合
and
在空間上重疊
(
format
ChineseLanguage
overlapsSpatially
"%1 和 %2 %n 重叠")
chinese_format.kif 367-367
(
format
EnglishLanguage
overlapsSpatially
"%1 and %2 %n{doesn't}
overlapsSpatially
")
Merge.kif 4037-4037
(
format
FrenchLanguage
overlapsSpatially
"%1 %n{ne} recouvre %n{pas} %2")
french_format.kif 212-212
(
format
ItalianLanguage
overlapsSpatially
"%1 %n{non} si sovrappone%p{s} a %2")
relations-it.txt 207-207
(
format
PortugueseLanguage
overlapsSpatially
"%1 %n{nao} engloba %n %2")
portuguese_format.kif 164-164
(
format
cz
overlapsSpatially
"%1 se %n{ne}p�ekr�v� s %2")
relations-cz.txt 219-219
(
format
de
overlapsSpatially
"%1
de
ckt sich mit %2 raeumlich %n{nicht}")
relations-de.txt 489-489
(
format
hi
overlapsSpatially
"%1 %2 se ativyaapta %n{nahiin} hai")
relations-hindi.txt 245-245
(
format
ro
overlapsSpatially
"%1 %n{nu} overlap%t{se suprapune} cu %2")
relations-ro.kif 232-232
(
format
sv
overlapsSpatially
"%1 överlappar %n{inte} med %2")
relations-sv.txt 229-229
(
format
tg
overlapsSpatially
"%1 %n ay natataklob sa %2")
relations-tg.txt 396-396
(
termFormat
ChineseLanguage
overlapsSpatially
"在空间上重叠")
domainEnglishFormat.kif 43784-43784
(
termFormat
ChineseLanguage
overlapsSpatially
"重叠")
chinese_format.kif 368-368
(
termFormat
ChineseTraditionalLanguage
overlapsSpatially
"在空間上重疊")
domainEnglishFormat.kif 43783-43783
(
termFormat
EnglishLanguage
overlapsSpatially
"overlap spatially")
domainEnglishFormat.kif 43782-43782
(
termFormat
tg
overlapsSpatially
"natataklob")
relations-tg.txt 397-397
antecedent
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9947-9952
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
在空間上重疊
HoleRegion
and
HoleRegion
在空間上重疊
SelfConnectedObject
and
SelfConnectedObject
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
在空間上重疊
Object
and
Object
例
Object
and
Region
等於
Object
and
Object
部分位於
Object
and
Object
(=>
(
overlapsSpatially
?OBJ1 ?OBJ2)
(
exists
(?OBJ3)
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))))
Merge.kif 9616-9621
在空間上重疊
Object
and
Object
Object
部分
Object
and
Object
部分
Object
and
Object
consequent
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10068-10073
填充
Object
and
HoleRegion
attribute
Object
and
可填寫
在空間上重疊
Object
and
Object
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
hole
HoleRegion
and
SelfConnectedObject
部分
SelfConnectedObject
and
SelfConnectedObject
在空間上重疊
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9947-9952
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
在空間上重疊
HoleRegion
and
HoleRegion
在空間上重疊
SelfConnectedObject
and
SelfConnectedObject
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 2475-2488
例
Process
and
荒漠化
Process
是
located
在
Object
Entity
Entity
例
Entity
and
耕地
例
Entity
and
沙漠
持有期間
開始
何時
Process
and
在空間上重疊
Object
and
Entity
持有期間
結束
何時
Process
and
在空間上重疊
Object
and
Entity
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2454-2465
例
TimeInterval
and
乾旱
TimeInterval
是
located
在
Object
TimeInterval
Object
例
TimeInterval
and
下雨
例
Object
and
Region
TimeInterval
是
located
在
Object
在空間上重疊
Object
and
Object
暫時重疊
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1259-1280
例
Process
and
塵暴
例
Process
and
風
子過程
Process
and
Process
Transfer
Object
,
Object
,
Object
,
Object
and
RealNumber
例
Object
and
LandArea
Process
是
located
在
Object
測量
RealNumber
and
結速度單位
是
Object
的
surface
風速
比較多
RealNumber
and 30.0
例
Transfer
and
易位
子過程
Transfer
and
Process
objectTransferred
Transfer
and
Object
objectTransferred
Transfer
and
Object
例
Object
and
ParticulateMatter
例
Object
and
砂
例
Object
and
LandArea
目的地
Transfer
and
Object
在空間上重疊
Object
and
Object
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4056-4060
例
Object
and
Object
部分位於
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9637-9643
例
Entity
and
CaseRole
例
Object
and
Object
Entity
Physical
and
Object
TimePoint
在空間上重疊
哪裡
Physical
and
TimePoint
and
Object
(=>
(
and
(
instance
?TORSO
Torso
)
(
instance
?LIMB
Limb
))
(
not
(
overlapsSpatially
?TORSO ?LIMB)))
Mid-level-ontology.kif 12837-12842
例
Object
and
軀幹
例
Object
and
肢
在空間上重疊
Object
and
Object
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
例
GeographicArea
and
海運貨架區
例
Object
and
大陸棚
例
AutonomousAgent
and
Nation
空間的符合
Object
and
AutonomousAgent
AutonomousAgent
是
GeographicArea
的
claimed
領土
在空間上重疊
GeographicArea
and
Object
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9629-9635
會員
Object
and
Collection
會員
Object
and
Collection
等於
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9623-9627
部分
Object
and
Object
部分
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1264-1271
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
coilCount
?WC ?N)
(
exists
(?C ?C2F)
(
and
(
instance
?C
Collection
)
(
memberCount
?C ?N)
(
forall
(?M)
(=>
(
member
?M ?C)
(
and
(
attribute
?M ?C2F)
(
instance
?C2F
ClosedTwoDimensionalFigure
)
(
part
?M ?WC)
(
not
(
exists
(?M2)
(
and
(
overlapsSpatially
?M2 ?M)
(
member
?M2 ?C))))))))))
Cars.kif 3101-3118
coilCount
WireCoil
and
Integer
Collection
Collection
2F
例
Collection
and
Collection
Integer
是
Collection
的
member
計數
Object
會員
Object
and
Collection
attribute
Object
and
Collection
2F
例
Collection
2F and
封閉的二維圖
部分
Object
and
WireCoil
Object
在空間上重疊
Object
and
Object
會員
Object
and
Collection
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9545-9549
連接的
Object
and
Object
空間的符合
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10122-10129
等於
Object
and
洞皮
HoleRegion
膚淺的部分
Object
and
洞主持人
HoleRegion
空間的符合
HoleRegion
and
Object
在空間上重疊
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10112-10120
等於
Object
and
洞皮
HoleRegion
在空間上重疊
Object
and
Object
Object
膚淺的部分
Object
and
洞主持人
HoleRegion
空間的符合
HoleRegion
and
Object
在空間上重疊
Object
and
Object
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9916-9919
hole
HoleRegion
and
SelfConnectedObject
在空間上重疊
HoleRegion
and
SelfConnectedObject
(=>
(
instance
?AREOLE
PlantAreole
)
(
exists
(?CAC ?SPINE)
(
and
(
instance
?CAC
Cactus
)
(
instance
?SPINE
PlantSpinoseStructure
)
(
part
?SPINE
Cactus
)
(
overlapsSpatially
?SPINE ?AREOLE))))
Mid-level-ontology.kif 9643-9650
例
Object
and
PlantAreole
Entity
Object
例
Entity
and
Cactus
例
Object
and
PlantSpinoseStructure
部分
Object
and
Cactus
在空間上重疊
Object
and
Object
(=>
(
instance
?SHELF
ContinentalShelf
)
(
exists
(?MARGIN)
(
and
(
instance
?MARGIN
ContinentalMargin
)
(
properPart
?SHELF ?MARGIN)
(
overlapsSpatially
?SHELF ?MARGIN))))
Geography.kif 6096-6102
例
Object
and
大陸棚
Object
例
Object
and
大陸邊緣
適當的部分
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 11018-11025
例
Object
and
皮膚
SelfConnectedObject
SelfConnectedObject
表面
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
例
SelfConnectedObject
and
Animal
在空間上重疊
Object
and
SelfConnectedObject
(=>
(
instance
?WATER
Estuary
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
overlapsSpatially
?MOUTH ?WATER))))
Geography.kif 5202-5207
例
Object
and
河口
Object
例
Object
and
河口
在空間上重疊
Object
and
Object
(=>
(
instance
?plateau
Plateau
)
(
exists
(?slope)
(
and
(
instance
?slope
SlopedArea
)
(
attribute
?slope
SteepTerrain
)
(
overlapsSpatially
?slope ?plateau))))
Geography.kif 4146-4152
例
Object
and
高原
Object
例
Object
and
傾斜的區域
attribute
Object
and
陡峭的地形
在空間上重疊
Object
and
Object
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9735-9741
內飾部分
Object
and
Object
Object
膚淺的部分
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
空間的符合
Object
and
Object
在空間上重疊
Object
and
Object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
overlapsSpatially
Africa
NorthernHemisphere
)
Geography.kif 3523-3523
在空間上重疊
非洲
and
北半球
(
overlapsSpatially
Africa
SouthernHemisphere
)
Geography.kif 3524-3524
在空間上重疊
非洲
and
南半球
(
overlapsSpatially
Antarctica
EasternHemisphere
)
Geography.kif 3540-3540
在空間上重疊
南極洲
and
東半球
(
overlapsSpatially
Antarctica
WesternHemisphere
)
Geography.kif 3541-3541
在空間上重疊
南極洲
and
西半球
(
overlapsSpatially
ArcticOcean
ArcticRegion
)
Geography.kif 3584-3584
在空間上重疊
北冰洋
and
北極地區
(
overlapsSpatially
ArcticRegion
EasternHemisphere
)
Geography.kif 3582-3582
在空間上重疊
北極地區
and
東半球
(
overlapsSpatially
ArcticRegion
WesternHemisphere
)
Geography.kif 3583-3583
在空間上重疊
北極地區
and
西半球
(
overlapsSpatially
Asia
NorthernHemisphere
)
Geography.kif 3550-3550
在空間上重疊
亞洲
and
北半球
(
overlapsSpatially
Asia
SouthernHemisphere
)
Geography.kif 3551-3551
在空間上重疊
亞洲
and
南半球
(
overlapsSpatially
CaribbeanRegion
NorthAmerica
)
Geography.kif 167-167
在空間上重疊
加勒比地區
and
北美
(
overlapsSpatially
CaribbeanRegion
SouthAmerica
)
Geography.kif 166-166
在空間上重疊
加勒比地區
and
南美洲
(
overlapsSpatially
CentralAfrica
NorthernHemisphere
)
Geography.kif 187-187
在空間上重疊
中非
and
北半球
(
overlapsSpatially
CentralAfrica
SouthernHemisphere
)
Geography.kif 188-188
在空間上重疊
中非
and
南半球
(
overlapsSpatially
EasternAfrica
NorthernHemisphere
)
Geography.kif 191-191
在空間上重疊
東非
and
北半球
(
overlapsSpatially
EasternAfrica
SouthernHemisphere
)
Geography.kif 192-192
在空間上重疊
東非
and
南半球
(
overlapsSpatially
EasternSouthAmerica
NorthernHemisphere
)
Geography.kif 242-242
在空間上重疊
東南美洲
and
北半球
(
overlapsSpatially
EasternSouthAmerica
SouthernHemisphere
)
Geography.kif 243-243
在空間上重疊
東南美洲
and
南半球
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3545-3545
在空間上重疊
歐洲
and
東半球
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3546-3546
在空間上重疊
歐洲
and
西半球
(
overlapsSpatially
MiddleAmerica
NorthAmerica
)
Geography.kif 168-168
在空間上重疊
中美洲
and
北美
(
overlapsSpatially
MiddleAmerica
SouthAmerica
)
Geography.kif 169-169
在空間上重疊
中美洲
and
南美洲
(
overlapsSpatially
MiddleEastRegion
Asia
)
Geography.kif 146-146
在空間上重疊
中東地區
and
亞洲
(
overlapsSpatially
NorthernAfrica
EasternHemisphere
)
Geography.kif 194-194
在空間上重疊
北非
and
東半球
(
overlapsSpatially
NorthernAfrica
WesternHemisphere
)
Geography.kif 195-195
在空間上重疊
北非
and
西半球
(
overlapsSpatially
NorthernSouthAmerica
NorthernHemisphere
)
Geography.kif 246-246
在空間上重疊
北美洲南部
and
北半球
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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