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 是没有间隙的,即这个类别只含凸时间间隔。')

Merge.kif 2185-2186
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 2181-2184
s__instance(s__TimePosition,s__SetOrClass)

s__instance(s__TimeInterval,s__SetOrClass)

s__subclass(s__TimeInterval,s__TimePosition)

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

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

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

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

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

Merge.kif 9400-9400 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 16853-16853 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 244-244 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 9254-9254 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)

Mid-level-ontology.kif 16819-16819 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 8892-8892 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 273-273 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 9365-9365 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 8193-8193 The number 1 argument of begin is an instance of time interval
s__domain(s__EndFn__m,1,s__TimeInterval)

Merge.kif 8217-8217 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 9398-9398 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 21942-21942 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 18456-18456 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 8113-8113 The number 1 argument of duration is an instance of time interval
s__domain(s__during__m,1,s__TimeInterval)

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

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

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

Merge.kif 8475-8475 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 8269-8269 The number 1 argument of finishes is an instance of time interval
s__domain(s__finishes__m,2,s__TimeInterval)

Merge.kif 8270-8270 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 3960-3967
( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] :
   ((s__instance(V__ACCESSING,s__AccessingWebPage)s__and__ms__instance(V__PAGE,s__WebPage)s__and__ms__instance(V__TRANSFER,s__DataTransfer)s__and__ms__instance(V__SERVER,s__Server)s__and__ms__instance(V__REQUESTING,s__Requesting)s__and__ms__instance(V__BROWSER,s__WebBrowser)s__and__ms__instance(V__INTERVAL,s__TimeInterval)s__and__ms__patient(V__ACCESSING,V__PAGE)
    s__and__ms__agent(V__REQUESTING,V__BROWSER)
  s__and__ms__destination(V__REQUESTING,V__SERVER)
s__and__ms__patient(V__REQUESTING,V__PAGE)
s__and__ms__origin(V__TRANSFER,V__SERVER)
s__and__ms__destination(V__TRANSFER,V__BROWSER)
s__and__ms__patient(V__TRANSFER,V__PAGE)
s__and__ms__subProcess(V__TRANSFER,V__ACCESSING)
s__and__ms__subProcess(V__REQUESTING,V__ACCESSING)
s__and__m(s__EndFn(s__WhenFn(V__REQUESTING))
s__equal__ms__BeginFn(V__INTERVAL))
s__and__m(s__EndFn(s__WhenFn(V__TRANSFER))
s__equal__ms__EndFn(V__INTERVAL)))
s__=>(s__SiteSpeedFn(V__ACCESSING)
s__equal__mV__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
( ! [V__IMPRISON,V__AGENT,V__INTERVAL] :
   ((s__instance(V__IMPRISON,s__Imprisoning)s__and__ms__detainee(V__IMPRISON,V__AGENT)
    s__and__ms__instance(V__AGENT,s__Human)s__and__ms__time(V__IMPRISON,V__INTERVAL)
  s__and__ms__instance(V__INTERVAL,s__TimeInterval))
s__=>(s__exists__m[V__ARREST,V__TIME] :
   (s__instance(V__TIME,s__TimeInterval)s__and__ms__time(V__ARREST,V__TIME)
  s__and__ms__earlier(V__TIME,V__INTERVAL)
s__and__ms__instance(V__ARREST,s__PlacingUnderArrest)s__and__ms__arrested(V__ARREST,V__AGENT))))
)

Mid-level-ontology.kif 21424-21437
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__and__ms__instance(V__POINT2,s__TimePoint)s__and__ms__instance(V__INTERVAL,s__TimeInterval)s__and__m(s__TimeIntervalFn(V__POINT1,V__POINT2)
    s__equal__mV__INTERVAL))
  s__=>((s__BeginFn(V__INTERVAL)
    s__equal__mV__POINT1)s__and__m(s__EndFn(V__INTERVAL)
  s__equal__mV__POINT2)))
)

Merge.kif 8520-8528
( ! [V__POINT1,V__POINT2,V__INTERVAL] :
   ((s__instance(V__POINT1,s__TimePoint)s__and__ms__instance(V__POINT2,s__TimePoint)s__and__ms__instance(V__INTERVAL,s__TimeInterval)s__and__m(s__TimeIntervalFn(V__POINT1,V__POINT2)
    s__equal__mV__INTERVAL))
  s__=>(s__forall__m[V__POINT] :
     (s__instance(V__POINT,s__TimePoint)s__=>(s__temporallyBetweenOrEqual(V__POINT1,V__POINT,V__POINT2)
      s__<=>
      s__temporalPart(V__POINT,V__INTERVAL)))))
)

Merge.kif 8530-8539
( ! [V__PROCESS,V__PROCESS_CLASS,V__ACCESSING,V__AGENT,V__TIMETOFIRST] :
   ((s__instance(V__PROCESS,s__TimeInterval)s__and__ms__instance(V__PROCESS,s__Process)s__and__ms__instance(V__PROCESS_CLASS,s__Class)s__and__ms__instance(V__PROCESS_CLASS,s__SetOrClass))
    s__=>((s__instance(V__PROCESS,V__PROCESS_CLASS)
      s__and__ms__subclass(V__PROCESS_CLASS,s__Process)s__and__ms__instance(V__ACCESSING,s__AccessingWebPage)s__and__ms__instance(V__AGENT,s__Agent)s__and__ms__agent(V__PROCESS,V__AGENT)
    s__and__ms__agent(V__ACCESSING,V__AGENT)
  s__and__ms__during(V__PROCESS,V__ACCESSING)
s__and__ms__instance(V__TIMETOFIRST,s__TimeInterval)s__and__m(s__not__m(s__exists__m[V__PROCESS2] :
(s__instance(V__PROCESS2,s__TimeInterval)s__and__ms__instance(V__PROCESS2,s__Process)s__and__m(s__instance(V__PROCESS2,V__PROCESS_CLASS)
s__and__ms__agent(V__PROCESS2,V__AGENT)
s__and__ms__during(V__PROCESS2,V__ACCESSING)
s__and__ms__before(s__BeginFn(s__WhenFn(V__PROCESS2))
,s__BeginFn(s__WhenFn(V__PROCESS)))))))
s__and__m(s__BeginFn(s__WhenFn(V__ACCESSING))
s__equal__ms__BeginFn(s__WhenFn(V__TIMETOFIRST)))
s__and__m(s__BeginFn(s__WhenFn(V__PROCESS))
s__equal__ms__EndFn(s__WhenFn(V__TIMETOFIRST))))
s__=>(s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
s__equal__mV__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 2590-2606
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2546-2562
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2624
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580

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__and__ms__instance(V__INTERVAL1,s__TimeInterval))
    s__=>(s__overlapsTemporally(V__INTERVAL1,V__INTERVAL2)
    s__<=>
    (s__exists__m[V__INTERVAL3] :
       (s__instance(V__INTERVAL3,s__TimeInterval)s__and__ms__temporalPart(V__INTERVAL3,V__INTERVAL1)
      s__and__ms__temporalPart(V__INTERVAL3,V__INTERVAL2)))))
)

Merge.kif 8405-8411 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__and__ms__detainee(V__IMPRISON,V__AGENT)
    s__and__ms__instance(V__AGENT,s__Human)s__and__ms__time(V__IMPRISON,V__INTERVAL)
  s__and__ms__instance(V__INTERVAL,s__TimeInterval))
s__=>(s__exists__m[V__ARREST,V__TIME] :
   (s__instance(V__TIME,s__TimeInterval)s__and__ms__time(V__ARREST,V__TIME)
  s__and__ms__earlier(V__TIME,V__INTERVAL)
s__and__ms__instance(V__ARREST,s__PlacingUnderArrest)s__and__ms__arrested(V__ARREST,V__AGENT))))
)

Mid-level-ontology.kif 21424-21437
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 15843-15877
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__Date,V__Exercise,V__Option] :
   ((s__instance(V__Date,s__TimeInterval)s__and__ms__instance(V__Date,s__TimePoint)s__and__ms__instance(V__Exercise,s__Physical)s__and__ms__instance(V__Option,s__Agreement))
    s__=>((s__property(V__Option,s__EuropeanStyleOption)s__and__ms__agreementExpirationDate(V__Option,V__Date))
    s__=>(s__exists__m[V__Period,V__Time] :
       (s__instance(V__Time,s__TimeInterval)s__and__m(s__instance(V__Period,s__TimeInterval)s__and__ms__finishes(V__Period,V__Date)
      s__and__m((s__instance(V__Exercise,s__ExerciseAnOption)s__and__m(s__WhenFn(V__Exercise)
      s__equal__mV__Time))
    s__=>s__temporalPart(V__Time,V__Period)))))))
)

FinancialOntology.kif 2728-2740
( ! [V__AGENT,V__PS,V__DURATION,V__CUSTOMER,V__TIME,V__OBJ,V__PRICE,V__TIMEINT,V__QUANT,V__ITEM,V__R] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__PS,s__PricingScheme)s__and__ms__instance(V__DURATION,s__TimeDuration)s__and__ms__instance(V__CUSTOMER,s__Agent)s__and__ms__instance(V__TIME,s__PhysicalQuantity)s__and__ms__instance(V__OBJ,s__Agent)s__and__ms__subclass(V__OBJ,s__Physical)s__and__ms__instance(V__PRICE,s__CurrencyMeasure)s__and__ms__instance(V__TIMEINT,s__TimeInterval)s__and__ms__instance(V__QUANT,s__FunctionQuantity))
    s__=>((s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
      s__and__m(V__QUANTs__equal__ms__PerFn(V__PRICE,V__TIME))
  s__and__ms__immediateInstance(V__ITEM,V__OBJ)
s__and__ms__instance(V__R,s__Renting)s__and__ms__patient(V__R,V__ITEM)
s__and__ms__possesses(V__OBJ,V__AGENT)
s__and__ms__agent(V__R,V__CUSTOMER)
s__and__ms__time(V__R,V__TIMEINT))
s__=>(s__forall__m[V__X] :
((s__during(V__TIMEINT,V__X)
s__and__ms__instance(V__X,s__TimeInterval)s__and__ms__duration(V__X,V__DURATION)
s__and__ms__lessThanOrEqualTo(V__DURATION,V__TIME))
s__=>(s__exists__m[V__P] :
(s__instance(V__P,s__Payment)s__and__ms__destination(V__P,V__AGENT)
s__and__ms__agent(V__P,V__CUSTOMER)
s__and__ms__transactionAmount(V__P,V__PRICE)))))))
)

Catalog.kif 450-472
No TPTP formula. May not be expressible in strict first order. Merge.kif 14417-14423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20168-20180
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)s__=>(s__exists__m[V__INTERVAL] :
       (s__instance(V__INTERVAL,s__TimeInterval)s__and__ms__temporalPart(V__POINT,V__INTERVAL))))
)

Merge.kif 8157-8162

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