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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - between
between

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


s__documentation(s__between__m,s__ChineseLanguage,'"(between ?OBJ1 ?OBJ2 ?OBJ3) 的意思是 ?OBJ2 在空间上 位于 ?OBJ1 和 ?OBJ3 之间。 注:这意味着 ?OBJ2 正正位于在 ?OBJ1 和?OBJ3 之间,即是 ?OBJ1 和 ?OBJ3 的射影 和 ?OBJ2 的射影重叠。"')

chinese_format.kif 2119-2121
s__documentation(s__between__m,s__EnglishLanguage,'"(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3. Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2."')

Merge.kif 4019-4022
s__domain(s__between__m,n__1,s__Object)

Merge.kif 4015-4015 The number 1 argument of between is an instance of object
s__domain(s__between__m,n__2,s__Object)

Merge.kif 4016-4016 The number 2 argument of between is an instance of object
s__domain(s__between__m,n__3,s__Object)

Merge.kif 4017-4017 The number 3 argument of between is an instance of object
s__instance(s__SpatialRelation,s__SetOrClass)

s__instance(s__between__m,s__SpatialRelation)

Merge.kif 4013-4013 between is an instance of spatial relation
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__between__m,s__TernaryPredicate)

Merge.kif 4014-4014 between is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__between__m,'"%2 %n 是在 %1 和 %3 between"')

chinese_format.kif 65-65
s__format(s__EnglishLanguage,s__between__m,'"%2 is %n between %1 and %3"')

english_format.kif 65-65
s__termFormat(s__ChineseLanguage,s__between__m,'"之间"')

chinese_format.kif 66-66
s__termFormat(s__ChineseTraditionalLanguage,s__between__m,'"之間"')

domainEnglishFormat.kif 10909-10909
s__termFormat(s__EnglishLanguage,s__between__m,'"between"')

domainEnglishFormat.kif 10908-10908

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1355-1373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1334-1351
( ! [V__MID,V__END1,V__END2] :
   (((s__instance(V__MID,s__Object) &
         s__instance(V__END1,s__Object) &
         s__instance(V__END2,s__Object))
       =>
       ((s__between(V__END1,V__MID,V__END2)
         =>
         (s__between(V__END2,V__MID,V__END1)))))
)
)

Merge.kif 4024-4026

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


( ! [V__OBJ1,V__OBJ2,V__OBJ3] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object) &
         s__instance(V__OBJ3,s__Object))
       =>
       (((s__connects(V__OBJ1,V__OBJ2,V__OBJ3)
           =>
           s__between(V__OBJ2,V__OBJ1,V__OBJ3))
       &
       (s__between(V__OBJ2,V__OBJ1,V__OBJ3)
       =>
       s__connects(V__OBJ1,V__OBJ2,V__OBJ3)))))
)
)

Merge.kif 9127-9129 An object connects another object and a third object if and only if the object is between the other object and the third object
( ! [V__OBJ1,V__DIRECT,V__OBJ2,V__OBJ3] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object) &
         s__instance(V__OBJ3,s__Object))
       =>
       (((s__instance(V__DIRECT,s__DirectionalAttribute) &
             s__orientation(V__OBJ1,V__OBJ2,V__DIRECT)
           &
           s__orientation(V__OBJ2,V__OBJ3,V__DIRECT))
       =>
       (s__between(V__OBJ1,V__OBJ2,V__OBJ3)))))
)
)

Merge.kif 16217-16222
( ! [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
( ! [V__MID,V__DEV] :
   (((s__instance(V__MID,s__MiddleCIButton) &
         s__component(V__MID,V__DEV)
       &
       s__instance(V__DEV,s__ComputerInputDevice))
     =>
     (( ? [V__LEFT, V__RIGHT] :
         ((s__instance(V__RIGHT,s__RightCIButton) &
             s__instance(V__LEFT,s__LeftCIButton) &
             s__component(V__RIGHT,V__DEV)
           &
           s__component(V__LEFT,V__DEV)
         &
         s__between(V__LEFT,V__MID,V__RIGHT)
       &
       s__orientation(V__MID,V__LEFT,s__Left) &
       s__orientation(V__MID,V__RIGHT,s__Right))))))
)
)

ComputerInput.kif 246-259
( ! [V__WATER,V__AREA,V__ZONE] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__instance(V__ZONE,s__MaritimeContiguousZone) &
             s__claimedTerritory(V__ZONE,V__AREA)
           &
           s__instance(V__WATER,s__TerritorialSea) &
           s__claimedTerritory(V__WATER,V__AREA))
       =>
       (s__between(V__AREA,V__WATER,V__ZONE)))))
)
)

Geography.kif 1205-1211
( ! [V__SOURCE,V__PROCESS,V__DEST,V__MEASURE1,V__PATH1,V__DISTANCE] :
   (((s__instance(V__SOURCE,s__Object) &
         s__instance(V__PROCESS,s__Motion) &
         s__instance(V__DEST,s__Object) &
         s__instance(V__MEASURE1,s__Quantity) &
         s__instance(V__PATH1,s__Object) &
         s__instance(V__DISTANCE,s__LengthMeasure))
       =>
       (((s__path(V__PROCESS,V__PATH1)
           &
           s__origin(V__PROCESS,V__SOURCE)
         &
         s__destination(V__PROCESS,V__DEST)
       &
       s__length(V__PATH1,V__MEASURE1)
     &
     s__distance(V__SOURCE,V__DEST,V__DISTANCE)
   &
   ~(s__greaterThan(V__MEASURE1,V__DISTANCE)))
=>
(( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       ((s__part(V__OBJ,V__PATH1)
         =>
         (s__between(V__SOURCE,V__OBJ,V__DEST)))))))))))
)
)

Merge.kif 10605-10616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13968-13980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13956-13966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13940-13949
( ! [V__MID,V__END1,V__END2] :
   (((s__instance(V__MID,s__Object) &
         s__instance(V__END1,s__Object) &
         s__instance(V__END2,s__Object))
       =>
       ((s__between(V__END1,V__MID,V__END2)
         =>
         (s__between(V__END2,V__MID,V__END1)))))
)
)

Merge.kif 4024-4026
( ! [V__OBJ1,V__OBJ2,V__OBJ3,V__PATH] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object) &
         s__instance(V__OBJ3,s__Object) &
         s__instance(V__PATH,s__Object))
       =>
       ((s__betweenOnPath(V__OBJ1,V__OBJ2,V__OBJ3,V__PATH)
         =>
         (s__between(V__OBJ1,V__OBJ2,V__OBJ3)))))
)
)

Merge.kif 4041-4043
( ! [V__FRONT] :
   ((s__instance(V__FRONT,s__StormFront) =>
       (( ? [V__AIR1, V__AIR2] :
           ((s__instance(V__AIR1,s__Air) &
               s__instance(V__AIR2,s__Air) &
               s__between(V__AIR1,V__FRONT,V__AIR2))))))
   )
)

Mid-level-ontology.kif 8572-8578
( ! [V__LW] :
   ((s__instance(V__LW,s__LaminatedWindshield) =>
       (( ? [V__G1, V__G2, V__P] :
           ((s__instance(V__G1,s__Glass) &
               s__instance(V__G2,s__Glass) &
               s__instance(V__P,s__Plastic) &
               s__part(V__G1,V__LW)
             &
             s__part(V__G2,V__LW)
           &
           s__part(V__P,V__LW)
         &
         s__between(V__G1,V__P,V__G2))))))
)
)

Cars.kif 3236-3246
( ! [V__S] :
   ((s__instance(V__S,s__Sandwich) =>
       (( ? [V__B1, V__B2, V__F] :
           ((s__instance(V__F,s__Object) &
               (s__instance(V__B1,s__BreadOrBiscuit) &
                 s__instance(V__B2,s__BreadOrBiscuit) &
                 s__instance(V__F,s__FoodForFn(s__Human))
               &
               s__between(V__B1,V__F,V__B2)
             &
             ~((V__B1 = V__B2))
             &
             ~((V__B1 = V__F))
             &
             ~((V__B2 = V__F))
             &
             s__part(V__B1,V__S)
           &
           s__part(V__B2,V__S)
         &
         s__part(V__F,V__S)))))))
)
)

Mid-level-ontology.kif 20275-20288