Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - meetsSpatially
meetsSpatially

appearance as argument number 1
-------------------------


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9558-9558
(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 9560-9562
(documentation meetsSpatially JapaneseLanguage "(meetsSpatially ?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は connected だが、?OBJ1 も ?OBJ2 も overlapsSpatially ではないという意味であ る。") japanese_format.kif 1570-1572
(domain meetsSpatially 1 Object) Merge.kif 9552-9552
(domain meetsSpatially 2 Object) Merge.kif 9553-9553
(instance meetsSpatially BinaryPredicate) Merge.kif 9557-9557
(instance meetsSpatially IrreflexiveRelation) Merge.kif 9555-9555
(instance meetsSpatially SymmetricRelation) Merge.kif 9556-9556
(relatedInternalConcept meetsSpatially connected) Merge.kif 9554-9554

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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