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
TileMarbleTerrazzoAndMosaicContractors
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
重叠
是
自反关系
的
instance
(
instance
overlapsSpatially
SymmetricRelation
)
Merge.kif 4036-4036
重叠
是
对称关系
的
instance
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4034-4034
重叠
是
相连
的
subrelation
appearance as argument number 2
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9610-9610
接触
和
重叠
是
disjoint
关系
(
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
和
另一个 洞
是
另一个 自身连接物体
内的
hole
和
那个 洞
和
那个 另外 洞
重叠,
然后
那个 自身连接物体
和
那个 另外 自身连接物体
重叠
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
如果
客体
和
另一个 客体
重叠 和
那个 另外 客体
是
地区
的
instance
和
那个 客体
不
equal
那个 另外 客体
,
然后
那个 客体
是
partlyLocated
在
那个 另外 客体
(=>
(
overlapsSpatially
?OBJ1 ?OBJ2)
(
exists
(?OBJ3)
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))))
Merge.kif 9616-9621
如果
客体
和
另一个 客体
重叠,
然后 有存在
第三 客体
这样
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 另外 客体
的
part
consequent
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10068-10073
如果
客体
fills
洞
和
可填写
是
另一个 客体
的
attribute
,
然后
那个 客体
和
那个 另外 客体
不 重叠
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
如果
洞
是
自身连接物体
内的
hole
和
那个 自身连接物体
是
另一个 自身连接物体
的
part
,
然后
那个 洞
和
那个 另外 自身连接物体
重叠 或
那个 洞
是
那个 另外 自身连接物体
内的
hole
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9947-9952
如果
洞
是
自身连接物体
内的
hole
和
另一个 洞
是
另一个 自身连接物体
内的
hole
和
那个 洞
和
那个 另外 洞
重叠,
然后
那个 自身连接物体
和
那个 另外 自身连接物体
重叠
(=>
(
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
如果
过程
是
荒漠化
的
instance
和
那个 过程
是
located
在
客体
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
耕地
的
instance
和
那个 另外 实体
是
沙漠
的
instance
和
那个 客体
和
那个 实体
重叠 在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
和
那个 另外 实体
重叠 在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
如果
时距
是
干旱
的
instance
和
那个 时距
是
located
在
客体
,
然后 不存在
另一个 时距
和
另一个 客体
这样
那个 另外 时距
是
下雨
的
instance
和
那个 另外 客体
是
地区
的
instance
和
那个 另外 时距
是
located
在
那个 另外 客体
和
那个 另外 客体
和
那个 客体
重叠 和
那个 时距
时段 和
那个 另外 时距
重叠
(=>
(
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
如果
过程
是
尘暴
的
instance
和
另一个 过程
是
风
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
,
然后 有存在
转移
,
客体
,, ,
另一个 客体
,, ,
第三 客体
,, ,
第四 客体
, and 和
实数
这样
那个 第三 客体
是
土地面积
的
instance
和
那个 另外 过程
是
located
在
那个 第三 客体
和
那个 实数
结速度单位
是
那个 第三 客体
的
surface
风速 和
那个 实数
是
greaterThan
30.0 和
那个 转移
是
易位
的
instance
和
那个 转移
%n是
那个 过程
的
subProcess
和
objectTransferred
那个 转移
and
那个 客体
和
objectTransferred
那个 转移
and
那个 另外 客体
和
那个 客体
是
悬浮颗粒
的
instance
和
那个 另外 客体
是
砂
的
instance
和
那个 第四 客体
是
土地面积
的
instance
和
那个 转移
在
那个 第四 客体
结束 和
那个 第三 客体
和
那个 第四 客体
不 重叠
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4056-4060
如果
客体
是
客体
的
instance
和
那个 客体
是
partlyLocated
在
另一个 客体
,
然后
那个 客体
和
那个 另外 客体
重叠
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9637-9643
如果
实体
是
格角色
的
instance
和
客体
是
客体
的
instance
和
那个 实体
物理
and
那个 客体
,
然后 有存在
时点
这样
那个 物理
在
那个 时点
时所处的地区 和
那个 客体
重叠
(=>
(
and
(
instance
?TORSO
Torso
)
(
instance
?LIMB
Limb
))
(
not
(
overlapsSpatially
?TORSO ?LIMB)))
Mid-level-ontology.kif 12837-12842
如果
客体
是
躯干
的
instance
和
另一个 客体
是
肢
的
instance
,
然后
那个 客体
和
那个 另外 客体
不 重叠
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
如果
地理区域
是
海运货架区
的
instance
和
客体
是
大陆棚
的
instance
和
施事体
是
国家
的
instance
和
那个 客体
接上
那个 施事体
和
那个 施事体
是
那个 地理区域
的
claimed
领土,
然后
那个 地理区域
和
那个 客体
重叠
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9629-9635
如果
客体
是
群体
的
member
和
另一个 客体
是
那个 群体
的
member
和
那个 客体
不
equal
那个 另外 客体
,
然后
那个 客体
和
那个 另外 客体
不 重叠
(=>
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9623-9627
如果
客体
是
另一个 客体
的
part
和
那个 客体
是
第三 客体
的
part
,
然后
那个 另外 客体
和
那个 第三 客体
重叠
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1264-1271
如果
physicalEnd
客体
and
另一个 客体
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 客体
不
equal
那个 第三 客体
,
然后
那个 客体
和
那个 第三 客体
不 重叠
(=>
(
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
整数
,
然后 有存在
群体
和
那个 群体
2F 这样
那个 群体
是
群体
的
instance
和
那个 整数
是
那个 群体
的
member
计数 和 对所有
客体
如果
那个 客体
是
那个 群体
的
member
,
然后
那个 群体
2F 是
那个 客体
的
attribute
和
那个 群体
2F 是
封闭的二维图
的
instance
和
那个 客体
是
那个 WireCoil
的
part
和 不存在
那个 客体
2 这样
那个 客体
2 和
那个 客体
重叠 和
那个 客体
2 是
那个 群体
的
member
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9545-9549
如果
客体
和
另一个 客体
是
connected
,
然后
那个 客体
接上
那个 另外 客体
或
那个 客体
和
那个 另外 客体
重叠
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10122-10129
如果
客体
equal
洞
洞
的
surface
,
然后
如果
另一个 客体
是 洞
那个 洞
的主体 的
superficialPart
和
那个 洞
接上
那个 另外 客体
和
第三 客体
和
那个 另外 客体
重叠,
然后
那个 第三 客体
和
那个 客体
重叠
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10112-10120
如果
客体
equal
洞
洞
的
surface
,
然后
如果
另一个 客体
和
那个 客体
重叠,
然后 有存在
第三 客体
这样
那个 第三 客体
是 洞
那个 洞
的主体 的
superficialPart
和
那个 洞
接上
那个 第三 客体
和
那个 另外 客体
和
那个 第三 客体
重叠
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9916-9919
如果
洞
是
自身连接物体
内的
hole
,
然后
那个 洞
和
那个 自身连接物体
不 重叠
(=>
(
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
如果
客体
是
PlantAreole
的
instance
,
然后 有存在
实体
和
另一个 客体
这样
那个 实体
是
Cactus
的
instance
和
那个 另外 客体
是
PlantSpinoseStructure
的
instance
和
那个 另外 客体
是
Cactus
的
part
和
那个 另外 客体
和
那个 客体
重叠
(=>
(
instance
?SHELF
ContinentalShelf
)
(
exists
(?MARGIN)
(
and
(
instance
?MARGIN
ContinentalMargin
)
(
properPart
?SHELF ?MARGIN)
(
overlapsSpatially
?SHELF ?MARGIN))))
Geography.kif 6096-6102
如果
客体
是
大陆棚
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
大陆边缘
的
instance
和
那个 客体
是
那个 另外 客体
的
properPart
和
那个 客体
和
那个 另外 客体
重叠
(=>
(
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
如果
客体
是
皮肤
的
instance
,
然后 有存在
自身连接物体
和
另一个 自身连接物体
这样
那个 自身连接物体
是
那个 另外 自身连接物体
的
surface
和
那个 客体
是
那个 另外 自身连接物体
的
part
和
那个 另外 自身连接物体
是
动物
的
instance
和
那个 客体
和
那个 自身连接物体
重叠
(=>
(
instance
?WATER
Estuary
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
overlapsSpatially
?MOUTH ?WATER))))
Geography.kif 5202-5207
如果
客体
是
河口
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
河口
的
instance
和
那个 另外 客体
和
那个 客体
重叠
(=>
(
instance
?plateau
Plateau
)
(
exists
(?slope)
(
and
(
instance
?slope
SlopedArea
)
(
attribute
?slope
SteepTerrain
)
(
overlapsSpatially
?slope ?plateau))))
Geography.kif 4146-4152
如果
客体
是
高原
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
倾斜的区域
的
instance
和
陡峭的地形
是
那个 另外 客体
的
attribute
和
那个 另外 客体
和
那个 客体
重叠
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9735-9741
如果
客体
是
另一个 客体
的
interiorPart
,
然后 对所有
第三 客体
如果
那个 第三 客体
是
那个 另外 客体
的
superficialPart
,
然后
那个 客体
和
那个 第三 客体
不 重叠
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
如果
客体
接上
另一个 客体
,
然后
那个 客体
和
那个 另外 客体
不 重叠
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
非洲
和
北半球
重叠
(
overlapsSpatially
Africa
SouthernHemisphere
)
Geography.kif 3524-3524
非洲
和
南半球
重叠
(
overlapsSpatially
Antarctica
EasternHemisphere
)
Geography.kif 3540-3540
南极洲
和
东半球
重叠
(
overlapsSpatially
Antarctica
WesternHemisphere
)
Geography.kif 3541-3541
南极洲
和
西半球
重叠
(
overlapsSpatially
ArcticOcean
ArcticRegion
)
Geography.kif 3584-3584
北冰洋
和
北极地区
重叠
(
overlapsSpatially
ArcticRegion
EasternHemisphere
)
Geography.kif 3582-3582
北极地区
和
东半球
重叠
(
overlapsSpatially
ArcticRegion
WesternHemisphere
)
Geography.kif 3583-3583
北极地区
和
西半球
重叠
(
overlapsSpatially
Asia
NorthernHemisphere
)
Geography.kif 3550-3550
亚洲
和
北半球
重叠
(
overlapsSpatially
Asia
SouthernHemisphere
)
Geography.kif 3551-3551
亚洲
和
南半球
重叠
(
overlapsSpatially
CaribbeanRegion
NorthAmerica
)
Geography.kif 167-167
加勒比地区
和
北美
重叠
(
overlapsSpatially
CaribbeanRegion
SouthAmerica
)
Geography.kif 166-166
加勒比地区
和
南美洲
重叠
(
overlapsSpatially
CentralAfrica
NorthernHemisphere
)
Geography.kif 187-187
中非
和
北半球
重叠
(
overlapsSpatially
CentralAfrica
SouthernHemisphere
)
Geography.kif 188-188
中非
和
南半球
重叠
(
overlapsSpatially
EasternAfrica
NorthernHemisphere
)
Geography.kif 191-191
东非
和
北半球
重叠
(
overlapsSpatially
EasternAfrica
SouthernHemisphere
)
Geography.kif 192-192
东非
和
南半球
重叠
(
overlapsSpatially
EasternSouthAmerica
NorthernHemisphere
)
Geography.kif 242-242
东南美洲
和
北半球
重叠
(
overlapsSpatially
EasternSouthAmerica
SouthernHemisphere
)
Geography.kif 243-243
东南美洲
和
南半球
重叠
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3545-3545
欧洲
和
东半球
重叠
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3546-3546
欧洲
和
西半球
重叠
(
overlapsSpatially
MiddleAmerica
NorthAmerica
)
Geography.kif 168-168
中美洲
和
北美
重叠
(
overlapsSpatially
MiddleAmerica
SouthAmerica
)
Geography.kif 169-169
中美洲
和
南美洲
重叠
(
overlapsSpatially
MiddleEastRegion
Asia
)
Geography.kif 146-146
中东地区
和
亚洲
重叠
(
overlapsSpatially
NorthernAfrica
EasternHemisphere
)
Geography.kif 194-194
北非
和
东半球
重叠
(
overlapsSpatially
NorthernAfrica
WesternHemisphere
)
Geography.kif 195-195
北非
和
西半球
重叠
(
overlapsSpatially
NorthernSouthAmerica
NorthernHemisphere
)
Geography.kif 246-246
北美洲南部
和
北半球
重叠
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