Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 4057-4059
(
documentation
overlapsSpatially
JapaneseLanguage
"(
overlapsSpatially
?OBJ1 ?OBJ2) とは、
Object
s ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。")
japanese_format.kif 1573-1575
(
domain
overlapsSpatially
1
Object
)
Merge.kif 4050-4050
(
domain
overlapsSpatially
2
Object
)
Merge.kif 4051-4051
(
instance
overlapsSpatially
ReflexiveRelation
)
Merge.kif 4053-4053
(
instance
overlapsSpatially
SymmetricRelation
)
Merge.kif 4054-4054
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4049-4049
appearance as argument number 2
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9710-9710
(
format
ChineseLanguage
overlapsSpatially
"%1 和 %2 %n 重叠")
chinese_format.kif 367-367
(
format
EnglishLanguage
overlapsSpatially
"%1 and %2 %n{doesn't}
overlapsSpatially
")
Merge.kif 4055-4055
(
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
de
overlapsSpatially
"decktSichRaeumlich")
terms-de.txt 152-152
(
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 10049-10054
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3654-3659
(=>
(
overlapsSpatially
?OBJ1 ?OBJ2)
(
exists
(?OBJ3)
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))))
Merge.kif 9716-9721
consequent
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10172-10177
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 10041-10047
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 10049-10054
(=>
(
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 3216-3229
(=>
(
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 3195-3206
(=>
(
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 1991-2012
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4074-4078
(=>
(
and
(
instance
?P
ThreeDPrinting
)
(
instance
?O
Artifact
)
(
result
?P ?O))
(
exists
(?A ?X ?B ?Y)
(
and
(
instance
?A
Making
)
(
subProcess
?A ?P)
(
instance
?X
SelfConnectedObject
)
(
part
?X ?O)
(
result
?A ?X)
(
instance
?B
Making
)
(
subProcess
?B ?P)
(
instance
?Y
SelfConnectedObject
)
(
part
?Y ?O)
(
overlapsSpatially
?X ?Y)
(
orientation
?X ?Y
Below
)
(
during
(
WhenFn
?A)
(
WhenFn
?P))
(
during
(
WhenFn
?B)
(
WhenFn
?P))
(
earlier
(
WhenFn
?A)
(
WhenFn
?B)))))
QoSontology.kif 537-563
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9737-9743
(=>
(
and
(
instance
?TORSO
Torso
)
(
instance
?LIMB
Limb
))
(
not
(
overlapsSpatially
?TORSO ?LIMB)))
Mid-level-ontology.kif 14141-14146
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1239-1246
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9729-9735
(=>
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9723-9727
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1488-1495
(=>
(
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 3177-3194
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9645-9649
(=>
(
equal
?B
(
BackFn
?O))
(
not
(
overlapsSpatially
?B
(
FrontFn
?O))))
Merge.kif 915-920
(=>
(
equal
?F
(
FrontFn
?O))
(
not
(
overlapsSpatially
?F
(
BackFn
?O))))
Merge.kif 908-913
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10226-10233
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10216-10224
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 10018-10021
(=>
(
instance
?AREOLE
PlantAreole
)
(
exists
(?CAC ?SPINE)
(
and
(
instance
?CAC
Cactus
)
(
instance
?SPINE
PlantSpinoseStructure
)
(
part
?SPINE
Cactus
)
(
overlapsSpatially
?SPINE ?AREOLE))))
Mid-level-ontology.kif 10945-10952
(=>
(
instance
?SHELF
ContinentalShelf
)
(
exists
(?MARGIN)
(
and
(
instance
?MARGIN
ContinentalMargin
)
(
properPart
?SHELF ?MARGIN)
(
overlapsSpatially
?SHELF ?MARGIN))))
Geography.kif 6399-6405
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 12322-12329
(=>
(
instance
?WATER
Estuary
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
overlapsSpatially
?MOUTH ?WATER))))
Geography.kif 5493-5498
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 3681-3681
(
overlapsSpatially
Africa
SouthernHemisphere
)
Geography.kif 3682-3682
(
overlapsSpatially
Antarctica
EasternHemisphere
)
Geography.kif 3698-3698
(
overlapsSpatially
Antarctica
WesternHemisphere
)
Geography.kif 3699-3699
(
overlapsSpatially
ArcticOcean
ArcticRegion
)
Geography.kif 3742-3742
(
overlapsSpatially
ArcticRegion
EasternHemisphere
)
Geography.kif 3740-3740
(
overlapsSpatially
ArcticRegion
WesternHemisphere
)
Geography.kif 3741-3741
(
overlapsSpatially
Asia
NorthernHemisphere
)
Geography.kif 3708-3708
(
overlapsSpatially
Asia
SouthernHemisphere
)
Geography.kif 3709-3709
(
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 3703-3703
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3704-3704
(
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