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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimeInterval

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 1994-1997
No TPTP formula. May not be expressible in strict first order. Merge.kif 1992-1992 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 7566-7566 Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7574-7574 Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 1987-1987 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 7971-7971 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7988-7988 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7957-7957 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7939-7939 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 7872-7872 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 11672-11672 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 7928-7928 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 7905-7905 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 8817-8817 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 16902-16902 Ante meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Food.kif 195-195 Breakfast time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8672-8672 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8308-8308 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8224-8224 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 224-224 Dinner time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12577-12577 Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8782-8782 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 7568-7568 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 7596-7596 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 8815-8815 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 11645-11645 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 21980-21980 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 18483-18483 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 3714-3714 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 7495-7495 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 7793-7793 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 7794-7794 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 7838-7838 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 7839-7839 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 3248-3248 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 7645-7645 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 7646-7646 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 7637-7647
No TPTP formula. May not be expressible in strict first order. Merge.kif 3695-3702
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 21462-21475
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 7879-7887
No TPTP formula. May not be expressible in strict first order. Merge.kif 7889-7898
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 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7771-7777 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 21462-21475
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 15869-15903
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 2729-2741
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 13341-13347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20206-20218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14909-14931
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 7532-7537

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners