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

VerbNet: weekend-56|winter, weekend-56|summer, weekend-56|weekend, weekend-56|winter,


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 1994-1997
s__instance(s__TimePosition,s__SetOrClass)

s__instance(s__TimeInterval,s__SetOrClass)

s__subclass(s__TimeInterval,s__TimePosition)

 Merge.kif 1992-1992 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 7587-7587 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 7595-7595 Common era is an instance of time interval
s__partition__3(s__TimePosition,s__TimeInterval,s__TimePoint)

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

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

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

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

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

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

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

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

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

 Merge.kif 8784-8784 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 16877-16877 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 8639-8639 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 8275-8275 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 8191-8191 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 12552-12552 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 8749-8749 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 7535-7535 The number 1 argument of begin is an instance of time interval
s__domain(s__EndFn__m,n__1,s__TimeInterval)

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

 UXExperimentalTerms.kif 3362-3362 The number 2 argument of GPW 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 3288-3288 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 3863-3863 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 3567-3567 The number 1 argument of new buyers is an instance of time interval
s__domain(s__SiteWideNewRegistrationsFn__m,n__1,s__TimeInterval)

 UXExperimentalTerms.kif 3619-3619 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 3666-3666 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 8782-8782 The number 1 argument of temporal composition is an instance of time interval
s__domain(s__agreementPeriod__m,n__2,s__TimeInterval)

 Mid-level-ontology.kif 11620-11620 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 21955-21955 The number 2 argument of anniversary is an instance of time interval
s__domain(s__burnInPeriod__m,n__2,s__TimeInterval)

 UXExperimentalTerms.kif 4504-4504 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 525-525 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 18458-18458 The number 2 argument of construction period is an instance of time interval
s__domain(s__creditsPerPeriod__m,n__3,s__TimeInterval)

 FinancialOntology.kif 3714-3714 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 463-463 The number 3 argument of daylight hours interval is an instance of time interval
s__domain(s__duration__m,n__1,s__TimeInterval)

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

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

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

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

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

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

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

 Merge.kif 7613-7613 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 7658-7668
No TPTP formula. May not be expressible in strict first order. Merge.kif 3664-3671
( ! [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 3961-3986
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3297-3316
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3258-3275
( ! [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 21437-21450
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3631-3658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
( ! [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 7846-7854
( ! [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 7856-7865
( ! [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_CLASS,s__SetOrClass))
     =>
     (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 1700-1722
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 2591-2607
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2545-2561
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2609-2625
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2563-2581

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 7738-7744 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 1520-1536
( ! [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 21437-21450
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3631-3658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
No TPTP formula. May not be expressible in strict first order. naics.kif 8699-8720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15844-15878
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1809-1825
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3832-3841
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3843-3853
( ! [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 2729-2741
( ! [V__AGENT,V__PS,V__DURATION,V__CUSTOMER,V__TIME,V__R,V__OBJ,V__PRICE,V__TIMEINT,V__ITEM,V__QUANT] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__PS,s__PricingScheme) &
       s__instance(V__DURATION,s__TimeDuration) &
       s__instance(V__CUSTOMER,s__Agent) &
       s__instance(V__TIME,s__PhysicalQuantity) &
       s__instance(V__OBJ,s__Agent) &
       s__subclass(V__OBJ,s__Physical) &
       s__instance(V__PRICE,s__CurrencyMeasure) &
       s__instance(V__TIMEINT,s__TimeInterval) &
       s__instance(V__QUANT,s__FunctionQuantity))
     =>
     (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 13314-13320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20181-20193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14884-14906
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 336-356
( ! [V__POINT] :
   (s__instance(V__POINT,s__TimePoint) =>
     ( ? [V__INTERVAL] :
       ((s__instance(V__INTERVAL,s__TimeInterval) &
           s__temporalPart(V__POINT,V__INTERVAL))))
   )
)

 Merge.kif 7499-7504

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 an entity


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