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 8965-8965
(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 8967-8969
(domain meetsSpatially 1 Object) Merge.kif 8960-8960
(domain meetsSpatially 2 Object) Merge.kif 8961-8961
(instance meetsSpatially IrreflexiveRelation) Merge.kif 8963-8963
(instance meetsSpatially SymmetricRelation) Merge.kif 8964-8964
(relatedInternalConcept meetsSpatially connected) Merge.kif 8962-8962

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 371-371
(subrelation grasps meetsSpatially) Merge.kif 10684-10684
(termFormat ChineseLanguage meetsSpatially "接触") chinese_format.kif 366-366
(termFormat ChineseLanguage meetsSpatially "空间的符合") domainEnglishFormat.kif 36817-36817
(termFormat ChineseTraditionalLanguage meetsSpatially "空間的符合") domainEnglishFormat.kif 36816-36816
(termFormat EnglishLanguage meetsSpatially "meets spatially") domainEnglishFormat.kif 36815-36815

antecedent
-------------------------


(=>
    (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 5313-5322
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))		 Geography.kif 4924-4929
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))		 Geography.kif 4917-4922
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 13160-13166
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1073-1080
(=>
    (meetsSpatially ?AREA1 ?AREA2)
    (not
        (overlapsSpatially ?AREA1 ?AREA2)))		 Geography.kif 723-725
(=>
    (meetsSpatially ?OBJECT1 ?OBJECT2)
    (orientation ?OBJECT1 ?OBJECT2 Adjacent))		 Transportation.kif 853-855
(=>
    (meetsSpatially ?X ?Y)
    (orientation ?X ?Y Adjacent))		 Geography.kif 5759-5761

consequent
-------------------------


(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))		 Mid-level-ontology.kif 27935-27939
(=>
    (and
        (instance ?B Blade)
        (instance ?CUT Cutting)
        (instance ?OBJ Object)
        (instrument ?CUT ?B)
        (patient ?CUT ?OBJ))
    (meetsSpatially ?B ?OBJ))		 Mid-level-ontology.kif 19815-19822
(=>
    (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 1737-1757
(=>
    (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 6480-6500
(=>
    (and
        (instance ?HOLE1 Hole)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))		 Merge.kif 9318-9326
(=>
    (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 4260-4272
(=>
    (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 5499-5513
(=>
    (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 893-906
(=>
    (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 6863-6875
(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))		 Geography.kif 3808-3816
(=>
    (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 15844-15878
(=>
    (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 5748-5757
(=>
    (and
        (physicalEnd ?E ?O)
        (superficialPart ?SP ?O))
    (meetsSpatially ?E ?SP))		 Mid-level-ontology.kif 1674-1678
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (meetsSpatially ?E1 ?E2)))		 Mid-level-ontology.kif 1665-1672
(=>
    (and
        (wears ?P ?B)
        (instance ?B Belt))
    (exists (?C)
        (and
            (instance ?C Clothing)
            (wears ?P ?C)
            (meetsSpatially ?B ?C))))		 Mid-level-ontology.kif 5365-5373
(=>
    (and
        (wears ?P ?C)
        (instance ?C Collar))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (meetsSpatially ?C ?N))))		 Mid-level-ontology.kif 5405-5413
(=>
    (and
        (wears ?P ?G)
        (instance ?G Glove))
    (exists (?H)
        (and
            (instance ?H Hand)
            (part ?H ?P)
            (meetsSpatially ?G ?H))))		 Mid-level-ontology.kif 5419-5427
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))		 Mid-level-ontology.kif 5433-5441
(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))		 Mid-level-ontology.kif 5465-5473
(=>
    (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 ?HF))
        (greaterThan ?H2
            (MultiplicationFn 2 ?HF))))		 Mid-level-ontology.kif 3247-3258
(=>
    (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 ?HF))
        (lessThan ?H2
            (MultiplicationFn 3 ?HF))))		 Mid-level-ontology.kif 3271-3282
(=>
    (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 5133-5142
(=>
    (connected ?OBJ1 ?OBJ2)
    (or
        (meetsSpatially ?OBJ1 ?OBJ2)
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 8918-8922
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))		 Merge.kif 9464-9473
(=>
    (instance
        (BorderFn ?AREA1 ?AREA2) GeographicArea)
    (meetsSpatially ?AREA1 ?AREA2))		 Geography.kif 694-696

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners