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 11644-11644 | |
(termFormat ChineseLanguage meetsSpatially "接触") | chinese_format.kif 366-366 | |
(termFormat ChineseLanguage meetsSpatially "空间的符合") | domainEnglishFormat.kif 36926-36926 | |
(termFormat ChineseTraditionalLanguage meetsSpatially "空間的符合") | domainEnglishFormat.kif 36925-36925 | |
(termFormat EnglishLanguage meetsSpatially "meets spatially") | domainEnglishFormat.kif 36924-36924 | |
(termFormat de meetsSpatially "schliesstRaeumlichAn") | terms-de.txt 151-151 | |
(termFormat tg meetsSpatially "sa tabi ng") | relations-tg.txt 355-355 |
antecedent |
![]() |
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 4521-4538 | |
(=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Merge.kif 16061-16065 | |
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?LA ?O) (meetsSpatially ?LL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?RA ?O)) (not (meetsSpatially ?RL ?O))))) |
Anatomy.kif 1873-1895 | |
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?RA ?O) (meetsSpatially ?RL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?LA ?O)) (not (meetsSpatially ?LL ?O))))) |
Anatomy.kif 1897-1919 | |
(=> (and (holdsDuring ?T (and (attribute ?H Prone) (orientation ?H ?O On))) (instance ?C Chest) (part ?C ?H)) (meetsSpatially ?C ?O)) |
Anatomy.kif 1834-1842 | |
(=> (and (holdsDuring ?T (and (attribute ?H Supine) (orientation ?H ?O On))) (equal ?B (BackFn ?H))) (meetsSpatially ?B ?O)) |
Anatomy.kif 1849-1856 | |
(=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 23661-23668 | |
(=> (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 1748-1768 | |
(=> (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 ?X ?MBR) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?SUB) (meetsSpatially ?C ?MBR)))))) |
Geography.kif 7479-7499 | |
(=> (and (instance ?HOLE1 HoleRegion) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ))))) |
Merge.kif 10077-10085 | |
(=> (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 4348-4360 | |
(=> (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 6126-6140 | |
(=> (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 7834-7846 | |
(=> (and (instance ?Range MountainRange) (part ?Mountain1 ?Range)) (exists (?Mountain2) (and (component ?Mountain2 ?Range) (instance ?Mountain2 Mountain) (meetsSpatially ?Mountain1 ?Mountain2)))) |
Geography.kif 4256-4264 | |
(=> (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 19721-19755 | |
(=> (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 6455-6464 | |
(=> (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 2480-2501 | |
(=> (and (instance ?T Typhoon) (eventLocated ?T ?P) (instance ?P GeographicArea)) (or (located ?P NortheasternPacificOcean) (meetsSpatially ?P NortheasternPacificOcean))) |
Weather.kif 771-778 | |
(=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP)) |
Mid-level-ontology.kif 1506-1510 | |
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1497-1504 | |
(=> (and (wears ?P ?B) (instance ?B Belt)) (exists (?C) (and (instance ?C Clothing) (wears ?P ?C) (meetsSpatially ?B ?C)))) |
Mid-level-ontology.kif 6009-6017 | |
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 6057-6065 | |
(=> (and (wears ?P ?G) (instance ?G Glove)) (exists (?H) (and (instance ?H Hand) (part ?H ?P) (meetsSpatially ?G ?H)))) |
Mid-level-ontology.kif 6072-6080 | |
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 6087-6095 | |
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 BritishColumbia Alaska) | Geography.kif 455-455 | |
(meetsSpatially BritishColumbia Idaho) | Geography.kif 451-451 | |
(meetsSpatially BritishColumbia Montana) | Geography.kif 453-453 | |
(meetsSpatially BritishColumbia PacificOcean) | Geography.kif 445-445 | |
(meetsSpatially BritishColumbia RockyMountains) | Geography.kif 447-447 | |
(meetsSpatially BritishColumbia Washington) | Geography.kif 449-449 | |
(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 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |