Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 9478-9480
(
instance
overlapsSpatially
ReflexiveRelation
)
Merge.kif 9474-9474
(
instance
overlapsSpatially
SymmetricRelation
)
Merge.kif 9475-9475
(
subrelation
overlapsSpatially
connected
)
Merge.kif 9473-9473
appearance as argument number 2
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9467-9467
(
format
ChineseLanguage
overlapsSpatially
"%1 和 %2 %n 重叠")
chinese_format.kif 367-367
(
format
EnglishLanguage
overlapsSpatially
"%1 and %2 is %n
overlapsSpatially
")
Merge.kif 9476-9476
(
termFormat
ChineseLanguage
overlapsSpatially
"在空间上重叠")
domainEnglishFormat.kif 43759-43759
(
termFormat
ChineseLanguage
overlapsSpatially
"重叠")
chinese_format.kif 368-368
(
termFormat
ChineseTraditionalLanguage
overlapsSpatially
"在空間上重疊")
domainEnglishFormat.kif 43758-43758
(
termFormat
EnglishLanguage
overlapsSpatially
"overlaps spatially")
domainEnglishFormat.kif 43757-43757
antecedent
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9818-9823
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3418-3423
(=>
(
overlapsSpatially
?OBJ1 ?OBJ2)
(
exists
(?OBJ3)
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))))
Merge.kif 9482-9487
consequent
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9948-9953
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9810-9816
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9818-9823
(=>
(
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 2491-2504
(=>
(
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 2470-2481
(=>
(
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 1274-1295
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 3965-3969
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9503-9509
(=>
(
and
(
instance
?TORSO
Torso
)
(
instance
?LIMB
Limb
))
(
not
(
overlapsSpatially
?TORSO ?LIMB)))
Mid-level-ontology.kif 12271-12276
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1082-1089
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9495-9501
(=>
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9489-9493
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1228-1235
(=>
(
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
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9407-9411
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(
forall
(?OBJ2)
(<=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))))))
Merge.kif 9992-10001
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9787-9790
(=>
(
instance
?AREOLE
PlantAreole
)
(
exists
(?CAC ?SPINE)
(
and
(
instance
?CAC
Cactus
)
(
instance
?SPINE
PlantSpinoseStructure
)
(
part
?SPINE
Cactus
)
(
overlapsSpatially
?SPINE ?AREOLE))))
Mid-level-ontology.kif 9212-9219
(=>
(
instance
?SHELF
ContinentalShelf
)
(
exists
(?MARGIN)
(
and
(
instance
?MARGIN
ContinentalMargin
)
(
properPart
?SHELF ?MARGIN)
(
overlapsSpatially
?SHELF ?MARGIN))))
Geography.kif 5993-5999
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 10494-10501
(=>
(
instance
?WATER
Estuary
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
overlapsSpatially
?MOUTH ?WATER))))
Geography.kif 5100-5105
(=>
(
instance
?plateau
Plateau
)
(
exists
(?slope)
(
and
(
instance
?slope
SlopedArea
)
(
attribute
?slope
SteepTerrain
)
(
overlapsSpatially
?slope ?plateau))))
Geography.kif 4068-4074
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9601-9607
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 731-733
(=>
(
overlapsPartially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9545-9547
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 3445-3445
(
overlapsSpatially
Africa
SouthernHemisphere
)
Geography.kif 3446-3446
(
overlapsSpatially
Antarctica
EasternHemisphere
)
Geography.kif 3462-3462
(
overlapsSpatially
Antarctica
WesternHemisphere
)
Geography.kif 3463-3463
(
overlapsSpatially
ArcticOcean
ArcticRegion
)
Geography.kif 3506-3506
(
overlapsSpatially
ArcticRegion
EasternHemisphere
)
Geography.kif 3504-3504
(
overlapsSpatially
ArcticRegion
WesternHemisphere
)
Geography.kif 3505-3505
(
overlapsSpatially
Asia
NorthernHemisphere
)
Geography.kif 3472-3472
(
overlapsSpatially
Asia
SouthernHemisphere
)
Geography.kif 3473-3473
(
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 3467-3467
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3468-3468
(
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