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
-------------------------


s__disjointRelation(s__meetsSpatially__m,s__overlapsSpatially__m)

Merge.kif 8965-8965 meets spatially and overlaps spatially are disjoint
s__documentation(s__meetsSpatially__m,s__ChineseLanguage,'"(meetsSpatially ?OBJ1 ?OBJ2)得意思是 ?OBJ1 和 ?OBJ2 是 connected 的但是 ?OBJ1 或 ?OBJ2 都没有跟对方 overlapsSpatially。"')

chinese_format.kif 2828-2829
s__documentation(s__meetsSpatially__m,s__EnglishLanguage,'"(meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are connected but that neither ?OBJ1 nor ?OBJ2 overlapsSpatially the other."')

Merge.kif 8967-8969
s__domain(s__meetsSpatially__m,n__1,s__Object)

Merge.kif 8960-8960 The number 1 argument of meets spatially is an instance of object
s__domain(s__meetsSpatially__m,n__2,s__Object)

Merge.kif 8961-8961 The number 2 argument of meets spatially is an instance of object
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__meetsSpatially__m,s__IrreflexiveRelation)

Merge.kif 8963-8963 meets spatially is an instance of irreflexive relation
s__instance(s__SymmetricRelation,s__SetOrClass)

s__instance(s__meetsSpatially__m,s__SymmetricRelation)

Merge.kif 8964-8964 meets spatially is an instance of symmetric relation
s__relatedInternalConcept(s__meetsSpatially__m,s__connected__m)

Merge.kif 8962-8962 meets spatially is internally related to connected

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__meetsSpatially__m,'"%1 %n 接上 %2"')

chinese_format.kif 365-365
s__format(s__EnglishLanguage,s__meetsSpatially__m,'"%1 %n{doesnt} meet%p{s} %2"')

english_format.kif 371-371
s__subrelation(s__grasps__m,s__meetsSpatially__m)

Merge.kif 10684-10684 grasps is a subrelation of meets spatially
s__termFormat(s__ChineseLanguage,s__meetsSpatially__m,'"接触"')

chinese_format.kif 366-366
s__termFormat(s__ChineseLanguage,s__meetsSpatially__m,'"空间的符合"')

domainEnglishFormat.kif 36817-36817
s__termFormat(s__ChineseTraditionalLanguage,s__meetsSpatially__m,'"空間的符合"')

domainEnglishFormat.kif 36816-36816
s__termFormat(s__EnglishLanguage,s__meetsSpatially__m,'"meets spatially"')

domainEnglishFormat.kif 36815-36815

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
( ! [V__B] :
   ((s__instance(V__B,s__Bubble) &
       ~(( ? [V__X, V__S] :
           ((s__instance(V__X,s__Object) &
               s__instance(V__S,s__Attribute) &
               (s__attribute(V__X,V__S)
               &
               ~((V__X = s__Gas))
                 &
                 s__meetsSpatially(V__X,V__B)))))))
   =>
   s__attribute(V__B,s__RoundShape) )
)

Mid-level-ontology.kif 5313-5322
( ! [V__WATER,V__INLET] :
   ((s__instance(V__INLET,s__Inlet) &
       s__meetsSpatially(V__INLET,V__WATER)
     &
     s__instance(V__WATER,s__FreshWaterArea))
   =>
   s__instance(V__INLET,s__FreshWaterArea) )
)

Geography.kif 4924-4929
( ! [V__WATER,V__INLET] :
   ((s__instance(V__INLET,s__Inlet) &
       s__meetsSpatially(V__INLET,V__WATER)
     &
     s__instance(V__WATER,s__SaltWaterArea))
   =>
   s__instance(V__INLET,s__SaltWaterArea) )
)

Geography.kif 4917-4922
( ! [V__ISLE,V__AREA] :
   ((s__instance(V__ISLE,s__Island) &
       s__instance(V__AREA,s__GeographicArea) &
       s__meetsSpatially(V__ISLE,V__AREA))
   =>
   ~(s__instance(V__AREA,s__LandArea))
   )
)

Merge.kif 13160-13166
( ! [V__country,V__zone,V__shelf] :
   ((s__instance(V__zone,s__MaritimeShelfArea) &
       s__instance(V__shelf,s__ContinentalShelf) &
       s__instance(V__country,s__Nation) &
       s__meetsSpatially(V__shelf,V__country)
     &
     s__claimedTerritory(V__zone,V__country))
=>
s__overlapsSpatially(V__zone,V__shelf)
)
)

Geography.kif 1073-1080
( ! [V__AREA2,V__AREA1] :
   ((s__instance(V__AREA2,s__Object) &
       s__instance(V__AREA1,s__Object))
     =>
     s__meetsSpatially(V__AREA1,V__AREA2)
   =>
   ~(s__overlapsSpatially(V__AREA1,V__AREA2))
)
)

Geography.kif 723-725
( ! [V__OBJECT1,V__OBJECT2] :
   ((s__instance(V__OBJECT1,s__Object) &
       s__instance(V__OBJECT2,s__Object))
     =>
     s__meetsSpatially(V__OBJECT1,V__OBJECT2)
   =>
   s__orientation(V__OBJECT1,V__OBJECT2,s__Adjacent) )
)

Transportation.kif 853-855
( ! [V__X,V__Y] :
   ((s__instance(V__X,s__Object) &
       s__instance(V__Y,s__Object))
     =>
     s__meetsSpatially(V__X,V__Y)
   =>
   s__orientation(V__X,V__Y,s__Adjacent) )
)

Geography.kif 5759-5761

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


( ! [V__A,V__B,V__S] :
   ((s__instance(V__A,s__Object) &
       s__instance(V__B,s__Object) &
       s__instance(V__S,s__Object))
     =>
     (s__covers(V__A,V__B)
     &
     s__superficialPart(V__S,V__B))
=>
s__meetsSpatially(V__A,V__S)
)
)

Mid-level-ontology.kif 27935-27939
( ! [V__B,V__OBJ,V__CUT] :
   ((s__instance(V__B,s__Blade) &
       s__instance(V__CUT,s__Cutting) &
       s__instance(V__OBJ,s__Object) &
       s__instrument(V__CUT,V__B)
     &
     s__patient(V__CUT,V__OBJ))
=>
s__meetsSpatially(V__B,V__OBJ)
)
)

Mid-level-ontology.kif 19815-19822
No TPTP formula. May not be expressible in strict first order. Cars.kif 1737-1757
( ! [V__MBR,V__C,V__S,V__X,V__Sub] :
   ((s__instance(V__MBR,s__Object) &
       s__instance(V__X,s__Integer))
     =>
     (s__instance(V__C,s__Crystal) &
       s__attribute(V__C,s__MonoCrystalline) &
       s__instance(V__Sub,s__Substance) &
       s__attribute(V__Sub,s__Solid) &
       s__attribute(V__Sub,s__PolyCrystalline) &
       s__instance(V__S,s__Substance) &
       s__surface(V__S,V__Sub)
     &
     ~(s__part(V__C,V__S)))
=>
( ? [V__CLNT] :
   ((s__instance(V__CLNT,s__Collection) &
       s__memberCount(V__CLNT,V__X)
     &
     s__greaterThanOrEqualTo(V__X,n__4)
   &
   s__member(V__MBR,V__CLNT)
=>
(s__part(V__MBR,V__Sub)
&
s__meetsSpatially(V__C,V__MBR)))))
)
)

Geography.kif 6480-6500
( ! [V__HOLE1,V__HOLE2] :
   (s__instance(V__HOLE2,s__Object) =>
     (s__instance(V__HOLE1,s__Hole) &
       s__properPart(V__HOLE2,V__HOLE1))
   =>
   ( ? [V__OBJ] :
     ((s__instance(V__OBJ,s__Object) &
         (s__meetsSpatially(V__HOLE1,V__OBJ)
         &
         ~(s__meetsSpatially(V__HOLE2,V__OBJ))))))
)
)

Merge.kif 9318-9326
( ! [V__HR,V__H,V__K] :
   ((s__instance(V__HR,s__Reel) &
       s__instance(V__K,s__Keeping) &
       s__instance(V__H,s__CorpuscularObject) &
       s__attribute(V__H,s__LongAndThin) &
       s__attribute(V__H,s__Pliable) &
       s__instrument(V__K,V__HR)
     &
     s__patient(V__K,V__H))
=>
( ? [V__P] :
   ((s__instance(V__P,s__Object) &
       (s__part(V__P,V__H)
       &
       s__meetsSpatially(V__P,V__HR)))))
)
)

Cars.kif 4260-4272
( ! [V__Leftside,V__Rightside,V__Isthmus] :
   ((s__instance(V__Leftside,s__SelfConnectedObject) &
       s__instance(V__Rightside,s__SelfConnectedObject))
     =>
     (s__instance(V__Isthmus,s__Isthmus) &
       s__side(V__Leftside,V__Isthmus)
     &
     s__side(V__Rightside,V__Isthmus)
   &
   ~((V__Leftside = V__Rightside)))
=>
( ? [V__Region1, V__Region2, V__Water1, V__Water2] :
   ((s__instance(V__Region1,s__LandArea) &
       s__instance(V__Region2,s__LandArea) &
       s__between(V__Region1,V__Isthmus,V__Region2)
     &
     s__instance(V__Water1,s__WaterArea) &
     s__instance(V__Water2,s__WaterArea) &
     s__meetsSpatially(V__Leftside,V__Water1)
   &
   s__meetsSpatially(V__Rightside,V__Water2))))
)
)

Geography.kif 5499-5513
No TPTP formula. May not be expressible in strict first order. Cars.kif 893-906
No TPTP formula. May not be expressible in strict first order. Geography.kif 6863-6875
( ! [V__Mountain1,V__Range] :
   (s__instance(V__Mountain1,s__Object) =>
     (s__instance(V__Range,s__MountainRange) &
       s__part(V__Mountain1,V__Range))
   =>
   ( ? [V__Mountain2] :
     ((s__component(V__Mountain2,V__Range)
       &
       s__instance(V__Mountain2,s__Mountain) &
       s__meetsSpatially(V__Mountain1,V__Mountain2))))
)
)

Geography.kif 3808-3816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15844-15878
( ! [V__WATER,V__SHORE] :
   ((s__instance(V__SHORE,s__ShoreArea) &
       s__instance(V__WATER,s__WaterArea) &
       s__orientation(V__SHORE,V__WATER,s__Adjacent))
     =>
     ( ? [V__LINE] :
       ((s__instance(V__LINE,s__Shoreline) &
           s__part(V__LINE,V__SHORE)
         &
         s__meetsSpatially(V__LINE,V__WATER))))
)
)

Geography.kif 5748-5757
( ! [V__O,V__E,V__SP] :
   ((s__instance(V__O,s__Object) &
       s__instance(V__E,s__Object) &
       s__instance(V__SP,s__Object))
     =>
     (s__physicalEnd(V__E,V__O)
     &
     s__superficialPart(V__SP,V__O))
=>
s__meetsSpatially(V__E,V__SP)
)
)

Mid-level-ontology.kif 1674-1678
( ! [V__O,V__E1,V__E2] :
   ((s__instance(V__O,s__Object) &
       s__instance(V__E1,s__Object) &
       s__instance(V__E2,s__Object))
     =>
     (s__physicalEnd(V__E1,V__O)
     &
     s__physicalEnd(V__E2,V__O)
   &
   ~((V__E1 = V__E2)))
=>
~(s__meetsSpatially(V__E1,V__E2))
)
)

Mid-level-ontology.kif 1665-1672
( ! [V__P,V__B] :
   (s__instance(V__P,s__Animal) =>
     (s__wears(V__P,V__B)
     &
     s__instance(V__B,s__Belt))
   =>
   ( ? [V__C] :
     ((s__instance(V__C,s__Clothing) &
         s__wears(V__P,V__C)
       &
       s__meetsSpatially(V__B,V__C))))
)
)

Mid-level-ontology.kif 5365-5373
( ! [V__P,V__C] :
   (s__instance(V__P,s__Animal) =>
     (s__wears(V__P,V__C)
     &
     s__instance(V__C,s__Collar))
   =>
   ( ? [V__N] :
     ((s__instance(V__N,s__Neck) &
         s__part(V__N,V__P)
       &
       s__meetsSpatially(V__C,V__N))))
)
)

Mid-level-ontology.kif 5405-5413
( ! [V__P,V__G] :
   (s__instance(V__P,s__Animal) =>
     (s__wears(V__P,V__G)
     &
     s__instance(V__G,s__Glove))
   =>
   ( ? [V__H] :
     ((s__instance(V__H,s__Hand) &
         s__part(V__H,V__P)
       &
       s__meetsSpatially(V__G,V__H))))
)
)

Mid-level-ontology.kif 5419-5427
( ! [V__HAT,V__PERSON] :
   (s__instance(V__PERSON,s__Animal) =>
     (s__wears(V__PERSON,V__HAT)
     &
     s__instance(V__HAT,s__Hat))
   =>
   ( ? [V__HEAD] :
     ((s__instance(V__HEAD,s__Head) &
         s__part(V__HEAD,V__PERSON)
       &
       s__meetsSpatially(V__HAT,V__HEAD))))
)
)

Mid-level-ontology.kif 5433-5441
( ! [V__SHOE,V__PERSON] :
   (s__instance(V__PERSON,s__Animal) =>
     (s__wears(V__PERSON,V__SHOE)
     &
     s__instance(V__SHOE,s__Shoe))
   =>
   ( ? [V__FOOT] :
     ((s__instance(V__FOOT,s__Foot) &
         s__part(V__FOOT,V__PERSON)
       &
       s__meetsSpatially(V__SHOE,V__FOOT))))
)
)

Mid-level-ontology.kif 5465-5473
( ! [V__U,V__F,V__H1,V__H2,V__S1,V__HF,V__S2] :
   ((s__instance(V__U,s__UnitOfMeasure) &
       s__instance(V__F,s__SelfConnectedObject) &
       s__instance(V__H1,s__RealNumber) &
       s__instance(V__H2,s__RealNumber) &
       s__instance(V__S1,s__SelfConnectedObject) &
       s__instance(V__HF,s__RealNumber) &
       s__instance(V__S2,s__SelfConnectedObject))
     =>
     s__attribute(V__F,s__Flat) =>
     (s__side(V__S1,V__F)
     &
     s__side(V__S2,V__F)
   &
   s__meetsSpatially(V__S1,V__S2)
&
~((V__S1 = V__S2))
&
s__height(V__F,s__MeasureFn(V__HF,V__U))
&
s__height(V__S1,s__MeasureFn(V__H1,V__U))
&
s__height(V__S2,s__MeasureFn(V__H2,V__U))
&
s__greaterThan(V__H1,s__MultiplicationFn(n__2,V__HF))
&
s__greaterThan(V__H2,s__MultiplicationFn(n__2,V__HF)))
)
)

Mid-level-ontology.kif 3247-3258
( ! [V__U,V__F,V__H1,V__H2,V__S1,V__HF,V__S2] :
   ((s__instance(V__U,s__UnitOfMeasure) &
       s__instance(V__F,s__SelfConnectedObject) &
       s__instance(V__H1,s__RealNumber) &
       s__instance(V__H2,s__RealNumber) &
       s__instance(V__S1,s__SelfConnectedObject) &
       s__instance(V__HF,s__RealNumber) &
       s__instance(V__S2,s__SelfConnectedObject))
     =>
     s__attribute(V__F,s__LongAndThin) =>
     (s__side(V__S1,V__F)
     &
     s__side(V__S2,V__F)
   &
   s__meetsSpatially(V__S1,V__S2)
&
~((V__S1 = V__S2))
&
s__length(V__F,s__MeasureFn(V__HF,V__U))
&
s__length(V__S1,s__MeasureFn(V__H1,V__U))
&
s__length(V__S2,s__MeasureFn(V__H2,V__U))
&
s__lessThan(V__H1,s__MultiplicationFn(n__3,V__HF))
&
s__lessThan(V__H2,s__MultiplicationFn(n__3,V__HF)))
)
)

Mid-level-ontology.kif 3271-3282
( ! [V__O,V__TO] :
   ((s__instance(V__O,s__Object) &
       s__instance(V__O,s__GeometricFigure) &
       s__instance(V__TO,s__TwoDimensionalObject))
     =>
     s__attribute(V__O,s__RoundShape) =>
     ( ! [V__P] :
       ((s__instance(V__P,s__GeometricPoint) &
           s__instance(V__P,s__Object))
         =>
         (s__pointOfFigure(V__P,V__O)
         &
         s__instance(V__TO,s__TwoDimensionalObject) &
         s__meetsSpatially(V__P,V__O)
       &
       s__meetsSpatially(V__P,V__TO)
     &
     ( ? [V__T] :
       ((s__instance(V__T,s__OneDimensionalFigure) &
           s__tangent(V__T,V__TO)))))))
)
)

Mid-level-ontology.kif 5133-5142
( ! [V__OBJ1,V__OBJ2] :
   ((s__instance(V__OBJ1,s__Object) &
       s__instance(V__OBJ2,s__Object))
     =>
     s__connected(V__OBJ1,V__OBJ2)
   =>
   (s__meetsSpatially(V__OBJ1,V__OBJ2)
   |
   s__overlapsSpatially(V__OBJ1,V__OBJ2))
)
)

Merge.kif 8918-8922
( ! [V__OBJ1,V__HOLE] :
   ((s__instance(V__OBJ1,s__Object) &
       s__instance(V__HOLE,s__Hole))
     =>
     (V__OBJ1 = s__HoleSkinFn(V__HOLE))
   =>
   ( ! [V__OBJ2] :
     (s__instance(V__OBJ2,s__Object) =>
       (s__overlapsSpatially(V__OBJ2,V__OBJ1)
       =>
       ( ? [V__OBJ3] :
         ((s__instance(V__OBJ3,s__Object) &
             (s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE))
           &
           s__meetsSpatially(V__HOLE,V__OBJ3)
         &
         s__overlapsSpatially(V__OBJ2,V__OBJ3))))))
&
(( ? [V__OBJ3] :
((s__instance(V__OBJ3,s__Object) &
     (s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE))
   &
   s__meetsSpatially(V__HOLE,V__OBJ3)
&
s__overlapsSpatially(V__OBJ2,V__OBJ3)))))
=>
s__overlapsSpatially(V__OBJ2,V__OBJ1))))
)
)

Merge.kif 9464-9473
( ! [V__AREA2,V__AREA1] :
   ((s__instance(V__AREA2,s__GeographicArea) &
       s__instance(V__AREA1,s__GeographicArea))
     =>
     s__instance(s__BorderFn(V__AREA1,V__AREA2)
  ,s__GeographicArea) =>
   s__meetsSpatially(V__AREA1,V__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
-------------------------


s__meetsSpatially(s__Alabama,s__Mississippi)

CountriesAndRegions.kif 866-866 Alabama meets mississippi
s__meetsSpatially(s__Alaska,s__ArcticOcean)

CountriesAndRegions.kif 882-882 Alaska meets arctic ocean
s__meetsSpatially(s__Alaska,s__Canada)

CountriesAndRegions.kif 880-880 Alaska meets canada
s__meetsSpatially(s__Alaska,s__PacificOcean)

CountriesAndRegions.kif 881-881 Alaska meets pacific ocean
s__meetsSpatially(s__Arizona,s__California)

CountriesAndRegions.kif 885-885 Arizona meets california
s__meetsSpatially(s__Arizona,s__Mexico)

CountriesAndRegions.kif 886-886 Arizona meets mexico
s__meetsSpatially(s__Arizona,s__Nevada)

CountriesAndRegions.kif 884-884 Arizona meets Nevada
s__meetsSpatially(s__Arkansas,s__Louisiana)

CountriesAndRegions.kif 892-892 Arkansas meets louisiana
s__meetsSpatially(s__Arkansas,s__Oklahoma)

CountriesAndRegions.kif 890-890 Arkansas meets Oklahoma
s__meetsSpatially(s__Arkansas,s__Texas)

CountriesAndRegions.kif 891-891 Arkansas meets texas
s__meetsSpatially(s__BassasDaIndia,s__IndianOcean)

CountriesAndRegions.kif 136-136 Bassas da india meets indian ocean
s__meetsSpatially(s__BouvetIsland,s__SouthAtlanticOcean)

CountriesAndRegions.kif 138-138 Bouvet island meets south atlantic ocean
s__meetsSpatially(s__California,s__Mexico)

CountriesAndRegions.kif 904-904 California meets mexico
s__meetsSpatially(s__California,s__NewMexico)

CountriesAndRegions.kif 905-905 California meets new mexico
s__meetsSpatially(s__California,s__Oregon)

CountriesAndRegions.kif 906-906 California meets Oregon
s__meetsSpatially(s__California,s__PacificOcean)

CountriesAndRegions.kif 903-903 California meets pacific ocean
s__meetsSpatially(s__California,s__Washington)

CountriesAndRegions.kif 907-907 California meets washington
s__meetsSpatially(s__Canada,s__UnitedStates)

CountriesAndRegions.kif 410-410 Canada meets united states
s__meetsSpatially(s__Colorado,s__Arizona)

CountriesAndRegions.kif 910-910 Colorado meets Arizona
s__meetsSpatially(s__Colorado,s__NewMexico)

CountriesAndRegions.kif 911-911 Colorado meets new mexico
s__meetsSpatially(s__Colorado,s__Texas)

CountriesAndRegions.kif 912-912 Colorado meets texas
s__meetsSpatially(s__Colorado,s__Utah)

CountriesAndRegions.kif 909-909 Colorado meets utah
s__meetsSpatially(s__Delaware,s__Maryland)

CountriesAndRegions.kif 920-920 Delaware meets maryland
s__meetsSpatially(s__Delaware,s__NorthAtlanticOcean)

CountriesAndRegions.kif 919-919 Delaware meets north atlantic ocean
s__meetsSpatially(s__Delaware,s__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 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