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 9710-9710 不相交的關係 空間的符合 and 在空間上重疊
(documentation meetsSpatially ChineseLanguage "(meetsSpatially ?OBJ1 ?OBJ2)得意思是 ?OBJ1 和 ?OBJ2 是 connected 的但是 ?OBJ1 或 ?OBJ2 都没有跟对方 overlapsSpatially。") chinese_format.kif 2828-2829 不相交的關係 空間的符合 and 在空間上重疊
(documentation meetsSpatially EnglishLanguage "(meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are connected but that neither ?OBJ1 nor ?OBJ2 overlapsSpatially the other.") Merge.kif 9712-9714 不相交的關係 空間的符合 and 在空間上重疊
(documentation meetsSpatially JapaneseLanguage "(meetsSpatially ?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は connected だが、?OBJ1 も ?OBJ2 も overlapsSpatially ではないという意味であ る。") japanese_format.kif 1570-1572 不相交的關係 空間的符合 and 在空間上重疊
(domain meetsSpatially 1 Object) Merge.kif 9704-9704 域 空間的符合, 1 and Object
(domain meetsSpatially 2 Object) Merge.kif 9705-9705 域 空間的符合, 2 and Object
(instance meetsSpatially BinaryPredicate) Merge.kif 9709-9709 例 空間的符合 and BinaryPredicate
(instance meetsSpatially IrreflexiveRelation) Merge.kif 9707-9707 例 空間的符合 and IrreflexiveRelation
(instance meetsSpatially SymmetricRelation) Merge.kif 9708-9708 例 空間的符合 and SymmetricRelation
(relatedInternalConcept meetsSpatially connected) Merge.kif 9706-9706 相關的內部概念 空間的符合 and 連接的

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 子關係 掌握 and 空間的符合
(termFormat ChineseLanguage meetsSpatially "接触") chinese_format.kif 366-366 子關係 掌握 and 空間的符合
(termFormat ChineseLanguage meetsSpatially "空间的符合") domainEnglishFormat.kif 36926-36926 子關係 掌握 and 空間的符合
(termFormat ChineseTraditionalLanguage meetsSpatially "空間的符合") domainEnglishFormat.kif 36925-36925 子關係 掌握 and 空間的符合
(termFormat EnglishLanguage meetsSpatially "meets spatially") domainEnglishFormat.kif 36924-36924 子關係 掌握 and 空間的符合
(termFormat de meetsSpatially "schliesstRaeumlichAn") terms-de.txt 151-151 子關係 掌握 and 空間的符合
(termFormat tg meetsSpatially "sa tabi ng") relations-tg.txt 355-355 子關係 掌握 and 空間的符合

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 7168-7181
(=>
    (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
        (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 5953-5962
(=>
    (and
        (instance ?H Hurricane)
        (eventLocated ?H ?P)
        (instance ?P GeographicArea)
        (or
            (located ?P ?SEA)
            (meetsSpatially ?P ?SEA)))
    (or
        (equal ?SEA NorthwesternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))		 Weather.kif 737-747
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))		 Geography.kif 5504-5509
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))		 Geography.kif 5497-5502
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 14361-14367
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1206-1213
(=>
    (and
        (muscleInsertion ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (not
            (located ?E ?L))))		 Anatomy.kif 1793-1815
(=>
    (and
        (muscleOrigin ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (located ?E ?L)))		 Anatomy.kif 1743-1764
(=>
    (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 18089-18114
(=>
    (meetsSpatially ?AREA1 ?AREA2)
    (not
        (overlapsSpatially ?AREA1 ?AREA2)))		 Geography.kif 856-858
(=>
    (meetsSpatially ?OBJECT1 ?OBJECT2)
    (orientation ?OBJECT1 ?OBJECT2 Adjacent))		 Transportation.kif 864-866
(=>
    (meetsSpatially ?X ?Y)
    (orientation ?X ?Y Adjacent))		 Geography.kif 6433-6435

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 7446-7466
(=>
    (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 6093-6107
(=>
    (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 7801-7813
(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))		 Geography.kif 4223-4231
(=>
    (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 6422-6431
(=>
    (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 2336-2357
(=>
    (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 空間的符合 阿拉巴馬 and 密西西比州
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 空間的符合 阿拉斯加州 and 北冰洋
(meetsSpatially Alaska Canada) CountriesAndRegions.kif 880-880 空間的符合 阿拉斯加州 and 加拿大
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881 空間的符合 阿拉斯加州 and 太平洋
(meetsSpatially Arizona California) CountriesAndRegions.kif 885-885 空間的符合 Arizona and 加州
(meetsSpatially Arizona Mexico) CountriesAndRegions.kif 886-886 空間的符合 Arizona and 墨西哥
(meetsSpatially Arizona Nevada) CountriesAndRegions.kif 884-884 空間的符合 Arizona and Nevada
(meetsSpatially Arkansas Louisiana) CountriesAndRegions.kif 892-892 空間的符合 阿肯色州 and 路易斯安那州
(meetsSpatially Arkansas Oklahoma) CountriesAndRegions.kif 890-890 空間的符合 阿肯色州 and Oklahoma
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 空間的符合 阿肯色州 and 德州
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136 空間的符合 bassas da 印度 and 印度洋
(meetsSpatially BouvetIsland SouthAtlanticOcean) CountriesAndRegions.kif 138-138 空間的符合 布維島 and 南大西洋
(meetsSpatially BritishColumbia Alaska) Geography.kif 422-422 空間的符合 BritishColumbia and 阿拉斯加州
(meetsSpatially BritishColumbia Idaho) Geography.kif 418-418 空間的符合 BritishColumbia and Idaho
(meetsSpatially BritishColumbia Montana) Geography.kif 420-420 空間的符合 BritishColumbia and Montana
(meetsSpatially BritishColumbia PacificOcean) Geography.kif 412-412 空間的符合 BritishColumbia and 太平洋
(meetsSpatially BritishColumbia RockyMountains) Geography.kif 414-414 空間的符合 BritishColumbia and RockyMountains
(meetsSpatially BritishColumbia Washington) Geography.kif 416-416 空間的符合 BritishColumbia and 華盛頓
(meetsSpatially California Mexico) CountriesAndRegions.kif 904-904 空間的符合 加州 and 墨西哥
(meetsSpatially California NewMexico) CountriesAndRegions.kif 905-905 空間的符合 加州 and 新墨西哥
(meetsSpatially California Oregon) CountriesAndRegions.kif 906-906 空間的符合 加州 and Oregon
(meetsSpatially California PacificOcean) CountriesAndRegions.kif 903-903 空間的符合 加州 and 太平洋
(meetsSpatially California Washington) CountriesAndRegions.kif 907-907 空間的符合 加州 and 華盛頓
(meetsSpatially Canada UnitedStates) CountriesAndRegions.kif 410-410 空間的符合 加拿大 and 美國
(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910 空間的符合 科羅拉多州 and Arizona

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