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

Formal Language: 



KB Term:  Term intersection
English Word: 

  meetsSpatially

Sigma KEE - meetsSpatially
meetsSpatially

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


(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9478-9478 meets spatially and overlaps spatially are disjoint
(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 9480-9482
(domain meetsSpatially 1 Object) Merge.kif 9472-9472 The number 1 argument of meets spatially is an instance of object
(domain meetsSpatially 2 Object) Merge.kif 9473-9473 The number 2 argument of meets spatially is an instance of object
(instance meetsSpatially BinaryPredicate) Merge.kif 9477-9477 meets spatially is an instance of binary predicate
(instance meetsSpatially IrreflexiveRelation) Merge.kif 9475-9475 meets spatially is an instance of irreflexive relation
(instance meetsSpatially SymmetricRelation) Merge.kif 9476-9476 meets spatially is an instance of symmetric relation
(relatedInternalConcept meetsSpatially connected) Merge.kif 9474-9474 meets spatially is internally related to connected

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 11340-11340 grasps is a subrelation of meets spatially
(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 ?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 5938-5951
(=>
    (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 4761-4770
(=>
    (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 13977-13983
(=>
    (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 17644-17669
(=>
    (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
        (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 3985-4002
(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))
Mid-level-ontology.kif 29256-29260
(=>
    (and
        (instance ?B Blade)
        (instance ?CUT Cutting)
        (instance ?OBJ Object)
        (instrument ?CUT ?B)
        (patient ?CUT ?OBJ))
    (meetsSpatially ?B ?OBJ))
Mid-level-ontology.kif 21584-21591
(=>
    (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 9857-9865
(=>
    (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 17614-17648
(=>
    (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 1256-1260
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (meetsSpatially ?E1 ?E2)))
Mid-level-ontology.kif 1247-1254
(=>
    (and
        (wears ?P ?B)
        (instance ?B Belt))
    (exists (?C)
        (and
            (instance ?C Clothing)
            (wears ?P ?C)
            (meetsSpatially ?B ?C))))
Mid-level-ontology.kif 4817-4825
(=>
    (and
        (wears ?P ?C)
        (instance ?C Collar))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (meetsSpatially ?C ?N))))
Mid-level-ontology.kif 4865-4873
(=>
    (and
        (wears ?P ?G)
        (instance ?G Glove))
    (exists (?H)
        (and
            (instance ?H Hand)
            (part ?H ?P)
            (meetsSpatially ?G ?H))))
Mid-level-ontology.kif 4880-4888
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 4895-4903
(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))
Mid-level-ontology.kif 4929-4937
(=>
    (attribute ?F Flat)
    (exists (?S1 ?S2 ?HF ?H1 ?H2)
        (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 2745-2757
(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2)
        (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 2765-2777
(=>
    (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 4569-4578

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 Alabama meets mississippi
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 Alaska meets arctic ocean
(meetsSpatially Alaska Canada) CountriesAndRegions.kif 880-880 Alaska meets canada
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881 Alaska meets pacific ocean
(meetsSpatially Arizona California) CountriesAndRegions.kif 885-885 Arizona meets california
(meetsSpatially Arizona Mexico) CountriesAndRegions.kif 886-886 Arizona meets mexico
(meetsSpatially Arizona Nevada) CountriesAndRegions.kif 884-884 Arizona meets Nevada
(meetsSpatially Arkansas Louisiana) CountriesAndRegions.kif 892-892 Arkansas meets louisiana
(meetsSpatially Arkansas Oklahoma) CountriesAndRegions.kif 890-890 Arkansas meets Oklahoma
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 Arkansas meets texas
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136 Bassas da india meets indian ocean
(meetsSpatially BouvetIsland SouthAtlanticOcean) CountriesAndRegions.kif 138-138 Bouvet island meets south atlantic ocean
(meetsSpatially California Mexico) CountriesAndRegions.kif 904-904 California meets mexico
(meetsSpatially California NewMexico) CountriesAndRegions.kif 905-905 California meets new mexico
(meetsSpatially California Oregon) CountriesAndRegions.kif 906-906 California meets Oregon
(meetsSpatially California PacificOcean) CountriesAndRegions.kif 903-903 California meets pacific ocean
(meetsSpatially California Washington) CountriesAndRegions.kif 907-907 California meets washington
(meetsSpatially Canada UnitedStates) CountriesAndRegions.kif 410-410 Canada meets united states
(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910 Colorado meets Arizona
(meetsSpatially Colorado NewMexico) CountriesAndRegions.kif 911-911 Colorado meets new mexico
(meetsSpatially Colorado Texas) CountriesAndRegions.kif 912-912 Colorado meets texas
(meetsSpatially Colorado Utah) CountriesAndRegions.kif 909-909 Colorado meets utah
(meetsSpatially Delaware Maryland) CountriesAndRegions.kif 920-920 Delaware meets maryland
(meetsSpatially Delaware NorthAtlanticOcean) CountriesAndRegions.kif 919-919 Delaware meets north atlantic ocean
(meetsSpatially Delaware Pennsylvania) CountriesAndRegions.kif 921-921 Delaware meets pennsylvania

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