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
meetsSpatially
Sigma KEE - meetsSpatially
meetsSpatially
appearance as argument number 1
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9467-9467
(
documentation
meetsSpatially
ChineseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2)得意思是 ?OBJ1 和 ?OBJ2 是
connected
的但是 ?OBJ1 或 ?OBJ2 都没有跟对方
overlapsSpatially
。")
chinese_format.kif 2828-2829
(
documentation
meetsSpatially
EnglishLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are
connected
but that neither ?OBJ1 nor ?OBJ2
overlapsSpatially
the other.")
Merge.kif 9469-9471
(
domain
meetsSpatially
1
Object
)
Merge.kif 9461-9461
(
domain
meetsSpatially
2
Object
)
Merge.kif 9462-9462
(
instance
meetsSpatially
BinaryPredicate
)
Merge.kif 9466-9466
(
instance
meetsSpatially
IrreflexiveRelation
)
Merge.kif 9464-9464
(
instance
meetsSpatially
SymmetricRelation
)
Merge.kif 9465-9465
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9463-9463
appearance as argument number 2
(
format
ChineseLanguage
meetsSpatially
"%1 %n 接上 %2")
chinese_format.kif 365-365
(
format
EnglishLanguage
meetsSpatially
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 368-368
(
subrelation
grasps
meetsSpatially
)
Merge.kif 11327-11327
(
termFormat
ChineseLanguage
meetsSpatially
"接触")
chinese_format.kif 366-366
(
termFormat
ChineseLanguage
meetsSpatially
"空间的符合")
domainEnglishFormat.kif 36906-36906
(
termFormat
ChineseTraditionalLanguage
meetsSpatially
"空間的符合")
domainEnglishFormat.kif 36905-36905
(
termFormat
EnglishLanguage
meetsSpatially
"meets spatially")
domainEnglishFormat.kif 36904-36904
antecedent
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?S ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 5907-5920
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
RoundShape
))
Mid-level-ontology.kif 4738-4747
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
FreshWaterArea
))
(
instance
?INLET
FreshWaterArea
))
Geography.kif 5144-5149
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
SaltWaterArea
))
(
instance
?INLET
SaltWaterArea
))
Geography.kif 5137-5142
(=>
(
and
(
instance
?ISLE
Island
)
(
instance
?AREA
GeographicArea
)
(
meetsSpatially
?ISLE ?AREA))
(
not
(
instance
?AREA
LandArea
)))
Merge.kif 13954-13960
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1082-1089
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17637-17662
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 731-733
(=>
(
meetsSpatially
?OBJECT1 ?OBJECT2)
(
orientation
?OBJECT1 ?OBJECT2
Adjacent
))
Transportation.kif 864-866
(=>
(
meetsSpatially
?X ?Y)
(
orientation
?X ?Y
Adjacent
))
Geography.kif 6060-6062
consequent
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29140-29144
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 21475-21482
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1741-1761
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?Sub
Substance
)
(
attribute
?Sub
Solid
)
(
attribute
?Sub
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?Sub)
(
not
(
part
?C ?S)))
(
exists
(?CLNT)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?Sub)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 6830-6850
(=>
(
and
(
instance
?HOLE1
Hole
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9846-9854
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?P)
(
and
(
part
?P ?H)
(
meetsSpatially
?P ?HR))))
Cars.kif 4290-4302
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5720-5734
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7213-7225
(=>
(
and
(
instance
?Range
MountainRange
)
(
part
?Mountain1 ?Range))
(
exists
(?Mountain2)
(
and
(
component
?Mountain2 ?Range)
(
instance
?Mountain2
Mountain
)
(
meetsSpatially
?Mountain1 ?Mountain2))))
Geography.kif 3938-3946
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 17535-17569
(=>
(
and
(
instance
?SHORE
ShoreArea
)
(
instance
?WATER
WaterArea
)
(
orientation
?SHORE ?WATER
Adjacent
))
(
exists
(?LINE)
(
and
(
instance
?LINE
Shoreline
)
(
part
?LINE ?SHORE)
(
meetsSpatially
?LINE ?WATER))))
Geography.kif 6049-6058
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1650-1671
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1246-1250
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1237-1244
(=>
(
and
(
wears
?P ?B)
(
instance
?B
Belt
))
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?P ?C)
(
meetsSpatially
?B ?C))))
Mid-level-ontology.kif 4794-4802
(=>
(
and
(
wears
?P ?C)
(
instance
?C
Collar
))
(
exists
(?N)
(
and
(
instance
?N
Neck
)
(
part
?N ?P)
(
meetsSpatially
?C ?N))))
Mid-level-ontology.kif 4842-4850
(=>
(
and
(
wears
?P ?G)
(
instance
?G
Glove
))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?P)
(
meetsSpatially
?G ?H))))
Mid-level-ontology.kif 4857-4865
(=>
(
and
(
wears
?PERSON ?HAT)
(
instance
?HAT
Hat
))
(
exists
(?HEAD)
(
and
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON)
(
meetsSpatially
?HAT ?HEAD))))
Mid-level-ontology.kif 4872-4880
(=>
(
and
(
wears
?PERSON ?SHOE)
(
instance
?SHOE
Shoe
))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?PERSON)
(
meetsSpatially
?SHOE ?FOOT))))
Mid-level-ontology.kif 4906-4914
(=>
(
attribute
?F
Flat
)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF))))
Mid-level-ontology.kif 2737-2748
(=>
(
attribute
?F
LongAndThin
)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF))))
Mid-level-ontology.kif 2756-2767
(=>
(
attribute
?O
RoundShape
)
(
forall
(?P)
(
and
(
pointOfFigure
?P ?O)
(
instance
?TO
TwoDimensionalObject
)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4551-4560
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9407-9411
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
meetsSpatially
Alabama
Mississippi
)
CountriesAndRegions.kif 866-866
(
meetsSpatially
Alaska
ArcticOcean
)
CountriesAndRegions.kif 882-882
(
meetsSpatially
Alaska
Canada
)
CountriesAndRegions.kif 880-880
(
meetsSpatially
Alaska
PacificOcean
)
CountriesAndRegions.kif 881-881
(
meetsSpatially
Arizona
California
)
CountriesAndRegions.kif 885-885
(
meetsSpatially
Arizona
Mexico
)
CountriesAndRegions.kif 886-886
(
meetsSpatially
Arizona
Nevada
)
CountriesAndRegions.kif 884-884
(
meetsSpatially
Arkansas
Louisiana
)
CountriesAndRegions.kif 892-892
(
meetsSpatially
Arkansas
Oklahoma
)
CountriesAndRegions.kif 890-890
(
meetsSpatially
Arkansas
Texas
)
CountriesAndRegions.kif 891-891
(
meetsSpatially
BassasDaIndia
IndianOcean
)
CountriesAndRegions.kif 136-136
(
meetsSpatially
BouvetIsland
SouthAtlanticOcean
)
CountriesAndRegions.kif 138-138
(
meetsSpatially
California
Mexico
)
CountriesAndRegions.kif 904-904
(
meetsSpatially
California
NewMexico
)
CountriesAndRegions.kif 905-905
(
meetsSpatially
California
Oregon
)
CountriesAndRegions.kif 906-906
(
meetsSpatially
California
PacificOcean
)
CountriesAndRegions.kif 903-903
(
meetsSpatially
California
Washington
)
CountriesAndRegions.kif 907-907
(
meetsSpatially
Canada
UnitedStates
)
CountriesAndRegions.kif 410-410
(
meetsSpatially
Colorado
Arizona
)
CountriesAndRegions.kif 910-910
(
meetsSpatially
Colorado
NewMexico
)
CountriesAndRegions.kif 911-911
(
meetsSpatially
Colorado
Texas
)
CountriesAndRegions.kif 912-912
(
meetsSpatially
Colorado
Utah
)
CountriesAndRegions.kif 909-909
(
meetsSpatially
Delaware
Maryland
)
CountriesAndRegions.kif 920-920
(
meetsSpatially
Delaware
NorthAtlanticOcean
)
CountriesAndRegions.kif 919-919
(
meetsSpatially
Delaware
Pennsylvania
)
CountriesAndRegions.kif 921-921
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