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
ReceptorProtein
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
overlapsSpatially
è un'
istanza
di
RelazioneRiflessiva
(
instance
overlapsSpatially
SymmetricRelation
)
Merge.kif 4036-4036
overlapsSpatially
è un'
istanza
di
RelazioneSimmetrica
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4034-4034
overlapsSpatially
è una
sottorelazione
di
connected
appearance as argument number 2
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9610-9610
meetsSpatially
e
overlapsSpatially
sono
disgiunti
(
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
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
apertura
si
sovrappones a
apertura
OggettoIntegro
si
sovrappones a
OggettoIntegro
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
Oggetto
si
sovrappones a
Oggetto
Oggetto
è un'
istanza
di
Regione
Oggetto
is
uguale
a
Oggetto
Oggetto
è
in
parte localizzato in
Oggetto
(=>
(
overlapsSpatially
?OBJ1 ?OBJ2)
(
exists
(?OBJ3)
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))))
Merge.kif 9616-9621
Oggetto
si
sovrappones a
Oggetto
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
consequent
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10068-10073
Oggetto
riempie
s
apertura
attribute
Oggetto
and
Fillable
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
Apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
è una
parte
di
OggettoIntegro
apertura
si
sovrappones a
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9947-9952
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
apertura
si
sovrappones a
apertura
OggettoIntegro
si
sovrappones a
OggettoIntegro
(=>
(
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
Processo
è un'
istanza
di
Desertification
eventLocated
Processo
and
Oggetto
Entit�
Entit�
Entit�
è un'
istanza
di
ArableLand
Entit�
è un'
istanza
di
Desert
Oggetto
si
sovrappones a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Oggetto
si
sovrappones a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
IntervalloTemporale
è un'
istanza
di
Drought
eventLocated
IntervalloTemporale
and
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
Raining
Oggetto
è un'
istanza
di
Regione
eventLocated
IntervalloTemporale
and
Oggetto
Oggetto
si
sovrappones a
Oggetto
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
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
Processo
è un'
istanza
di
DustStorm
Processo
è un'
istanza
di
Wind
Processo
è un
sottoprocesso
di
Processo
Trasferimento
Oggetto
,
Oggetto
,
Oggetto
,
Oggetto
and
NumeroReale
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
surfaceWindSpeed
Oggetto
and
NumeroReale
KnotUnitOfSpeed
(s
NumeroReale
è
pi
ù grande di 30.0
Trasferimento
è un'
istanza
di
Translocation
Trasferimento
è un
sottoprocesso
di
Processo
objectTransferred
Trasferimento
and
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
ParticulateMatter
Oggetto
è un'
istanza
di
Sand
Oggetto
è un'
istanza
di
SuperficieTerrestre
Trasferimento
fine
s in
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4056-4060
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
in
parte localizzato in
Oggetto
Oggetto
si
sovrappones a
Oggetto
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9637-9643
Entit�
è un'
istanza
di
RuoloSemantico
Oggetto
è un'
istanza
di
Oggetto
Entit�
Entit�Concreta
and
Oggetto
PuntoTemporale
il luogo
dove
Entit�Concreta
era in
PuntoTemporale
si
sovrappones a
Oggetto
(=>
(
and
(
instance
?TORSO
Torso
)
(
instance
?LIMB
Limb
))
(
not
(
overlapsSpatially
?TORSO ?LIMB)))
Mid-level-ontology.kif 12837-12842
Oggetto
è un'
istanza
di
Torso
Oggetto
è un'
istanza
di
Limb
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
AreaGeografica
è un'
istanza
di
MaritimeShelfArea
Oggetto
è un'
istanza
di
ContinentalShelf
AutonomousAgent
è un'
istanza
di
Nazione
Oggetto
incontra
s
AutonomousAgent
claimedTerritory
AreaGeografica
and
AutonomousAgent
AreaGeografica
si
sovrappones a
Oggetto
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9629-9635
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9623-9627
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
si
sovrappones a
Oggetto
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1264-1271
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
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
NumeroIntero
InsiemeConcreto
InsiemeConcreto
2F
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroIntero
Oggetto
Oggetto
è un
membro
di
InsiemeConcreto
attribute
Oggetto
and
InsiemeConcreto
2F
InsiemeConcreto
2F è un'
istanza
di
ClosedTwoDimensionalFigure
Oggetto
è una
parte
di
WireCoil
Oggetto
2
Oggetto
2
si
sovrappones a
Oggetto
Oggetto
2 è un
membro
di
InsiemeConcreto
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9545-9549
Oggetto
è
connesso
a
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
si
sovrappones a
Oggetto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10122-10129
Oggetto
is
uguale
a
HoleSkinFn
apertura
Oggetto
è una
parte
superficiale di
HoleHostFn
apertura
apertura
incontra
s
Oggetto
Oggetto
si
sovrappones a
Oggetto
Oggetto
si
sovrappones a
Oggetto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10112-10120
Oggetto
is
uguale
a
HoleSkinFn
apertura
Oggetto
si
sovrappones a
Oggetto
Oggetto
Oggetto
è una
parte
superficiale di
HoleHostFn
apertura
apertura
incontra
s
Oggetto
Oggetto
si
sovrappones a
Oggetto
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9916-9919
Apertura
è un'
apertura
in
OggettoIntegro
apertura
non
si
sovrappone a
OggettoIntegro
(=>
(
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
Oggetto
è un'
istanza
di
PlantAreole
Entit�
Oggetto
Entit�
è un'
istanza
di
Cactus
Oggetto
è un'
istanza
di
PlantSpinoseStructure
Oggetto
è una
parte
di
Cactus
Oggetto
si
sovrappones a
Oggetto
(=>
(
instance
?SHELF
ContinentalShelf
)
(
exists
(?MARGIN)
(
and
(
instance
?MARGIN
ContinentalMargin
)
(
properPart
?SHELF ?MARGIN)
(
overlapsSpatially
?SHELF ?MARGIN))))
Geography.kif 6096-6102
Oggetto
è un'
istanza
di
ContinentalShelf
Oggetto
Oggetto
è un'
istanza
di
ContinentalMargin
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
si
sovrappones a
Oggetto
(=>
(
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
Oggetto
è un'
istanza
di
Skin
OggettoIntegro
OggettoIntegro
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Animale
Oggetto
si
sovrappones a
OggettoIntegro
(=>
(
instance
?WATER
Estuary
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
overlapsSpatially
?MOUTH ?WATER))))
Geography.kif 5202-5207
Oggetto
è un'
istanza
di
Estuary
Oggetto
Oggetto
è un'
istanza
di
RiverMouth
Oggetto
si
sovrappones a
Oggetto
(=>
(
instance
?plateau
Plateau
)
(
exists
(?slope)
(
and
(
instance
?slope
SlopedArea
)
(
attribute
?slope
SteepTerrain
)
(
overlapsSpatially
?slope ?plateau))))
Geography.kif 4146-4152
Oggetto
è un'
istanza
di
Plateau
Oggetto
Oggetto
è un'
istanza
di
SlopedArea
attribute
Oggetto
and
SteepTerrain
Oggetto
si
sovrappones a
Oggetto
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9735-9741
Oggetto
è una
parte
interiore di
Oggetto
Oggetto
Oggetto
è una
parte
superficiale di
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
Oggetto
incontra
s
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
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
Africa
si
sovrappones a
NorthernHemisphere
(
overlapsSpatially
Africa
SouthernHemisphere
)
Geography.kif 3524-3524
Africa
si
sovrappones a
SouthernHemisphere
(
overlapsSpatially
Antarctica
EasternHemisphere
)
Geography.kif 3540-3540
Antarctica
si
sovrappones a
EasternHemisphere
(
overlapsSpatially
Antarctica
WesternHemisphere
)
Geography.kif 3541-3541
Antarctica
si
sovrappones a
WesternHemisphere
(
overlapsSpatially
ArcticOcean
ArcticRegion
)
Geography.kif 3584-3584
ArcticOcean
si
sovrappones a
ArcticRegion
(
overlapsSpatially
ArcticRegion
EasternHemisphere
)
Geography.kif 3582-3582
ArcticRegion
si
sovrappones a
EasternHemisphere
(
overlapsSpatially
ArcticRegion
WesternHemisphere
)
Geography.kif 3583-3583
ArcticRegion
si
sovrappones a
WesternHemisphere
(
overlapsSpatially
Asia
NorthernHemisphere
)
Geography.kif 3550-3550
Asia
si
sovrappones a
NorthernHemisphere
(
overlapsSpatially
Asia
SouthernHemisphere
)
Geography.kif 3551-3551
Asia
si
sovrappones a
SouthernHemisphere
(
overlapsSpatially
CaribbeanRegion
NorthAmerica
)
Geography.kif 167-167
CaribbeanRegion
si
sovrappones a
NorthAmerica
(
overlapsSpatially
CaribbeanRegion
SouthAmerica
)
Geography.kif 166-166
CaribbeanRegion
si
sovrappones a
SouthAmerica
(
overlapsSpatially
CentralAfrica
NorthernHemisphere
)
Geography.kif 187-187
CentralAfrica
si
sovrappones a
NorthernHemisphere
(
overlapsSpatially
CentralAfrica
SouthernHemisphere
)
Geography.kif 188-188
CentralAfrica
si
sovrappones a
SouthernHemisphere
(
overlapsSpatially
EasternAfrica
NorthernHemisphere
)
Geography.kif 191-191
EasternAfrica
si
sovrappones a
NorthernHemisphere
(
overlapsSpatially
EasternAfrica
SouthernHemisphere
)
Geography.kif 192-192
EasternAfrica
si
sovrappones a
SouthernHemisphere
(
overlapsSpatially
EasternSouthAmerica
NorthernHemisphere
)
Geography.kif 242-242
EasternSouthAmerica
si
sovrappones a
NorthernHemisphere
(
overlapsSpatially
EasternSouthAmerica
SouthernHemisphere
)
Geography.kif 243-243
EasternSouthAmerica
si
sovrappones a
SouthernHemisphere
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3545-3545
Europe
si
sovrappones a
EasternHemisphere
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3546-3546
Europe
si
sovrappones a
WesternHemisphere
(
overlapsSpatially
MiddleAmerica
NorthAmerica
)
Geography.kif 168-168
MiddleAmerica
si
sovrappones a
NorthAmerica
(
overlapsSpatially
MiddleAmerica
SouthAmerica
)
Geography.kif 169-169
MiddleAmerica
si
sovrappones a
SouthAmerica
(
overlapsSpatially
MiddleEastRegion
Asia
)
Geography.kif 146-146
MiddleEastRegion
si
sovrappones a
Asia
(
overlapsSpatially
NorthernAfrica
EasternHemisphere
)
Geography.kif 194-194
NorthernAfrica
si
sovrappones a
EasternHemisphere
(
overlapsSpatially
NorthernAfrica
WesternHemisphere
)
Geography.kif 195-195
NorthernAfrica
si
sovrappones a
WesternHemisphere
(
overlapsSpatially
NorthernSouthAmerica
NorthernHemisphere
)
Geography.kif 246-246
NorthernSouthAmerica
si
sovrappones a
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