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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - overlapsSpatially
overlapsSpatially

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


s__documentation(s__overlapsSpatially__m,s__ChineseLanguage,'"(overlapsSpatially ?OBJ1 ?OBJ2)的意思是 Objects ?OBJ1 和 ?OBJ2 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。"')

chinese_format.kif 2830-2831
s__documentation(s__overlapsSpatially__m,s__EnglishLanguage,'"(overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation."')

Merge.kif 9162-9164
s__instance(s__overlapsSpatially__m,s__ReflexiveRelation)

s__instance(s__ReflexiveRelation,s__SetOrClass)

Merge.kif 9158-9158 overlaps spatially is an instance of reflexive relation
s__instance(s__SymmetricRelation,s__SetOrClass)

s__instance(s__overlapsSpatially__m,s__SymmetricRelation)

Merge.kif 9159-9159 overlaps spatially is an instance of symmetric relation
s__subrelation(s__overlapsSpatially__m,s__connected__m)

Merge.kif 9157-9157 overlaps spatially is a subrelation of connected

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


s__disjointRelation(s__meetsSpatially__m,s__overlapsSpatially__m)

Merge.kif 9151-9151 meets spatially and overlaps spatially are disjoint
s__format(s__ChineseLanguage,s__overlapsSpatially__m,'"%1 和 %2 %n 重叠"')

chinese_format.kif 367-367
s__format(s__EnglishLanguage,s__overlapsSpatially__m,'"%1 and %2 is %n overlapsSpatially"')

Merge.kif 9160-9160
s__termFormat(s__ChineseLanguage,s__overlapsSpatially__m,'"在空间上重叠"')

domainEnglishFormat.kif 43759-43759
s__termFormat(s__ChineseLanguage,s__overlapsSpatially__m,'"重叠"')

chinese_format.kif 368-368
s__termFormat(s__ChineseTraditionalLanguage,s__overlapsSpatially__m,'"在空間上重疊"')

domainEnglishFormat.kif 43758-43758
s__termFormat(s__EnglishLanguage,s__overlapsSpatially__m,'"overlaps spatially"')

domainEnglishFormat.kif 43757-43757

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__overlapsSpatially(V__OBJ1,V__OBJ2)
           =>
           ( ? [V__OBJ3] :
             ((s__instance(V__OBJ3,s__Object) &
                 (s__part(V__OBJ3,V__OBJ1)
                 &
                 s__part(V__OBJ3,V__OBJ2))))))
     &
     (( ? [V__OBJ3] :
         ((s__instance(V__OBJ3,s__Object) &
             (s__part(V__OBJ3,V__OBJ1)
             &
             s__part(V__OBJ3,V__OBJ2)))))
   =>
   s__overlapsSpatially(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 9166-9171 An object and another object is overlapsSpatially if and only if there exists a third object such that the third object is a part of the object and the third object is a part of the other object
( ! [V__OBJ1,V__OBJ2,V__HOLE1,V__HOLE2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__SelfConnectedObject) &
         s__instance(V__HOLE1,s__Hole) &
         s__instance(V__HOLE2,s__Hole))
       =>
       (((s__hole(V__HOLE1,V__OBJ1)
           &
           s__hole(V__HOLE2,V__OBJ2)
         &
         s__overlapsSpatially(V__HOLE1,V__HOLE2))
     =>
     (s__overlapsSpatially(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 9479-9484
( ! [V__TWO,V__ONE] :
   ((s__instance(V__ONE,s__Object) =>
       (((s__overlapsSpatially(V__ONE,V__TWO)
           &
           s__instance(V__TWO,s__Region) &
           ~((V__ONE = V__TWO)))
         =>
         (s__partlyLocated(V__ONE,V__TWO)))))
)
)

Geography.kif 3377-3382

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


( ! [V__OBJ1,V__HOLE,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__HOLE,s__Hole) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__fills(V__OBJ1,V__HOLE)
           &
           s__attribute(V__OBJ2,s__Fillable))
         =>
         (~(s__overlapsSpatially(V__OBJ1,V__OBJ2))))))
)
)

Merge.kif 9609-9614
( ! [V__OBJ1,V__HOLE,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__HOLE,s__Hole) &
         s__instance(V__OBJ2,s__SelfConnectedObject))
       =>
       (((s__hole(V__HOLE,V__OBJ1)
           &
           s__part(V__OBJ1,V__OBJ2))
       =>
       ((s__overlapsSpatially(V__HOLE,V__OBJ2)
         |
         s__hole(V__HOLE,V__OBJ2))))))
)
)

Merge.kif 9471-9477
( ! [V__OBJ1,V__OBJ2,V__HOLE1,V__HOLE2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__SelfConnectedObject) &
         s__instance(V__HOLE1,s__Hole) &
         s__instance(V__HOLE2,s__Hole))
       =>
       (((s__hole(V__HOLE1,V__OBJ1)
           &
           s__hole(V__HOLE2,V__OBJ2)
         &
         s__overlapsSpatially(V__HOLE1,V__HOLE2))
     =>
     (s__overlapsSpatially(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 9479-9484
No TPTP formula. May not be expressible in strict first order. Weather.kif 2485-2498
( ! [V__DRYSPELL,V__AREA] :
   (((s__instance(V__DRYSPELL,s__Drought) &
         s__eventLocated(V__DRYSPELL,V__AREA))
     =>
     (~(( ? [V__RAIN, V__PLACE] :
           ((s__instance(V__RAIN,s__Raining) &
               s__instance(V__PLACE,s__Region) &
               s__eventLocated(V__RAIN,V__PLACE)
             &
             s__overlapsSpatially(V__PLACE,V__AREA)
           &
           s__overlapsTemporally(V__RAIN,V__DRYSPELL)))))))
)
)

Weather.kif 2464-2475
( ! [V__DUSTSTORM,V__WIND] :
   (((s__instance(V__DUSTSTORM,s__DustStorm) &
         s__instance(V__WIND,s__Wind) &
         s__subProcess(V__DUSTSTORM,V__WIND))
     =>
     (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
         ((s__instance(V__STRONG,s__RealNumber) &
             (s__instance(V__A1,s__LandArea) &
               s__eventLocated(V__WIND,V__A1)
             &
             s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed))
           &
           s__greaterThan(V__STRONG,n__30)
         &
         s__instance(V__TRANSLOCATE,s__Translocation) &
         s__subProcess(V__TRANSLOCATE,V__DUSTSTORM)
       &
       s__objectTransferred(V__TRANSLOCATE,V__PM)
     &
     s__objectTransferred(V__TRANSLOCATE,V__SAND)
   &
   s__instance(V__PM,s__ParticulateMatter) &
   s__instance(V__SAND,s__Sand) &
   s__instance(V__A2,s__LandArea) &
   s__destination(V__TRANSLOCATE,V__A2)
&
~(s__overlapsSpatially(V__A1,V__A2))))))))
)
)

Weather.kif 1273-1294
( ! [V__OBJ1,V__OBJ2] :
   ((s__instance(V__OBJ2,s__Object) =>
       (((s__instance(V__OBJ1,s__Object) &
             s__partlyLocated(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsSpatially(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 3918-3922
( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__judge__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__judge(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__objectDetached__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectDetached(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__attorney__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__attorney(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimenter__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimenter(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Motion) =>
       (((s__instance(s__moves__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__moves(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   (((s__instance(V__PROCESS,s__CognitiveAgent) &
         s__subclass(V__OBJ,s__IntentionalProcess))
       =>
       (((s__instance(s__enjoys__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__enjoys(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Translocation) =>
       (((s__instance(s__changesLocation__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__changesLocation(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__origin__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__origin(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__objectAttached__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectAttached(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__CriminalAction) =>
       (((s__instance(s__victim__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__victim(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChangeOfControl) =>
       (((s__instance(s__losesControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__losesControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__catalyst__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__catalyst(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimentalSubject__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimentalSubject(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transfer) =>
       (((s__instance(s__objectTransferred__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectTransferred(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Game) =>
       (((s__instance(s__plays__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__plays(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__defenseLawyer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__defenseLawyer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ServiceProcess) =>
       (((s__instance(s__serviceRecipient__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__serviceRecipient(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__PlacingUnderArrest) =>
       (((s__instance(s__arrested__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__arrested(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__eventPartlyLocated__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eventPartlyLocated(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__CriminalAction) =>
       (((s__instance(s__perpetrator__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__perpetrator(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ViralCellInvasion) =>
       (((s__instance(s__invadingVirus__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__invadingVirus(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Agent) =>
       (((s__instance(s__webVisitor__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__webVisitor(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   (((s__instance(V__PROCESS,s__Physical) &
         s__subclass(V__PROCESS,s__Process) &
         s__subclass(V__OBJ,s__Agent))
       =>
       (((s__instance(s__typicalAction__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__typicalAction(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Demonstrating) =>
       (((s__instance(s__attends__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__attends(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__resource__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resource(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__FinancialTransaction) =>
       (((s__instance(s__eCommerceSite__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eCommerceSite(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimentalControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimentalControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transportation) =>
       (((s__instance(s__transported__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__transported(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Bidding) =>
       (((s__instance(s__objectOfBid__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectOfBid(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__direction__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__direction(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__evidence__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__evidence(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__eventLocated__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eventLocated(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Contest) =>
       (((s__instance(s__contestParticipant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__contestParticipant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__patient__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__patient(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardErrorDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardErrorDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__targetInAttack__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__targetInAttack(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ServiceProcess) =>
       (((s__instance(s__serviceProvider__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__serviceProvider(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__resourceExhausted__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resourceExhausted(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__instrument__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__instrument(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__plaintiff__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__plaintiff(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__result__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__result(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__prosecutor__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__prosecutor(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transfer) =>
       (((s__instance(s__passenger__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__passenger(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Confining) =>
       (((s__instance(s__detainee__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__detainee(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__destination__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__destination(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__experiencer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experiencer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__agent__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__agent(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__AchievingControl) =>
       (((s__instance(s__controlled__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__controlled(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__witness__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__witness(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__resourceUsed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resourceUsed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__reagent__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__reagent(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__reactant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__reactant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__defendant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__defendant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardOutputDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardOutputDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Shipping) =>
       (((s__instance(s__cargo__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__cargo(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__AchievingControl) =>
       (((s__instance(s__gainsControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__gainsControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__computerRunning__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__computerRunning(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Bidding) =>
       (((s__instance(s__amountOfBid__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__amountOfBid(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardInputDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardInputDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__suffers__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__suffers(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__FinancialTransaction) =>
       (((s__instance(s__broker__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__broker(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__accountUsed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__accountUsed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transportation) =>
       (((s__instance(s__conveyance__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__conveyance(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Motion) =>
       (((s__instance(s__path__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__path(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__dataProcessed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__dataProcessed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__PlacingUnderArrest) =>
       (((s__instance(s__arrestingOfficer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__arrestingOfficer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Game) =>
       (((s__instance(s__referee__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__referee(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

Merge.kif 9181-9187
( ! [V__TORSO,V__LIMB] :
   (((s__instance(V__TORSO,s__Torso) &
         s__instance(V__LIMB,s__Limb))
       =>
       (~(s__overlapsSpatially(V__TORSO,V__LIMB))))
   )
)

Mid-level-ontology.kif 11189-11193
( ! [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
( ! [V__OBJ1,V__OBJ2,V__COLL] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical) &
         s__instance(V__COLL,s__Collection))
       =>
       (((s__member(V__OBJ1,V__COLL)
           &
           s__member(V__OBJ2,V__COLL)
         &
         ~((V__OBJ1 = V__OBJ2)))
       =>
       (~(s__overlapsSpatially(V__OBJ1,V__OBJ2))))))
)
)

Merge.kif 9173-9179
( ! [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__overlapsSpatially(V__E1,V__E2))))))
)
)

Mid-level-ontology.kif 1210-1217
( ! [V__WC,V__N] :
   (((s__instance(V__WC,s__WireCoil) &
         s__instance(V__N,s__Integer))
       =>
       ((s__coilCount(V__WC,V__N)
         =>
         (( ? [V__C] :
             ((s__instance(V__C,s__Collection) &
                 s__memberCount(V__C,V__N)
               &
               ( ! [V__M] :
                 ((s__instance(V__M,s__Object) =>
                     ((s__member(V__M,V__C)
                       =>
                       ((s__attribute(V__M,s__ClosedTwoDimensionalFigure) &
                           s__part(V__M,V__WC)
                         &
                         ~(( ? [V__M2] :
                             ((s__instance(V__M2,s__Object) &
                                 (s__overlapsSpatially(V__M2,V__M)
                                 &
                                 s__member(V__M2,V__C))))))))))))))))))))
)
)

Cars.kif 3131-3147
( ! [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 9103-9107
( ! [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 9653-9662
( ! [V__OBJ,V__HOLE] :
   (((s__instance(V__OBJ,s__SelfConnectedObject) &
         s__instance(V__HOLE,s__Hole))
       =>
       ((s__hole(V__HOLE,V__OBJ)
         =>
         (~(s__overlapsSpatially(V__HOLE,V__OBJ))))))
)
)

Merge.kif 9448-9451
( ! [V__SHELF] :
   ((s__instance(V__SHELF,s__ContinentalShelf) =>
       (( ? [V__MARGIN] :
           ((s__instance(V__MARGIN,s__ContinentalMargin) &
               s__properPart(V__SHELF,V__MARGIN)
             &
             s__overlapsSpatially(V__SHELF,V__MARGIN))))))
)
)

Geography.kif 5878-5884
( ! [V__SKIN] :
   ((s__instance(V__SKIN,s__Skin) =>
       (( ? [V__SURFACE, V__ANIMAL] :
           ((s__instance(V__SURFACE,s__SelfConnectedObject) &
               (s__surface(V__SURFACE,V__ANIMAL)
               &
               s__part(V__SKIN,V__ANIMAL)
             &
             s__instance(V__ANIMAL,s__Animal) &
             s__overlapsSpatially(V__SKIN,V__SURFACE)))))))
)
)

Mid-level-ontology.kif 9702-9709
( ! [V__WATER] :
   ((s__instance(V__WATER,s__Estuary) =>
       (( ? [V__MOUTH] :
           ((s__instance(V__MOUTH,s__RiverMouth) &
               s__overlapsSpatially(V__MOUTH,V__WATER))))))
   )
)

Geography.kif 4986-4991
( ! [V__plateau] :
   ((s__instance(V__plateau,s__Plateau) =>
       (( ? [V__slope] :
           ((s__instance(V__slope,s__SlopedArea) &
               s__attribute(V__slope,s__SteepTerrain) &
               s__overlapsSpatially(V__slope,V__plateau))))))
   )
)

Geography.kif 3984-3990
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__interiorPart(V__OBJ1,V__OBJ2)
         =>
         (( ! [V__PART] :
             ((s__instance(V__PART,s__Object) =>
                 ((s__superficialPart(V__PART,V__OBJ2)
                   =>
                   (~(s__overlapsSpatially(V__OBJ1,V__PART))))))))))))
)
)

Merge.kif 9270-9276
( ! [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__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__overlapsPartially(V__OBJ1,V__OBJ2)
         =>
         (s__overlapsSpatially(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 9214-9216

appearance as argument number 0
-------------------------


s__overlapsSpatially(s__Africa,s__NorthernHemisphere)

Geography.kif 3404-3404 Africa and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Africa,s__SouthernHemisphere)

Geography.kif 3405-3405 Africa and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Antarctica,s__EasternHemisphere)

Geography.kif 3421-3421 Antarctica and eastern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Antarctica,s__WesternHemisphere)

Geography.kif 3422-3422 Antarctica and western hemisphere is overlapsSpatially
s__overlapsSpatially(s__ArcticOcean,s__ArcticRegion)

Geography.kif 3465-3465 Arctic ocean and arctic region is overlapsSpatially
s__overlapsSpatially(s__ArcticRegion,s__EasternHemisphere)

Geography.kif 3463-3463 Arctic region and eastern hemisphere is overlapsSpatially
s__overlapsSpatially(s__ArcticRegion,s__WesternHemisphere)

Geography.kif 3464-3464 Arctic region and western hemisphere is overlapsSpatially
s__overlapsSpatially(s__Asia,s__NorthernHemisphere)

Geography.kif 3431-3431 Asia and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Asia,s__SouthernHemisphere)

Geography.kif 3432-3432 Asia and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__CaribbeanRegion,s__NorthAmerica)

Geography.kif 167-167 Caribbean region and north america is overlapsSpatially
s__overlapsSpatially(s__CaribbeanRegion,s__SouthAmerica)

Geography.kif 166-166 Caribbean region and south america is overlapsSpatially
s__overlapsSpatially(s__CentralAfrica,s__NorthernHemisphere)

Geography.kif 187-187 Central africa and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__CentralAfrica,s__SouthernHemisphere)

Geography.kif 188-188 Central africa and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__EasternAfrica,s__NorthernHemisphere)

Geography.kif 191-191 Eastern africa and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__EasternAfrica,s__SouthernHemisphere)

Geography.kif 192-192 Eastern africa and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__EasternSouthAmerica,s__NorthernHemisphere)

Geography.kif 242-242 Eastern south america and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__EasternSouthAmerica,s__SouthernHemisphere)

Geography.kif 243-243 Eastern south america and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Europe,s__EasternHemisphere)

Geography.kif 3426-3426 Europe and eastern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Europe,s__WesternHemisphere)

Geography.kif 3427-3427 Europe and western hemisphere is overlapsSpatially
s__overlapsSpatially(s__MiddleAmerica,s__NorthAmerica)

Geography.kif 168-168 Middle america and north america is overlapsSpatially
s__overlapsSpatially(s__MiddleAmerica,s__SouthAmerica)

Geography.kif 169-169 Middle america and south america is overlapsSpatially
s__overlapsSpatially(s__MiddleEastRegion,s__Asia)

Geography.kif 146-146 Middle east region and asia is overlapsSpatially
s__overlapsSpatially(s__NorthernAfrica,s__EasternHemisphere)

Geography.kif 194-194 Northern africa and eastern hemisphere is overlapsSpatially
s__overlapsSpatially(s__NorthernAfrica,s__WesternHemisphere)

Geography.kif 195-195 Northern africa and western hemisphere is overlapsSpatially
s__overlapsSpatially(s__NorthernSouthAmerica,s__NorthernHemisphere)

Geography.kif 246-246 Northern south america and northern hemisphere is overlapsSpatially

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