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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - overlapsTemporally
overlapsTemporally

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


s__documentation(s__overlapsTemporally__m,s__ChineseLanguage,'"(overlapsTemporally ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 和 ?INTERVAL2 有 TimeInterval 作为它们的 一个共同部分。"')

chinese_format.kif 2717-2719
s__documentation(s__overlapsTemporally__m,s__EnglishLanguage,'"(overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval as a common part."')

Merge.kif 7955-7957
s__domain(s__overlapsTemporally__m,n__1,s__TimeInterval)

Merge.kif 7952-7952 The number 1 argument of overlaps temporally is an instance of time interval
s__domain(s__overlapsTemporally__m,n__2,s__TimeInterval)

Merge.kif 7953-7953 The number 2 argument of overlaps temporally is an instance of time interval
s__instance(s__overlapsTemporally__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 7948-7948 overlaps temporally is an instance of binary predicate
s__instance(s__ReflexiveRelation,s__Class)

s__instance(s__overlapsTemporally__m,s__ReflexiveRelation)

Merge.kif 7950-7950 overlaps temporally is an instance of reflexive relation
s__instance(s__SymmetricRelation,s__Class)

s__instance(s__overlapsTemporally__m,s__SymmetricRelation)

Merge.kif 7951-7951 overlaps temporally is an instance of symmetric relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__overlapsTemporally__m,s__TemporalRelation)

Merge.kif 7949-7949 overlaps temporally is an instance of temporal relation

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


s__format(s__ChineseLanguage,s__overlapsTemporally__m,'"%2 时段 %n{doesnt} 和 %1 重叠"')

chinese_format.kif 431-431
s__format(s__EnglishLanguage,s__overlapsTemporally__m,'"%2 %n{doesnt} overlap%p{s} %1"')

english_format.kif 437-437
s__termFormat(s__ChineseLanguage,s__overlapsTemporally__m,'"在时间上重叠"')

chinese_format.kif 432-432
s__termFormat(s__ChineseLanguage,s__overlapsTemporally__m,'"暂时重叠"')

domainEnglishFormat.kif 43765-43765
s__termFormat(s__ChineseTraditionalLanguage,s__overlapsTemporally__m,'"暫時重疊"')

domainEnglishFormat.kif 43764-43764
s__termFormat(s__EnglishLanguage,s__overlapsTemporally__m,'"overlaps temporally"')

domainEnglishFormat.kif 43763-43763

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


( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__overlapsTemporally(V__INTERVAL1,V__INTERVAL2)
           =>
           ( ? [V__INTERVAL3] :
             ((s__instance(V__INTERVAL3,s__TimeInterval) &
                 s__temporalPart(V__INTERVAL3,V__INTERVAL1)
               &
               s__temporalPart(V__INTERVAL3,V__INTERVAL2)))))
     &
     (( ? [V__INTERVAL3] :
         ((s__instance(V__INTERVAL3,s__TimeInterval) &
             s__temporalPart(V__INTERVAL3,V__INTERVAL1)
           &
           s__temporalPart(V__INTERVAL3,V__INTERVAL2))))
   =>
   s__overlapsTemporally(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 7959-7965 A time interval overlaps another time interval if and only if there exists a time position such that the time position is an instance of time interval and the time position is a part of the other time interval and the time position is a part of the time interval
No TPTP formula. May not be expressible in strict first order. Geography.kif 4744-4760
( ! [V__DAY,V__PLACE,V__TIME2,V__TIME1,V__U,V__AMOUNT2,V__AMOUNT1] :
   (((s__instance(V__PLACE,s__Region) &
         s__instance(V__TIME2,s__TimeInterval) &
         s__instance(V__TIME1,s__TimeInterval) &
         s__instance(V__AMOUNT2,s__RealNumber) &
         s__instance(V__AMOUNT1,s__RealNumber))
       =>
       (((s__lowTide(V__PLACE,V__TIME1,s__MeasureFn(V__AMOUNT1,V__U))
         &
         s__highTide(V__PLACE,V__TIME2,s__MeasureFn(V__AMOUNT2,V__U))
     &
     s__instance(V__U,s__UnitOfLength) &
     s__instance(V__DAY,s__Day) &
     s__overlapsTemporally(V__TIME1,V__DAY)
   &
   s__overlapsTemporally(V__TIME2,V__DAY))
=>
(s__greaterThan(V__AMOUNT1,V__AMOUNT2)))))
)
)

Geography.kif 4811-4821

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


( ! [V__O,V__Y] :
   (((s__instance(V__O,s__Organization) &
         s__instance(V__Y,s__Integer))
       =>
       (((s__yearOfFounding(V__O,V__Y)
           =>
           ( ? [V__F] :
             ((s__overlapsTemporally(V__F,s__YearFn(V__Y))
             &
             s__instance(V__F,s__Founding) &
             s__result(V__F,V__O)))))
   &
   (( ? [V__F] :
       ((s__overlapsTemporally(V__F,s__YearFn(V__Y))
       &
       s__instance(V__F,s__Founding) &
       s__result(V__F,V__O))))
=>
s__yearOfFounding(V__O,V__Y)))))
)
)

Mid-level-ontology.kif 910-916 An integer is a year of founding of an organization if and only if there exists a time interval such that the year the integer overlaps the time interval and the time interval is an instance of founding and the organization is a result of the time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5884-5897
( ! [V__Order,V__Period,V__End,V__Time] :
   (((s__instance(V__Order,s__Agreement) &
         s__instance(V__Order,s__Object) &
         s__instance(V__Period,s__TimeInterval) &
         s__instance(V__End,s__TimeInterval) &
         s__instance(V__Time,s__TimeInterval))
       =>
       (((s__attribute(V__Order,s__GTCOrder) &
             s__agreementPeriod(V__Order,V__Period))
         =>
         ((( ? [V__Execute] :
               ((s__instance(V__Execute,s__FillingAnOrder) &
                   s__patient(V__Execute,V__Order)
                 &
                 (s__WhenFn(V__Execute)
                 = V__Time)
               &
               s__overlapsTemporally(V__Time,V__Period))))
       |
       ( ? [V__Cancel] :
         ((s__instance(V__Cancel,s__CancellingAnOrder) &
             s__patient(V__Cancel,V__Order)
           &
           (s__WhenFn(V__Cancel)
           = V__End)
         &
         s__finishes(V__End,V__Period)))))))))
)
)

FinancialOntology.kif 2878-2894
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2002-2023
No TPTP formula. May not be expressible in strict first order. Merge.kif 13222-13235
No TPTP formula. May not be expressible in strict first order. Merge.kif 17495-17501
( ! [V__C,V__VEH] :
   ((s__instance(V__VEH,s__Physical) =>
       (((s__instance(V__C,s__Convoy) &
             s__member(V__VEH,V__C))
         =>
         (( ? [V__DRIVE] :
             ((s__instance(V__DRIVE,s__Driving) &
                 s__overlapsTemporally(s__WhenFn(V__DRIVE)
              ,s__WhenFn(V__C))
           &
           s__patient(V__DRIVE,V__VEH))))))))
)
)

Mid-level-ontology.kif 21658-21666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 421-434
( ! [V__ORGANISM,V__DIGEST] :
   ((s__instance(V__ORGANISM,s__Agent) =>
       (((s__instance(V__DIGEST,s__Digesting) &
             s__agent(V__DIGEST,V__ORGANISM))
         =>
         (( ? [V__INGEST] :
             ((s__instance(V__INGEST,s__Ingesting) &
                 s__agent(V__INGEST,V__ORGANISM)
               &
               s__overlapsTemporally(s__WhenFn(V__INGEST)
            ,s__WhenFn(V__DIGEST)))))))))
)
)

Merge.kif 9900-9908
( ! [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__A,V__MR] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__MR,s__MusclesRelaxing) &
             s__experiencer(V__MR,V__A))
         =>
         (~(( ? [V__MT] :
               ((s__overlapsTemporally(V__MT,V__MR)
                 &
                 s__instance(V__MT,s__MusclesBecomingTense) &
                 s__experiencer(V__MT,V__A)))))))))
)
)

emotion.kif 1472-1481
( ! [V__A,V__MT] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__MT,s__MusclesBecomingTense) &
             s__experiencer(V__MT,V__A))
         =>
         (~(( ? [V__MR] :
               ((s__overlapsTemporally(V__MR,V__MT)
                 &
                 s__instance(V__MR,s__MusclesRelaxing) &
                 s__experiencer(V__MR,V__A)))))))))
)
)

emotion.kif 1458-1467
( ! [V__P,V__R,V__H] :
   (((s__instance(V__P,s__Physical) &
         s__instance(V__H,s__Object))
       =>
       (((s__instance(V__R,s__RelievingPain) &
             s__patient(V__R,V__H))
         =>
         ((( ? [V__P1] :
               ((s__overlapsTemporally(s__WhenFn(V__P1)
                ,s__ImmediatePastFn(s__WhenFn(V__R)))
           &
           s__instance(V__P1,s__Pain) &
           s__located(V__P1,V__H))))
   &
   ~(( ? [V__P2] :
       ((s__instance(V__P2,s__Physical) &
           (s__overlapsTemporally(s__WhenFn(V__P2)
          ,s__ImmediateFutureFn(s__WhenFn(V__R)))
     &
     s__instance(V__P,s__Pain) &
     s__located(V__P,V__H)))))))))))
)
)

Mid-level-ontology.kif 5438-5457
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__third__m,s__BinaryPredicate) &
             s__instance(s__third__m,s__SpatialRelation) &
             s__third(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__traverses__m,s__BinaryPredicate) &
             s__instance(s__traverses__m,s__SpatialRelation) &
             s__traverses(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__havePartTypes__m,s__BinaryPredicate) &
             s__instance(s__havePartTypes__m,s__SpatialRelation) &
             s__havePartTypes(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__exactlyLocated__m,s__BinaryPredicate) &
             s__instance(s__exactlyLocated__m,s__SpatialRelation) &
             s__exactlyLocated(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__CorpuscularObject) &
         s__instance(V__OBJ2,s__CorpuscularObject))
       =>
       (((s__instance(s__component__m,s__BinaryPredicate) &
             s__instance(s__component__m,s__SpatialRelation) &
             s__component(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__physicalEnd__m,s__BinaryPredicate) &
             s__instance(s__physicalEnd__m,s__SpatialRelation) &
             s__physicalEnd(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__located__m,s__BinaryPredicate) &
             s__instance(s__located__m,s__SpatialRelation) &
             s__located(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Hole))
       =>
       (((s__instance(s__properlyFills__m,s__BinaryPredicate) &
             s__instance(s__properlyFills__m,s__SpatialRelation) &
             s__properlyFills(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__PostcodeArea))
       =>
       (((s__instance(s__postPostcodeArea__m,s__BinaryPredicate) &
             s__instance(s__postPostcodeArea__m,s__SpatialRelation) &
             s__postPostcodeArea(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__penetrates__m,s__BinaryPredicate) &
             s__instance(s__penetrates__m,s__SpatialRelation) &
             s__penetrates(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__TelecomNumber))
       =>
       (((s__instance(s__telecomCode2__m,s__BinaryPredicate) &
             s__instance(s__telecomCode2__m,s__SpatialRelation) &
             s__telecomCode2(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__City))
       =>
       (((s__instance(s__postCity__m,s__BinaryPredicate) &
             s__instance(s__postCity__m,s__SpatialRelation) &
             s__postCity(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Tremor) &
         s__instance(V__OBJ2,s__Physical) &
         s__instance(V__OBJ2,s__LengthMeasure))
       =>
       (((s__instance(s__physicalAmplitude__m,s__BinaryPredicate) &
             s__instance(s__physicalAmplitude__m,s__SpatialRelation) &
             s__physicalAmplitude(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__crosses__m,s__BinaryPredicate) &
             s__instance(s__crosses__m,s__SpatialRelation) &
             s__crosses(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Character) &
         s__instance(V__OBJ2,s__SymbolicString))
       =>
       (((s__instance(s__inString__m,s__BinaryPredicate) &
             s__instance(s__inString__m,s__SpatialRelation) &
             s__inString(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__part__m,s__BinaryPredicate) &
             s__instance(s__part__m,s__SpatialRelation) &
             s__part(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__TelecomNumber))
       =>
       (((s__instance(s__telecomAreaCode__m,s__BinaryPredicate) &
             s__instance(s__telecomAreaCode__m,s__SpatialRelation) &
             s__telecomAreaCode(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__typicalPart__m,s__BinaryPredicate) &
             s__instance(s__typicalPart__m,s__SpatialRelation) &
             s__typicalPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__Neighborhood))
       =>
       (((s__instance(s__postNeighborhood__m,s__BinaryPredicate) &
             s__instance(s__postNeighborhood__m,s__SpatialRelation) &
             s__postNeighborhood(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__covers__m,s__BinaryPredicate) &
             s__instance(s__covers__m,s__SpatialRelation) &
             s__covers(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__EngineeringComponent) &
         s__instance(V__OBJ2,s__EngineeringComponent))
       =>
       (((s__instance(s__engineeringSubcomponent__m,s__BinaryPredicate) &
             s__instance(s__engineeringSubcomponent__m,s__SpatialRelation) &
             s__engineeringSubcomponent(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__most__m,s__BinaryPredicate) &
             s__instance(s__most__m,s__SpatialRelation) &
             s__most(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__typicallyContainsPart__m,s__BinaryPredicate) &
             s__instance(s__typicallyContainsPart__m,s__SpatialRelation) &
             s__typicallyContainsPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeopoliticalArea) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__geopoliticalSubdivision__m,s__BinaryPredicate) &
             s__instance(s__geopoliticalSubdivision__m,s__SpatialRelation) &
             s__geopoliticalSubdivision(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Collection) &
         s__instance(V__OBJ2,s__Collection))
       =>
       (((s__instance(s__subCollection__m,s__BinaryPredicate) &
             s__instance(s__subCollection__m,s__SpatialRelation) &
             s__subCollection(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__City) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__capitalCity__m,s__BinaryPredicate) &
             s__instance(s__capitalCity__m,s__SpatialRelation) &
             s__capitalCity(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__smaller__m,s__BinaryPredicate) &
             s__instance(s__smaller__m,s__SpatialRelation) &
             s__smaller(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__quarter__m,s__BinaryPredicate) &
             s__instance(s__quarter__m,s__SpatialRelation) &
             s__quarter(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__partlyLocated__m,s__BinaryPredicate) &
             s__instance(s__partlyLocated__m,s__SpatialRelation) &
             s__partlyLocated(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Hole))
       =>
       (((s__instance(s__partiallyFills__m,s__BinaryPredicate) &
             s__instance(s__partiallyFills__m,s__SpatialRelation) &
             s__partiallyFills(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Organization) &
         s__instance(V__OBJ2,s__Organization))
       =>
       (((s__instance(s__subOrganization__m,s__BinaryPredicate) &
             s__instance(s__subOrganization__m,s__SpatialRelation) &
             s__subOrganization(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__WaterArea) &
         s__instance(V__OBJ2,s__River))
       =>
       (((s__instance(s__streamOutfall__m,s__BinaryPredicate) &
             s__instance(s__streamOutfall__m,s__SpatialRelation) &
             s__streamOutfall(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Aircraft) &
         s__instance(V__OBJ2,s__AltitudeMeasure) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__absoluteHeight__m,s__BinaryPredicate) &
             s__instance(s__absoluteHeight__m,s__SpatialRelation) &
             s__absoluteHeight(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__interiorPart__m,s__BinaryPredicate) &
             s__instance(s__interiorPart__m,s__SpatialRelation) &
             s__interiorPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__half__m,s__BinaryPredicate) &
             s__instance(s__half__m,s__SpatialRelation) &
             s__half(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Organization) &
         s__instance(V__OBJ2,s__Organization))
       =>
       (((s__instance(s__chamberOfLegislature__m,s__BinaryPredicate) &
             s__instance(s__chamberOfLegislature__m,s__SpatialRelation) &
             s__chamberOfLegislature(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeographicArea) &
         s__instance(V__OBJ2,s__GeographicArea))
       =>
       (((s__instance(s__geographicSubregion__m,s__BinaryPredicate) &
             s__instance(s__geographicSubregion__m,s__SpatialRelation) &
             s__geographicSubregion(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Substance) &
         s__instance(V__OBJ2,s__Substance))
       =>
       (((s__instance(s__piece__m,s__BinaryPredicate) &
             s__instance(s__piece__m,s__SpatialRelation) &
             s__piece(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__contains__m,s__BinaryPredicate) &
             s__instance(s__contains__m,s__SpatialRelation) &
             s__contains(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__properPart__m,s__BinaryPredicate) &
             s__instance(s__properPart__m,s__SpatialRelation) &
             s__properPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Hole))
       =>
       (((s__instance(s__fills__m,s__BinaryPredicate) &
             s__instance(s__fills__m,s__SpatialRelation) &
             s__fills(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeopoliticalArea) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__primaryGeopoliticalSubdivision__m,s__BinaryPredicate) &
             s__instance(s__primaryGeopoliticalSubdivision__m,s__SpatialRelation) &
             s__primaryGeopoliticalSubdivision(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__larger__m,s__BinaryPredicate) &
             s__instance(s__larger__m,s__SpatialRelation) &
             s__larger(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__CorpuscularObject) &
         s__instance(V__OBJ2,s__Physical) &
         s__subclass(V__OBJ2,s__Artifact))
       =>
       (((s__instance(s__powerComponent__m,s__BinaryPredicate) &
             s__instance(s__powerComponent__m,s__SpatialRelation) &
             s__powerComponent(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Virus) &
         s__instance(V__OBJ2,s__Molecule))
       =>
       (((s__instance(s__geneticSubstrateOfVirus__m,s__BinaryPredicate) &
             s__instance(s__geneticSubstrateOfVirus__m,s__SpatialRelation) &
             s__geneticSubstrateOfVirus(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Cylinder) &
         s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical) &
         s__instance(V__OBJ2,s__LengthMeasure))
       =>
       (((s__instance(s__cylinderBore__m,s__BinaryPredicate) &
             s__instance(s__cylinderBore__m,s__SpatialRelation) &
             s__cylinderBore(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Vehicle))
       =>
       (((s__instance(s__onboard__m,s__BinaryPredicate) &
             s__instance(s__onboard__m,s__SpatialRelation) &
             s__onboard(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PoliticalParty) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__politicalPartyOfCountry__m,s__BinaryPredicate) &
             s__instance(s__politicalPartyOfCountry__m,s__SpatialRelation) &
             s__politicalPartyOfCountry(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__StateOrProvince))
       =>
       (((s__instance(s__postDistrict__m,s__BinaryPredicate) &
             s__instance(s__postDistrict__m,s__SpatialRelation) &
             s__postDistrict(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Transitway) &
         s__instance(V__OBJ2,s__TransitSystem))
       =>
       (((s__instance(s__routeInSystem__m,s__BinaryPredicate) &
             s__instance(s__routeInSystem__m,s__SpatialRelation) &
             s__routeInSystem(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__completelyFills__m,s__BinaryPredicate) &
             s__instance(s__completelyFills__m,s__SpatialRelation) &
             s__completelyFills(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__partTypes__m,s__BinaryPredicate) &
             s__instance(s__partTypes__m,s__SpatialRelation) &
             s__partTypes(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__flows__m,s__BinaryPredicate) &
             s__instance(s__flows__m,s__SpatialRelation) &
             s__flows(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__initiallyContainsPart__m,s__BinaryPredicate) &
             s__instance(s__initiallyContainsPart__m,s__SpatialRelation) &
             s__initiallyContainsPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__tributary__m,s__BinaryPredicate) &
             s__instance(s__tributary__m,s__SpatialRelation) &
             s__tributary(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__overlapsSpatially__m,s__BinaryPredicate) &
             s__instance(s__overlapsSpatially__m,s__SpatialRelation) &
             s__overlapsSpatially(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Agent) &
         s__instance(V__OBJ2,s__GeographicArea))
       =>
       (((s__instance(s__agentOperatesInArea__m,s__BinaryPredicate) &
             s__instance(s__agentOperatesInArea__m,s__SpatialRelation) &
             s__agentOperatesInArea(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__TelecomNumber))
       =>
       (((s__instance(s__telecomCoreNumber__m,s__BinaryPredicate) &
             s__instance(s__telecomCoreNumber__m,s__SpatialRelation) &
             s__telecomCoreNumber(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Transitway) &
         s__instance(V__OBJ2,s__TransitSystem))
       =>
       (((s__instance(s__pathInSystem__m,s__BinaryPredicate) &
             s__instance(s__pathInSystem__m,s__SpatialRelation) &
             s__pathInSystem(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Hole) &
         s__instance(V__OBJ2,s__SelfConnectedObject))
       =>
       (((s__instance(s__hole__m,s__BinaryPredicate) &
             s__instance(s__hole__m,s__SpatialRelation) &
             s__hole(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(s__connected__m,s__BinaryPredicate) &
             s__instance(s__connected__m,s__SpatialRelation) &
             s__connected(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__SymbolicString))
       =>
       (((s__instance(s__subString__m,s__BinaryPredicate) &
             s__instance(s__subString__m,s__SpatialRelation) &
             s__subString(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeopoliticalArea) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__administrativeCenter__m,s__BinaryPredicate) &
             s__instance(s__administrativeCenter__m,s__SpatialRelation) &
             s__administrativeCenter(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__SymbolicString))
       =>
       (((s__instance(s__keyName__m,s__BinaryPredicate) &
             s__instance(s__keyName__m,s__SpatialRelation) &
             s__keyName(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Organization) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__headquartersOfOrganization__m,s__BinaryPredicate) &
             s__instance(s__headquartersOfOrganization__m,s__SpatialRelation) &
             s__headquartersOfOrganization(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__PostalPlace) &
         s__instance(V__OBJ2,s__GeopoliticalArea))
       =>
       (((s__instance(s__postCountry__m,s__BinaryPredicate) &
             s__instance(s__postCountry__m,s__SpatialRelation) &
             s__postCountry(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__subclass(V__OBJ1,s__Object) &
         s__instance(V__OBJ1,s__Physical) &
         s__subclass(V__OBJ2,s__Object) &
         s__instance(V__OBJ2,s__Physical))
       =>
       (((s__instance(s__initialPart__m,s__BinaryPredicate) &
             s__instance(s__initialPart__m,s__SpatialRelation) &
             s__initialPart(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SymbolicString) &
         s__instance(V__OBJ2,s__TelecomNumber))
       =>
       (((s__instance(s__telecomCountryCode__m,s__BinaryPredicate) &
             s__instance(s__telecomCountryCode__m,s__SpatialRelation) &
             s__telecomCountryCode(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__EngineeringComponent) &
         s__instance(V__OBJ2,s__EngineeringComponent))
       =>
       (((s__instance(s__connectedEngineeringComponents__m,s__BinaryPredicate) &
             s__instance(s__connectedEngineeringComponents__m,s__SpatialRelation) &
             s__connectedEngineeringComponents(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsTemporally(s__WhenFn(V__OBJ1)
        ,s__WhenFn(V__OBJ2))))))
)
)

Merge.kif 7967-7972
No TPTP formula. May not be expressible in strict first order. Merge.kif 13244-13259
No TPTP formula. May not be expressible in strict first order. Merge.kif 13261-13274
( ! [V__WORK,V__W,V__PERSON] :
   (((s__instance(V__W,s__WorkLeave) &
         s__instance(V__WORK,s__Working) &
         s__agent(V__W,V__PERSON)
       &
       s__agent(V__WORK,V__PERSON)
     &
     s__instance(V__PERSON,s__Human))
   =>
   (~(s__overlapsTemporally(s__WhenFn(V__W)
    ,s__WhenFn(V__WORK)))))
)
)

Mid-level-ontology.kif 19604-19614
( ! [V__TYPE,V__AREA] :
   (((s__subclass(V__TYPE,s__Physical) &
         s__instance(V__TYPE,s__Class) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       (((s__naturalHazardTypeInArea(V__AREA,V__TYPE)
           &
           s__subclass(V__TYPE,s__Process))
         =>
         (( ? [V__ITEM] :
             ((s__instance(V__ITEM,s__Physical) &
                 (s__instance(V__ITEM,V__TYPE)
                 &
                 s__located(V__ITEM,V__AREA)
               &
               s__overlapsTemporally(s__WhenFn(V__ITEM)
            ,s__WhenFn(V__AREA))))))))))
)
)

Geography.kif 2248-2256
( ! [V__H] :
   ((s__instance(V__H,s__Agent) =>
       ((s__attribute(V__H,s__NewsReporter) =>
           (( ? [V__T, V__EV] :
               ((s__subclass(V__T,s__ContentBearingObject) &
                   (s__instance(V__EV,s__Process) &
                     s__overlapsTemporally(s__WhenFn(V__EV)
                  ,s__WhenFn(V__H))
               &
               s__authors(V__H,V__T)
             &
             s__refers(V__T,V__EV)))))))))
)
)

Mid-level-ontology.kif 20235-20244
( ! [V__DATE,V__THING] :
   (((s__subclass(V__DATE,s__TimePosition) &
         s__instance(V__DATE,s__Class) &
         s__instance(V__THING,s__Physical))
       =>
       ((s__dateDissolved(V__THING,V__DATE)
         =>
         (( ? [V__DAY] :
             ((s__instance(V__DAY,s__TimeInterval) &
                 (s__instance(V__DAY,V__DATE)
                 &
                 s__overlapsTemporally(V__DAY,s__EndFn(s__WhenFn(V__THING)))))))))))
)
)

Government.kif 2544-2549
( ! [V__DATE,V__THING] :
   (((s__subclass(V__DATE,s__TimePosition) &
         s__instance(V__DATE,s__Class) &
         s__instance(V__THING,s__Physical))
       =>
       ((s__dateEstablished(V__THING,V__DATE)
         =>
         (( ? [V__DAY] :
             ((s__instance(V__DAY,s__TimeInterval) &
                 (s__instance(V__DAY,V__DATE)
                 &
                 s__overlapsTemporally(V__DAY,s__BeginFn(s__WhenFn(V__THING)))))))))))
)
)

Mid-level-ontology.kif 926-931
( ! [V__AGENT,V__OBJECT,V__DATE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__DATE,s__TimeInterval) &
         s__instance(V__DATE,s__TimePoint))
       =>
       ((s__dateUsed(V__OBJECT,V__DATE,V__AGENT)
         =>
         (( ? [V__PROCESS] :
             ((s__instance(V__PROCESS,s__Process) &
                 s__patient(V__PROCESS,V__OBJECT)
               &
               s__agent(V__PROCESS,V__AGENT)
             &
             s__uses(V__OBJECT,V__AGENT)
           &
           s__overlapsTemporally(V__DATE,s__WhenFn(V__PROCESS)))))))))
)
)

Mid-level-ontology.kif 939-947
( ! [V__AGENT2,V__AGENT1,V__PERIOD] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent) &
         s__subclass(V__PERIOD,s__TimeInterval) &
         s__instance(V__PERIOD,s__Class))
       =>
       ((s__exportPartnerInPeriod(V__AGENT1,V__AGENT2,V__PERIOD)
         =>
         (( ? [V__TIME, V__EXPORT] :
             ((s__instance(V__TIME,s__TimeInterval) &
                 (s__instance(V__TIME,V__PERIOD)
                 &
                 s__instance(V__EXPORT,s__Exporting) &
                 s__overlapsTemporally(V__TIME,s__WhenFn(V__EXPORT))
             &
             s__origin(V__EXPORT,V__AGENT1)
           &
           s__destination(V__EXPORT,V__AGENT2)))))))))
)
)

Economy.kif 2363-2371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29881-29888

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25