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 9184-9184 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 9186-9188
s__domain(s__meetsSpatially__m,n__1,s__Object)

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

Merge.kif 9179-9179 The number 2 argument of meets spatially is an instance of object
s__instance(s__meetsSpatially__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 9183-9183 meets spatially is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__meetsSpatially__m,s__IrreflexiveRelation)

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

s__instance(s__meetsSpatially__m,s__SymmetricRelation)

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

Merge.kif 9180-9180 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 11000-11000 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 36906-36906
s__termFormat(s__ChineseTraditionalLanguage,s__meetsSpatially__m,'"空間的符合"')

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

domainEnglishFormat.kif 36904-36904

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5884-5897
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 4715-4724
( ! [V__P,V__H,V__SEA] :
   ((s__instance(V__SEA,s__Object) =>
       (((s__instance(V__H,s__Hurricane) &
             s__eventLocated(V__H,V__P)
           &
           s__instance(V__P,s__GeographicArea) &
           (s__located(V__P,V__SEA)
           |
           s__meetsSpatially(V__P,V__SEA)))
     =>
     (((V__SEA = s__NortheasternPacificOcean) |
           (V__SEA = s__NorthAtlanticOcean))))))
   )
)

Weather.kif 753-763
( ! [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 5030-5035
( ! [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 5023-5028
( ! [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 13570-13576
( ! [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 1074-1081
No TPTP formula. May not be expressible in strict first order. Merge.kif 17186-17212
( ! [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 864-866
( ! [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 5945-5947

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 28810-28814
( ! [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 21142-21149
No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
( ! [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 6672-6692
( ! [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 9540-9548
( ! [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 4290-4302
( ! [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 5605-5619
No TPTP formula. May not be expressible in strict first order. Cars.kif 902-915
No TPTP formula. May not be expressible in strict first order. Geography.kif 7055-7067
( ! [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 3854-3862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17216-17250
( ! [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 5934-5943
( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

Weather.kif 1650-1671
( ! [V__P,V__T] :
   (((s__instance(V__T,s__Typhoon) &
         s__eventLocated(V__T,V__P)
       &
       s__instance(V__P,s__GeographicArea))
     =>
     ((s__located(V__P,s__NorthwesternPacificOcean) |
         s__meetsSpatially(V__P,s__NorthwesternPacificOcean))))
   )
)

Weather.kif 787-794
( ! [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 1229-1233
( ! [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 1220-1227
( ! [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 4771-4779
( ! [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 4819-4827
( ! [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 4834-4842
( ! [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 4849-4857
( ! [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 4883-4891
( ! [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 2720-2731
( ! [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 2739-2750
( ! [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 4534-4543
( ! [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 9136-9140

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 3.0 is open source software produced by Articulate Software and its partners