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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1785-1786
No TPTP formula. May not be expressible in strict first order. Merge.kif 1993-1996
No TPTP formula. May not be expressible in strict first order. Merge.kif 1991-1991 Time interval is a subclass of time position

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7586-7586 Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7594-7594 Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 1986-1986 Time position is exhaustively partitioned into time interval and time point
No TPTP formula. May not be expressible in strict first order. Economy.kif 3727-3727 The range of fiscal year starting is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7847-7847 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7864-7864 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7833-7833 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7815-7815 The range of past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3951-3951 The range of site speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1698-1698 The range of TTFx is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7748-7748 The range of time interval is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11646-11646 The range of time period function is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7804-7804 The range of when is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Economy.kif 3701-3701 The values returned by fiscal year are subclasses of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7781-7781 The values returned by recurrent time interval are subclasses of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8693-8693 The values returned by temporal composition are subclasses of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16876-16876 Ante meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Food.kif 243-243 Breakfast time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8548-8548 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8184-8184 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8100-8100 Decade is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 103-103 Dhu al hijjah is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Food.kif 272-272 Dinner time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12551-12551 Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8658-8658 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7444-7444 The number 1 argument of begin is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7472-7472 The number 1 argument of end is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3362-3362 The number 2 argument of GPW is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Music.kif 843-843 The number 3 argument of musical interpretation is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3288-3288 The number 2 argument of qualifying purchases per user per interval is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3863-3863 The number 2 argument of sales conversion rate is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3567-3567 The number 1 argument of new buyers is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3619-3619 The number 1 argument of site-wide new registrations is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3666-3666 The number 1 argument of site-wide new sellers is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8691-8691 The number 1 argument of temporal composition is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11619-11619 The number 2 argument of agreement period is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21943-21943 The number 2 argument of anniversary is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4504-4504 The number 2 argument of burn-in period is an instance of time interval
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 525-525 The number 3 argument of compound interest is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18457-18457 The number 2 argument of construction period is an instance of time interval
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3713-3713 The number 3 argument of credits per period is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 463-463 The number 3 argument of daylight hours interval is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7371-7371 The number 1 argument of duration is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7669-7669 The number 1 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7670-7670 The number 2 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7714-7714 The number 1 argument of earlier is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7715-7715 The number 2 argument of earlier is an instance of time interval
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3247-3247 The number 3 argument of employee contribution is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7521-7521 The number 1 argument of finishes is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7522-7522 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 7657-7667
No TPTP formula. May not be expressible in strict first order. Merge.kif 3574-3581
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21425-21438
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. Merge.kif 7755-7763
No TPTP formula. May not be expressible in strict first order. Merge.kif 7765-7774
No TPTP formula. May not be expressible in strict first order. 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 2590-2606
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2544-2560
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 2562-2580

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7647-7653 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21425-21438
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 15843-15877
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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2728-2740
No TPTP formula. May not be expressible in strict first order. Catalog.kif 450-472
No TPTP formula. May not be expressible in strict first order. Merge.kif 13223-13229
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20169-20181
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 336-356
No TPTP formula. May not be expressible in strict first order. Merge.kif 7408-7413

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