meetsSpatially |
appearance as argument number 1 |
![]() |
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 | |
(format FrenchLanguage meetsSpatially "%1 %n{ne} rencontre %n{pas} %2") | french_format.kif 211-211 | |
(format ItalianLanguage meetsSpatially "%1 %n{non} incontra%p{s} %2") | relations-it.txt 179-179 | |
(format JapaneseLanguage meetsSpatially "%1 は %2 と meet%p{s} %n{ない}") | japanese_format.kif 2018-2018 | |
(format PortugueseLanguage meetsSpatially "%1 %n{nao} encontra %n %2") | portuguese_format.kif 163-163 | |
(format cz meetsSpatially "%1 se %n{ne}dot�k� %2") | relations-cz.txt 218-218 | |
(format de meetsSpatially "%1 schliesst %2 raeumlich %n{nicht} an") | relations-de.txt 486-486 | |
(format hi meetsSpatially "%1 %2 se %n{nahiin} milataa hai") | relations-hindi.txt 217-217 | |
(format ro meetsSpatially "%1 %n{nu} meet%t{întâlneºte} %2") | relations-ro.kif 231-231 | |
(format sv meetsSpatially "%1 möter %n{inte} %2") | relations-sv.txt 228-228 | |
(format tg meetsSpatially "%1 %n ay sumali sa %2") | relations-tg.txt 354-354 | |
(subrelation grasps meetsSpatially) | Merge.kif 11446-11446 | |
(termFormat ChineseLanguage meetsSpatially "接触") | chinese_format.kif 366-366 | |
(termFormat ChineseLanguage meetsSpatially "空间的符合") | domainEnglishFormat.kif 36932-36932 | |
(termFormat ChineseTraditionalLanguage meetsSpatially "空間的符合") | domainEnglishFormat.kif 36931-36931 | |
(termFormat EnglishLanguage meetsSpatially "meets spatially") | domainEnglishFormat.kif 36930-36930 | |
(termFormat tg meetsSpatially "sa tabi ng") | relations-tg.txt 355-355 |
antecedent |
![]() |
(=> (and (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?SUB ?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 6198-6211 | |
(=> (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 ConvexRoundShape)) |
Mid-level-ontology.kif 4983-4992 | |
(=> (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 5148-5153 | |
(=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER SaltWaterArea)) (instance ?INLET SaltWaterArea)) |
Geography.kif 5141-5146 | |
(=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea))) |
Merge.kif 14099-14105 | |
(=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1075-1082 | |
(=> (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 17791-17816 | |
(=> (meetsSpatially ?AREA1 ?AREA2) (not (overlapsSpatially ?AREA1 ?AREA2))) |
Geography.kif 724-726 | |
(=> (meetsSpatially ?OBJECT1 ?OBJECT2) (orientation ?OBJECT1 ?OBJECT2 Adjacent)) |
Transportation.kif 864-866 | |
(=> (meetsSpatially ?X ?Y) (orientation ?X ?Y Adjacent)) |
Geography.kif 6064-6066 |
consequent |
![]() |
(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4045-4062 | |
(=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Mid-level-ontology.kif 29857-29861 | |
(=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 22098-22105 | |
(=> (and (instance ?C Cavitating) (instance ?P Pump) (attribute ?P DeviceOn) (attribute ?L1 Liquid) (contains ?P ?L1)) (exists (?PP ?L2) (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 ?HOLE1 HoleRegion) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ))))) |
Merge.kif 9923-9931 | |
(=> (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 4287-4299 | |
(=> (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 5724-5738 | |
(=> (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 ?O Object) (attribute ?O ConvexRoundShape) (surface ?TO ?O) (instance ?TO TwoDimensionalObject)) (forall (?P) (and (part ?P ?O) (attribute ?P GeometricPoint) (pointOfFigure ?P ?O) (meetsSpatially ?P ?O) (meetsSpatially ?P ?TO) (exists (?T) (tangent ?T ?TO))))) |
Mid-level-ontology.kif 4786-4800 | |
(=> (and (instance ?Range MountainRange) (part ?Mountain1 ?Range)) (exists (?Mountain2) (and (component ?Mountain2 ?Range) (instance ?Mountain2 Mountain) (meetsSpatially ?Mountain1 ?Mountain2)))) |
Geography.kif 3942-3950 | |
(=> (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 17990-18024 | |
(=> (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 6053-6062 | |
(=> (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 1651-1672 | |
(=> (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 1261-1265 | |
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1252-1259 | |
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C)))) |
Mid-level-ontology.kif 5039-5047 | |
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 5087-5095 | |
(=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 5102-5110 | |
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 5117-5125 | |
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 5151-5159 | |
(=> (attribute ?F Flat) (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (instance ?U UnitOfLength) (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 2754-2767 | |
(=> (attribute ?F LongAndThin) (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (instance ?U UnitOfLength) (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 2775-2788 | |
(=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9493-9497 | |
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)) (overlapsSpatially ?OBJ2 ?OBJ1))) |
Merge.kif 10070-10077 | |
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 |
![]() |
![]() |