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 4038-4040
(
documentation
overlapsSpatially
JapaneseLanguage
"(
overlapsSpatially
?OBJ1 ?OBJ2) とは、
Object
s ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。")
japanese_format.kif 1573-1575
(
instance
overlapsSpatially
ReflexiveRelation
)
Merge.kif 4034-4034
overlapsSpatially
は
反射関係
の
instance
では %n
(
instance
overlapsSpatially
SymmetricRelation
)
Merge.kif 4035-4035
overlapsSpatially
は
対称関係
の
instance
では %n
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4033-4033
overlapsSpatially
は
connected
の
subrelation
では %n
appearance as argument number 2
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9574-9574
meetsSpatially
と
overlapsSpatially
は
disjoint
では %n
(
format
ChineseLanguage
overlapsSpatially
"%1 和 %2 %n 重叠")
chinese_format.kif 367-367
(
format
EnglishLanguage
overlapsSpatially
"%1 and %2 %n{doesn't}
overlapsSpatially
")
Merge.kif 4036-4036
(
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 43782-43782
(
termFormat
ChineseLanguage
overlapsSpatially
"重叠")
chinese_format.kif 368-368
(
termFormat
ChineseTraditionalLanguage
overlapsSpatially
"在空間上重疊")
domainEnglishFormat.kif 43781-43781
(
termFormat
EnglishLanguage
overlapsSpatially
"overlap spatially")
domainEnglishFormat.kif 43780-43780
(
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 9911-9916
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
overlapsSpatially
HoleRegion
and
HoleRegion
overlapsSpatially
自己接続オブジェクト
and
自己接続オブジェクト
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
overlapsSpatially
オブジェクト
and
オブジェクト
オブジェクト
は
地域
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
(=>
(
overlapsSpatially
?OBJ1 ?OBJ2)
(
exists
(?OBJ3)
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))))
Merge.kif 9580-9585
overlapsSpatially
オブジェクト
and
オブジェクト
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
consequent
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10032-10037
オブジェクト
は
HoleRegion
を
fill
s %n{ない}
Fillable
は
オブジェクト
の
attribute
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
overlapsSpatially
HoleRegion
and
自己接続オブジェクト
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9911-9916
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
overlapsSpatially
HoleRegion
and
HoleRegion
overlapsSpatially
自己接続オブジェクト
and
自己接続オブジェクト
(=>
(
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 2492-2505
工程
は
Desertification
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
エンティティー
は
ArableLand
の
instance
では %n
エンティティー
は
Desert
の
instance
では %n
overlapsSpatially
オブジェクト
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
overlapsSpatially
オブジェクト
and
エンティティー
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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 2471-2482
時間間隔
は
Drought
の
instance
では %n
eventLocated
時間間隔
and
オブジェクト
時間間隔
オブジェクト
時間間隔
は
Raining
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
eventLocated
時間間隔
and
オブジェクト
overlapsSpatially
オブジェクト
and
オブジェクト
時間間隔
は
時間間隔
と
overlap
s %n{dない}
(=>
(
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 1275-1296
工程
は
DustStorm
の
instance
では %n
工程
は
Wind
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
移動
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
実数
は 30.0 より
greater
では %n
移動
は
Translocation
の
instance
では %n
移動
は
工程
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
ParticulateMatter
の
instance
では %n
オブジェクト
は
Sand
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
移動
は
オブジェクト
に
end
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4055-4059
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9601-9607
エンティティー
は
格役割
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
エンティティー
物理
and
オブジェクト
時点
overlapsSpatially
物理
が
時点
に
where
場所 and
オブジェクト
(=>
(
and
(
instance
?TORSO
Torso
)
(
instance
?LIMB
Limb
))
(
not
(
overlapsSpatially
?TORSO ?LIMB)))
Mid-level-ontology.kif 12810-12815
オブジェクト
は
Torso
の
instance
では %n
オブジェクト
は
Limb
の
instance
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
地理的地域
は
MaritimeShelfArea
の
instance
では %n
オブジェクト
は
ContinentalShelf
の
instance
では %n
AutonomousAgent
は
国民
の
instance
では %n
オブジェクト
は
AutonomousAgent
と
meet
s %n{ない}
claimedTerritory
地理的地域
and
AutonomousAgent
overlapsSpatially
地理的地域
and
オブジェクト
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9593-9599
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
オブジェクト
と
equal
では
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9587-9591
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1271-1278
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
coilCount
?WC ?N)
(
exists
(?C)
(
and
(
instance
?C
Collection
)
(
memberCount
?C ?N)
(
forall
(?M)
(=>
(
member
?M ?C)
(
and
(
attribute
?M
ClosedTwoDimensionalFigure
)
(
part
?M ?WC)
(
not
(
exists
(?M2)
(
and
(
overlapsSpatially
?M2 ?M)
(
member
?M2 ?C))))))))))
Cars.kif 3117-3133
coilCount
WireCoil
and
整数
コレクション
コレクション
は
コレクション
の
instance
では %n
memberCount
コレクション
and
整数
オブジェクト
オブジェクト
は
コレクション
の
member
では %n
ClosedTwoDimensionalFigure
は
オブジェクト
の
attribute
では %n
オブジェクト
は
WireCoil
の
part
では %n
オブジェクト
2
overlapsSpatially
オブジェクト
2 and
オブジェクト
オブジェクト
2 は
コレクション
の
member
では %n
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
オブジェクト
は ホール
HoleRegion
の
surface
と
equal
では %n
オブジェクト
は ホール
HoleRegion
の
host
の
superficial
部分では %n
HoleRegion
は
オブジェクト
と
meet
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
オブジェクト
は ホール
HoleRegion
の
surface
と
equal
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
オブジェクト
オブジェクト
は ホール
HoleRegion
の
host
の
superficial
部分では %n
HoleRegion
は
オブジェクト
と
meet
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9880-9883
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
overlapsSpatially
HoleRegion
and
自己接続オブジェクト
(=>
(
instance
?AREOLE
PlantAreole
)
(
exists
(?CAC ?SPINE)
(
and
(
instance
?CAC
Cactus
)
(
instance
?SPINE
PlantSpinoseStructure
)
(
part
?SPINE
Cactus
)
(
overlapsSpatially
?SPINE ?AREOLE))))
Mid-level-ontology.kif 9616-9623
オブジェクト
は
PlantAreole
の
instance
では %n
エンティティー
オブジェクト
エンティティー
は
Cactus
の
instance
では %n
オブジェクト
は
PlantSpinoseStructure
の
instance
では %n
オブジェクト
は
Cactus
の
part
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
instance
?SHELF
ContinentalShelf
)
(
exists
(?MARGIN)
(
and
(
instance
?MARGIN
ContinentalMargin
)
(
properPart
?SHELF ?MARGIN)
(
overlapsSpatially
?SHELF ?MARGIN))))
Geography.kif 6096-6102
オブジェクト
は
ContinentalShelf
の
instance
では %n
オブジェクト
オブジェクト
は
ContinentalMargin
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 10991-10998
オブジェクト
は
Skin
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
は
動物
の
instance
では %n
overlapsSpatially
オブジェクト
and
自己接続オブジェクト
(=>
(
instance
?WATER
Estuary
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
overlapsSpatially
?MOUTH ?WATER))))
Geography.kif 5202-5207
オブジェクト
は
Estuary
の
instance
では %n
オブジェクト
オブジェクト
は
RiverMouth
の
instance
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
instance
?plateau
Plateau
)
(
exists
(?slope)
(
and
(
instance
?slope
SlopedArea
)
(
attribute
?slope
SteepTerrain
)
(
overlapsSpatially
?slope ?plateau))))
Geography.kif 4146-4152
オブジェクト
は
Plateau
の
instance
では %n
オブジェクト
オブジェクト
は
SlopedArea
の
instance
では %n
SteepTerrain
は
オブジェクト
の
attribute
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9699-9705
オブジェクト
は
オブジェクト
の
interior
部分では %n
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
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
and
NorthernHemisphere
(
overlapsSpatially
Africa
SouthernHemisphere
)
Geography.kif 3524-3524
overlapsSpatially
Africa
and
SouthernHemisphere
(
overlapsSpatially
Antarctica
EasternHemisphere
)
Geography.kif 3540-3540
overlapsSpatially
Antarctica
and
EasternHemisphere
(
overlapsSpatially
Antarctica
WesternHemisphere
)
Geography.kif 3541-3541
overlapsSpatially
Antarctica
and
WesternHemisphere
(
overlapsSpatially
ArcticOcean
ArcticRegion
)
Geography.kif 3584-3584
overlapsSpatially
ArcticOcean
and
ArcticRegion
(
overlapsSpatially
ArcticRegion
EasternHemisphere
)
Geography.kif 3582-3582
overlapsSpatially
ArcticRegion
and
EasternHemisphere
(
overlapsSpatially
ArcticRegion
WesternHemisphere
)
Geography.kif 3583-3583
overlapsSpatially
ArcticRegion
and
WesternHemisphere
(
overlapsSpatially
Asia
NorthernHemisphere
)
Geography.kif 3550-3550
overlapsSpatially
Asia
and
NorthernHemisphere
(
overlapsSpatially
Asia
SouthernHemisphere
)
Geography.kif 3551-3551
overlapsSpatially
Asia
and
SouthernHemisphere
(
overlapsSpatially
CaribbeanRegion
NorthAmerica
)
Geography.kif 167-167
overlapsSpatially
CaribbeanRegion
and
NorthAmerica
(
overlapsSpatially
CaribbeanRegion
SouthAmerica
)
Geography.kif 166-166
overlapsSpatially
CaribbeanRegion
and
SouthAmerica
(
overlapsSpatially
CentralAfrica
NorthernHemisphere
)
Geography.kif 187-187
overlapsSpatially
CentralAfrica
and
NorthernHemisphere
(
overlapsSpatially
CentralAfrica
SouthernHemisphere
)
Geography.kif 188-188
overlapsSpatially
CentralAfrica
and
SouthernHemisphere
(
overlapsSpatially
EasternAfrica
NorthernHemisphere
)
Geography.kif 191-191
overlapsSpatially
EasternAfrica
and
NorthernHemisphere
(
overlapsSpatially
EasternAfrica
SouthernHemisphere
)
Geography.kif 192-192
overlapsSpatially
EasternAfrica
and
SouthernHemisphere
(
overlapsSpatially
EasternSouthAmerica
NorthernHemisphere
)
Geography.kif 242-242
overlapsSpatially
EasternSouthAmerica
and
NorthernHemisphere
(
overlapsSpatially
EasternSouthAmerica
SouthernHemisphere
)
Geography.kif 243-243
overlapsSpatially
EasternSouthAmerica
and
SouthernHemisphere
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3545-3545
overlapsSpatially
Europe
and
EasternHemisphere
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3546-3546
overlapsSpatially
Europe
and
WesternHemisphere
(
overlapsSpatially
MiddleAmerica
NorthAmerica
)
Geography.kif 168-168
overlapsSpatially
MiddleAmerica
and
NorthAmerica
(
overlapsSpatially
MiddleAmerica
SouthAmerica
)
Geography.kif 169-169
overlapsSpatially
MiddleAmerica
and
SouthAmerica
(
overlapsSpatially
MiddleEastRegion
Asia
)
Geography.kif 146-146
overlapsSpatially
MiddleEastRegion
and
Asia
(
overlapsSpatially
NorthernAfrica
EasternHemisphere
)
Geography.kif 194-194
overlapsSpatially
NorthernAfrica
and
EasternHemisphere
(
overlapsSpatially
NorthernAfrica
WesternHemisphere
)
Geography.kif 195-195
overlapsSpatially
NorthernAfrica
and
WesternHemisphere
(
overlapsSpatially
NorthernSouthAmerica
NorthernHemisphere
)
Geography.kif 246-246
overlapsSpatially
NorthernSouthAmerica
and
NorthernHemisphere
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