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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeInterval
TimeInterval(time interval)1920s, 1930s, 1940s, 1950s, 1960s, 1970s, 1980s, 1990s, 24/7, Ab, Adar, Adar_Sheni, Aegean_civilisation, Aegean_civilization, Aegean_culture, Aghan, Allhallowtide, Asadha, Asarh, Asin, Asvina, Augustan, Av, Baisakh, Bhadon, Bhadrapada, Bronze_Age, Caitra, Caliphate, Chait, Chislev, Christian_era, Christmas, Christmastide, Christmastime, Common_era, Cretaceous, Cyclades, Cycladic_civilisation, Cycladic_civilization, Cycladic_culture, Dark_Ages, Depression, Dhu'l-Hijja, Dhu'l-Hijjah, Dhu'l-Qa'dah, Dhu_al-Hijja, Dhu_al-Hijjah, Dhu_al-Qadah, ERA...

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


s__documentation(s__TimeInterval,s__ChineseLanguage,'"这是一个时段。注: TimeInterval 在通用时间轴上 皆有范围和位置;另外 TimeInterval 是没有间隙的,即这个类别只含凸时间间隔。"')

chinese_format.kif 1785-1786
s__documentation(s__TimeInterval,s__EnglishLanguage,'"An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals."')

Merge.kif 2000-2003
s__instance(s__TimePosition,s__SetOrClass)

s__instance(s__TimeInterval,s__SetOrClass)

s__subclass(s__TimeInterval,s__TimePosition)

Merge.kif 1998-1998 Time interval is a subclass of time position

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


s__instance(s__BeforeCommonEra,s__TimeInterval)

s__instance(s__TimeInterval,s__SetOrClass)

Mid-level-ontology.kif 7242-7242 Before common era is an instance of time interval
s__instance(s__TimeInterval,s__SetOrClass)

s__instance(s__CommonEra,s__TimeInterval)

Mid-level-ontology.kif 7250-7250 Common era is an instance of time interval
s__partition__3(s__TimePosition,s__TimeInterval,s__TimePoint)

Merge.kif 1993-1993 Time position is exhaustively partitioned into time interval and time point
s__range(s__FiscalYearStartingFn__m,s__TimeInterval)

Economy.kif 3727-3727 The range of fiscal year starting is an instance of time interval
s__range(s__FutureFn__m,s__TimeInterval)

Merge.kif 8121-8121 The range of future is an instance of time interval
s__range(s__ImmediateFutureFn__m,s__TimeInterval)

Merge.kif 8138-8138 The range of immediate future is an instance of time interval
s__range(s__ImmediatePastFn__m,s__TimeInterval)

Merge.kif 8107-8107 The range of immediate past is an instance of time interval
s__range(s__PastFn__m,s__TimeInterval)

Merge.kif 8089-8089 The range of past is an instance of time interval
s__range(s__SiteSpeedFn__m,s__TimeInterval)

UXExperimentalTerms.kif 3956-3956 The range of site speed is an instance of time interval
s__range(s__TTFxFn__m,s__TimeInterval)

UXExperimentalTerms.kif 1701-1701 The range of TTFx is an instance of time interval
s__range(s__TimeIntervalFn__m,s__TimeInterval)

Merge.kif 8022-8022 The range of time interval is an instance of time interval
s__range(s__TimePeriodFn__m,s__TimeInterval)

Mid-level-ontology.kif 12403-12403 The range of time period function is an instance of time interval
s__range(s__WhenFn__m,s__TimeInterval)

Merge.kif 8078-8078 The range of when is an instance of time interval
s__rangeSubclass(s__FiscalYearFn__m,s__TimeInterval)

Economy.kif 3701-3701 The values returned by fiscal year are subclasses of time interval
s__rangeSubclass(s__RecurrentTimeIntervalFn__m,s__TimeInterval)

Merge.kif 8055-8055 The values returned by recurrent time interval are subclasses of time interval
s__rangeSubclass(s__TemporalCompositionFn__m,s__TimeInterval)

Merge.kif 8969-8969 The values returned by temporal composition are subclasses of time interval
s__instance(s__TimeInterval,s__SetOrClass)

s__instance(s__AnteMeridiem,s__SetOrClass)

s__subclass(s__AnteMeridiem,s__TimeInterval)

Mid-level-ontology.kif 17229-17229 Ante meridiem is a subclass of time interval
s__subclass(s__BreakfastTime,s__TimeInterval)

s__instance(s__TimeInterval,s__SetOrClass)

s__instance(s__BreakfastTime,s__SetOrClass)

Food.kif 195-195 Breakfast time is a subclass of time interval
s__instance(s__TimeInterval,s__SetOrClass)

s__instance(s__Day,s__SetOrClass)

s__subclass(s__Day,s__TimeInterval)

Merge.kif 8824-8824 Day is a subclass of time interval
s__instance(s__TimeInterval,s__SetOrClass)

s__subclass(s__DayTime,s__TimeInterval)

s__instance(s__DayTime,s__SetOrClass)

Merge.kif 8459-8459 Day time is a subclass of time interval
s__instance(s__TimeInterval,s__SetOrClass)

s__instance(s__Decade,s__SetOrClass)

s__subclass(s__Decade,s__TimeInterval)

Merge.kif 8375-8375 Decade is a subclass of time interval
s__subclass(s__DhuAlHijjah,s__TimeInterval)

s__instance(s__DhuAlHijjah,s__SetOrClass)

s__instance(s__TimeInterval,s__SetOrClass)

ArabicCulture.kif 103-103 Dhu al hijjah is a subclass of time interval
s__instance(s__DinnerTime,s__SetOrClass)

s__instance(s__TimeInterval,s__SetOrClass)

s__subclass(s__DinnerTime,s__TimeInterval)

Food.kif 224-224 Dinner time is a subclass of time interval
s__instance(s__TimeInterval,s__SetOrClass)

s__subclass(s__Holiday,s__TimeInterval)

s__instance(s__Holiday,s__SetOrClass)

Mid-level-ontology.kif 13186-13186 Holiday is a subclass of time interval
s__instance(s__Hour,s__SetOrClass)

s__subclass(s__Hour,s__TimeInterval)

s__instance(s__TimeInterval,s__SetOrClass)

Merge.kif 8934-8934 Hour is a subclass of time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__BeginFn__m,n__1,s__TimeInterval)

Merge.kif 7715-7715 The number 1 argument of begin is an instance of time interval
s__domain(s__EndFn__m,n__1,s__TimeInterval)

Merge.kif 7743-7743 The number 1 argument of end is an instance of time interval
s__domain(s__GPIFn__m,n__2,s__TimeInterval)

UXExperimentalTerms.kif 3367-3367 The number 2 argument of GPW is an instance of time interval
s__domain(s__Mean10MinutesWindSpeedFn__m,n__2,s__TimeInterval)

Weather.kif 2212-2212 The number 2 argument of ten minute mean surface wind speed is an instance of time interval
s__domain(s__Mean1MinuteWindSpeedFn__m,n__2,s__TimeInterval)

Weather.kif 2317-2317 The number 2 argument of one minute mean surface wind speed is an instance of time interval
s__domain(s__Mean2MinutesWindSpeedFn__m,n__2,s__TimeInterval)

Weather.kif 2282-2282 The number 2 argument of two minute mean surface wind speed is an instance of time interval
s__domain(s__Mean3MinutesWindSpeedFn__m,n__2,s__TimeInterval)

Weather.kif 2247-2247 The number 2 argument of three minute mean surface wind speed is an instance of time interval
s__domain(s__Mean3SecondWindSpeedFn__m,n__2,s__TimeInterval)

Weather.kif 1899-1899 The number 2 argument of three second mean surface wind speed is an instance of time interval
s__domain(s__Mean3SecondWindSpeedListFn__m,n__2,s__TimeInterval)

Weather.kif 1987-1987 The number 2 argument of mean three second wind speed list is an instance of time interval
s__domain(s__MusicalInterpretationFn__m,n__3,s__TimeInterval)

Music.kif 843-843 The number 3 argument of musical interpretation is an instance of time interval
s__domain(s__PPIFn__m,n__2,s__TimeInterval)

UXExperimentalTerms.kif 3293-3293 The number 2 argument of qualifying purchases per user per interval is an instance of time interval
s__domain(s__SCRFn__m,n__2,s__TimeInterval)

UXExperimentalTerms.kif 3868-3868 The number 2 argument of sales conversion rate is an instance of time interval
s__domain(s__SiteWideNewBuyersFn__m,n__1,s__TimeInterval)

UXExperimentalTerms.kif 3572-3572 The number 1 argument of new buyers is an instance of time interval
s__domain(s__SiteWideNewRegistrationsFn__m,n__1,s__TimeInterval)

UXExperimentalTerms.kif 3624-3624 The number 1 argument of site-wide new registrations is an instance of time interval
s__domain(s__SiteWideNewSellersFn__m,n__1,s__TimeInterval)

UXExperimentalTerms.kif 3671-3671 The number 1 argument of site-wide new sellers is an instance of time interval
s__domain(s__TemporalCompositionFn__m,n__1,s__TimeInterval)

Merge.kif 8967-8967 The number 1 argument of temporal composition is an instance of time interval
s__domain(s__ThreeSecondGustSpeedFn__m,n__2,s__TimeInterval)

Weather.kif 2027-2027 The number 2 argument of three second gust speed is an instance of time interval
s__domain(s__TimeIntervalListFn__m,n__1,s__TimeInterval)

Weather.kif 1955-1955 The number 1 argument of time interval list is an instance of time interval
s__domain(s__agreementPeriod__m,n__2,s__TimeInterval)

Mid-level-ontology.kif 12376-12376 The number 2 argument of agreement period is an instance of time interval
s__domain(s__anniversary__m,n__2,s__TimeInterval)

Mid-level-ontology.kif 22367-22367 The number 2 argument of anniversary is an instance of time interval
s__domain(s__burnInPeriod__m,n__2,s__TimeInterval)

UXExperimentalTerms.kif 4507-4507 The number 2 argument of burn-in period is an instance of time interval
s__domain(s__compoundInterest__m,n__3,s__TimeInterval)

FinancialOntology.kif 526-526 The number 3 argument of compound interest is an instance of time interval
s__domain(s__constructionPeriod__m,n__2,s__TimeInterval)

Mid-level-ontology.kif 18906-18906 The number 2 argument of construction period is an instance of time interval
s__domain(s__creditsPerPeriod__m,n__3,s__TimeInterval)

FinancialOntology.kif 3762-3762 The number 3 argument of credits per period is an instance of time interval
s__domain(s__daylightHoursInterval__m,n__3,s__TimeInterval)

Weather.kif 852-852 The number 3 argument of daylight hours interval is an instance of time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7329-7339
No TPTP formula. May not be expressible in strict first order. Merge.kif 3708-3715
( ! [V__PAGE,V__ACCESSING,V__INTERVAL,V__REQUESTING,V__BROWSER,V__TRANSFER,V__SERVER] :
   (((s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__WebPage) &
         s__instance(V__TRANSFER,s__DataTransfer) &
         s__instance(V__SERVER,s__Server) &
         s__instance(V__REQUESTING,s__Requesting) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__patient(V__ACCESSING,V__PAGE)
       &
       s__agent(V__REQUESTING,V__BROWSER)
     &
     s__destination(V__REQUESTING,V__SERVER)
   &
   s__patient(V__REQUESTING,V__PAGE)
&
s__origin(V__TRANSFER,V__SERVER)
&
s__destination(V__TRANSFER,V__BROWSER)
&
s__patient(V__TRANSFER,V__PAGE)
&
s__subProcess(V__TRANSFER,V__ACCESSING)
&
s__subProcess(V__REQUESTING,V__ACCESSING)
&
(s__EndFn(s__WhenFn(V__REQUESTING))
= s__BeginFn(V__INTERVAL))
&
(s__EndFn(s__WhenFn(V__TRANSFER))
= s__EndFn(V__INTERVAL)))
=>
((s__SiteSpeedFn(V__ACCESSING)
= V__INTERVAL)))
)
)

UXExperimentalTerms.kif 3966-3991
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3302-3321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3263-3280
( ! [V__AGENT,V__IMPRISON,V__INTERVAL] :
   (((s__instance(V__IMPRISON,s__Imprisoning) &
         s__detainee(V__IMPRISON,V__AGENT)
       &
       s__instance(V__AGENT,s__Human) &
       s__time(V__IMPRISON,V__INTERVAL)
     &
     s__instance(V__INTERVAL,s__TimeInterval))
   =>
   (( ? [V__ARREST, V__TIME] :
       ((s__instance(V__TIME,s__TimeInterval) &
           s__time(V__ARREST,V__TIME)
         &
         s__earlier(V__TIME,V__INTERVAL)
       &
       s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__arrested(V__ARREST,V__AGENT))))))
)
)

Mid-level-ontology.kif 21708-21721
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL1,s__TimeInterval) &
         s__instance(V__INTERVAL2,s__TimeInterval) &
         (s__BeginFn(V__INTERVAL1)
         = s__BeginFn(V__INTERVAL2))
     &
     (s__EndFn(V__INTERVAL1)
     = s__EndFn(V__INTERVAL2)))
=>
((V__INTERVAL1 = V__INTERVAL2)))
)
)

Merge.kif 7971-7981
( ! [V__POINT2,V__POINT1,V__INTERVAL] :
   (((s__instance(V__POINT1,s__TimePoint) &
         s__instance(V__POINT2,s__TimePoint) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         (s__TimeIntervalFn(V__POINT1,V__POINT2)
         = V__INTERVAL))
     =>
     (((s__BeginFn(V__INTERVAL)
         = V__POINT1)
       &
       (s__EndFn(V__INTERVAL)
       = V__POINT2))))
)
)

Merge.kif 8029-8037
( ! [V__POINT2,V__POINT1,V__INTERVAL] :
   (((s__instance(V__POINT1,s__TimePoint) &
         s__instance(V__POINT2,s__TimePoint) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         (s__TimeIntervalFn(V__POINT1,V__POINT2)
         = V__INTERVAL))
     =>
     (( ! [V__POINT] :
         ((s__instance(V__POINT,s__TimePoint) =>
             (((s__temporallyBetweenOrEqual(V__POINT1,V__POINT,V__POINT2)
                 =>
                 s__temporalPart(V__POINT,V__INTERVAL))
             &
             (s__temporalPart(V__POINT,V__INTERVAL)
             =>
             s__temporallyBetweenOrEqual(V__POINT1,V__POINT,V__POINT2)))))))))
)
)

Merge.kif 8039-8048
( ! [V__AGENT,V__PROCESS,V__ACCESSING,V__TIMETOFIRST,V__PROCESS_CLASS] :
   (((s__instance(V__PROCESS,s__TimeInterval) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESS_CLASS,s__Class))
       =>
       (((s__instance(V__PROCESS,V__PROCESS_CLASS)
           &
           s__subclass(V__PROCESS_CLASS,s__Process) &
           s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__instance(V__AGENT,s__Agent) &
           s__agent(V__PROCESS,V__AGENT)
         &
         s__agent(V__ACCESSING,V__AGENT)
       &
       s__during(V__PROCESS,V__ACCESSING)
     &
     s__instance(V__TIMETOFIRST,s__TimeInterval) &
     ~(( ? [V__PROCESS2] :
         ((s__instance(V__PROCESS2,s__TimeInterval) &
             s__instance(V__PROCESS2,s__Process) &
             (s__instance(V__PROCESS2,V__PROCESS_CLASS)
             &
             s__agent(V__PROCESS2,V__AGENT)
           &
           s__during(V__PROCESS2,V__ACCESSING)
         &
         s__before(s__BeginFn(s__WhenFn(V__PROCESS2))
    ,s__BeginFn(s__WhenFn(V__PROCESS))))))))
&
(s__BeginFn(s__WhenFn(V__ACCESSING))
= s__BeginFn(s__WhenFn(V__TIMETOFIRST)))
&
(s__BeginFn(s__WhenFn(V__PROCESS))
= s__EndFn(s__WhenFn(V__TIMETOFIRST))))
=>
((s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
= V__TIMETOFIRST)))))
)
)

UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. Economy.kif 440-446
No TPTP formula. May not be expressible in strict first order. Economy.kif 455-461
No TPTP formula. May not be expressible in strict first order. Economy.kif 463-469
No TPTP formula. May not be expressible in strict first order. Economy.kif 478-484
No TPTP formula. May not be expressible in strict first order. Economy.kif 486-492
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2610-2626
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2628-2644

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [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 7918-7924 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. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
( ! [V__AGENT,V__IMPRISON,V__INTERVAL] :
   (((s__instance(V__IMPRISON,s__Imprisoning) &
         s__detainee(V__IMPRISON,V__AGENT)
       &
       s__instance(V__AGENT,s__Human) &
       s__time(V__IMPRISON,V__INTERVAL)
     &
     s__instance(V__INTERVAL,s__TimeInterval))
   =>
   (( ? [V__ARREST, V__TIME] :
       ((s__instance(V__TIME,s__TimeInterval) &
           s__time(V__ARREST,V__TIME)
         &
         s__earlier(V__TIME,V__INTERVAL)
       &
       s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__arrested(V__ARREST,V__AGENT))))))
)
)

Mid-level-ontology.kif 21708-21721
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
( ! [V__TIME,V__Time,V__LIST] :
   (((s__instance(V__LIST,s__ConsecutiveTimeIntervalList) &
         s__inList(V__TIME,V__LIST))
     =>
     (s__instance(V__Time,s__TimeInterval)))
   )
)

Weather.kif 1928-1932
No TPTP formula. May not be expressible in strict first order. naics.kif 8783-8804
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16322-16356
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1812-1828
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3837-3846
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3848-3858
( ! [V__Date,V__Exercise,V__Option] :
   (((s__instance(V__Date,s__TimeInterval) &
         s__instance(V__Date,s__TimePoint) &
         s__instance(V__Exercise,s__Physical) &
         s__instance(V__Option,s__Agreement))
       =>
       (((s__property(V__Option,s__EuropeanStyleOption) &
             s__agreementExpirationDate(V__Option,V__Date))
         =>
         (( ? [V__Period, V__Time] :
             ((s__instance(V__Time,s__TimeInterval) &
                 (s__instance(V__Period,s__TimeInterval) &
                   s__finishes(V__Period,V__Date)
                 &
                 ((s__instance(V__Exercise,s__ExerciseAnOption) &
                     (s__WhenFn(V__Exercise)
                     = V__Time))
                 =>
                 (s__temporalPart(V__Time,V__Period)))))))))))
)
)

FinancialOntology.kif 2748-2760
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483
No TPTP formula. May not be expressible in strict first order. Merge.kif 13691-13697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20562-20574
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15527-15549
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 338-358
( ! [V__POINT] :
   ((s__instance(V__POINT,s__TimePoint) =>
       (( ? [V__INTERVAL] :
           ((s__instance(V__INTERVAL,s__TimeInterval) &
               s__temporalPart(V__POINT,V__INTERVAL))))))
   )
)

Merge.kif 7679-7684