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...

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


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

Merge.kif 2172-2173
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 2168-2171
s__subclass(s__TimeInterval,s__TimePosition)

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

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


s__instance(s__BeforeCommonEra,s__TimeInterval)

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

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

Merge.kif 2160-2160 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 8602-8602 The range of future is an instance of time interval
s__range(s__ImmediateFutureFn__m,s__TimeInterval)

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

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

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

UXExperimentalTerms.kif 3944-3944 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 8494-8494 The range of time interval is an instance of time interval
s__range(s__TimePeriodFn__m,s__TimeInterval)

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

Merge.kif 8555-8555 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 8529-8529 The values returned by recurrent time interval are subclasses of time interval
s__rangeSubclass(s__TemporalCompositionFn__m,s__TimeInterval)

Merge.kif 9345-9345 The values returned by temporal composition are subclasses of time interval
s__subclass(s__AnteMeridiem,s__TimeInterval)

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

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

Merge.kif 9199-9199 Day is a subclass of time interval
s__subclass(s__DayTime,s__TimeInterval)

Mid-level-ontology.kif 16789-16789 Day time is a subclass of time interval
s__instance(s__Decade,s__SetOrClass)

Merge.kif 8869-8869 Decade is a subclass of time interval
s__instance(s__DhuAlHijjah,s__SetOrClass)

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

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

Mid-level-ontology.kif 12552-12552 Holiday is a subclass of time interval
s__subclass(s__Hour,s__TimeInterval)

Merge.kif 9310-9310 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,1,s__TimeInterval)

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

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

UXExperimentalTerms.kif 3364-3364 The number 2 argument of GPW is an instance of time interval
s__domain(s__MusicalInterpretationFn__m,3,s__TimeInterval)

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

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

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

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

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

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

Merge.kif 9343-9343 The number 1 argument of temporal composition is an instance of time interval
s__domain(s__agreementPeriod__m,2,s__TimeInterval)

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

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

UXExperimentalTerms.kif 4498-4498 The number 2 argument of burn-in period is an instance of time interval
s__domain(s__compoundInterest__m,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,2,s__TimeInterval)

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

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

Weather.kif 464-464 The number 3 argument of daylight hours interval is an instance of time interval
s__domain(s__duration__m,1,s__TimeInterval)

Merge.kif 8096-8096 The number 1 argument of duration is an instance of time interval
s__domain(s__during__m,1,s__TimeInterval)

Merge.kif 8410-8410 The number 1 argument of during is an instance of time interval
s__domain(s__during__m,2,s__TimeInterval)

Merge.kif 8411-8411 The number 2 argument of during is an instance of time interval
s__domain(s__earlier__m,1,s__TimeInterval)

Merge.kif 8457-8457 The number 1 argument of earlier is an instance of time interval
s__domain(s__earlier__m,2,s__TimeInterval)

Merge.kif 8458-8458 The number 2 argument of earlier is an instance of time interval
s__domain(s__employeeContribution__m,3,s__TimeInterval)

FinancialOntology.kif 3241-3241 The number 3 argument of employee contribution is an instance of time interval
s__domain(s__finishes__m,1,s__TimeInterval)

Merge.kif 8252-8252 The number 1 argument of finishes is an instance of time interval
s__domain(s__finishes__m,2,s__TimeInterval)

Merge.kif 8253-8253 The number 2 argument of finishes 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 7656-7666
No TPTP formula. May not be expressible in strict first order. Merge.kif 3947-3954
( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] :
   ((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 3954-3979
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3299-3318
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3260-3277
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 115-129
( ! [V__IMPRISON,V__AGENT,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 21393-21406
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3650
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3670-3703
( ! [V__POINT1,V__POINT2,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 8503-8511
( ! [V__POINT1,V__POINT2,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__temporallyBetweenOrEqual(V__POINT1,V__POINT,V__POINT2)
     <=>
     s__temporalPart(V__POINT,V__INTERVAL))))
)

Merge.kif 8513-8522
( ! [V__PROCESS,V__PROCESS_CLASS,V__ACCESSING,V__AGENT,V__TIMETOFIRST] :
   ((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,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. LinkedInDegrees.kif 263-274
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 291-303
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 390-404
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 335-347
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 236-246
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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__INTERVAL1,V__INTERVAL2] :
   (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))))
)

Merge.kif 8388-8394 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__IMPRISON,V__AGENT,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 21393-21406
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3650
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3670-3703
No TPTP formula. May not be expressible in strict first order. naics.kif 8701-8722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 159-171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15813-15847
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1811-1827
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3825-3834
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3836-3846
( ! [V__Option,V__Date,V__Exercise] :
   ((s__property(V__Option,s__EuropeanStyleOption) &
       s__agreementExpirationDate(V__Option,V__Date))
   =>
   (? [V__Period,V__Time] :
     (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 2728-2740
( ! [V__OBJ,V__QUANT,V__AGENT,V__PS,V__PRICE,V__TIME,V__ITEM,V__R,V__CUSTOMER,V__TIMEINT,V__DURATION] :
   ((s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
     &
     (V__QUANT = s__PerFn(V__PRICE,V__TIME))
   &
   s__immediateInstance(V__ITEM,V__OBJ)
&
s__instance(V__R,s__Renting) &
s__patient(V__R,V__ITEM)
&
s__possesses(V__OBJ,V__AGENT)
&
s__agent(V__R,V__CUSTOMER)
&
s__time(V__R,V__TIMEINT))
=>
(! [V__X] :
((s__during(V__TIMEINT,V__X)
&
s__instance(V__X,s__TimeInterval) &
s__duration(V__X,V__DURATION)
&
s__lessThanOrEqualTo(V__DURATION,V__TIME))
=>
(? [V__P] :
(s__instance(V__P,s__Payment) &
s__destination(V__P,V__AGENT)
&
s__agent(V__P,V__CUSTOMER)
&
s__transactionAmount(V__P,V__PRICE))))))
)

Catalog.kif 450-472
No TPTP formula. May not be expressible in strict first order. Merge.kif 14359-14365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20110-20122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14883-14905
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 8140-8145

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1972-1980 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all a human


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners