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

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 2004-2007
No TPTP formula. May not be expressible in strict first order. Merge.kif 2002-2002 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 7528-7528 Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7536-7536 Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 1997-1997 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 8186-8186 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8203-8203 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8172-8172 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8154-8154 The range of past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3956-3956 The range of site speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1701-1701 The range of TTFx is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8087-8087 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 13477-13477 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 8143-8143 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 8120-8120 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 9036-9036 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 18415-18415 Ante meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Food.kif 177-177 Breakfast time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8891-8891 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8526-8526 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8440-8440 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 206-206 Dinner time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14265-14265 Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9001-9001 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 7735-7735 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 7763-7763 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 3367-3367 The number 2 argument of GPW is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 2214-2214 The number 2 argument of ten minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 2319-2319 The number 2 argument of one minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 2284-2284 The number 2 argument of two minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 2249-2249 The number 2 argument of three minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 1901-1901 The number 2 argument of three second mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 1989-1989 The number 2 argument of mean three second wind speed list is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Music.kif 844-844 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 3293-3293 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 3868-3868 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 3572-3572 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 3624-3624 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 3671-3671 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 9034-9034 The number 1 argument of temporal composition is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 2029-2029 The number 2 argument of three second gust speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 1957-1957 The number 1 argument of time interval list is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13450-13450 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 23566-23566 The number 2 argument of anniversary is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 986-986 The number 2 argument of average temperature for period is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4507-4507 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 526-526 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 20093-20093 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 3786-3786 The number 3 argument of credits per period 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 7615-7625
No TPTP formula. May not be expressible in strict first order. Merge.kif 3713-3720
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3966-3991
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3302-3321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3263-3280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22908-22921
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
No TPTP formula. May not be expressible in strict first order. Merge.kif 8036-8046
No TPTP formula. May not be expressible in strict first order. Merge.kif 8094-8102
No TPTP formula. May not be expressible in strict first order. Merge.kif 8104-8113
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. Merge.kif 7957-7962
No TPTP formula. May not be expressible in strict first order. Merge.kif 7964-7974
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 2631-2647

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 7938-7944 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22908-22921
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
No TPTP formula. May not be expressible in strict first order. Weather.kif 1930-1934
No TPTP formula. May not be expressible in strict first order. naics.kif 8776-8797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17508-17542
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1812-1828
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3837-3846
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3848-3858
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2769-2781
No TPTP formula. May not be expressible in strict first order. Catalog.kif 462-487
No TPTP formula. May not be expressible in strict first order. Merge.kif 13773-13779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21762-21774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16713-16735
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 338-358
No TPTP formula. May not be expressible in strict first order. Merge.kif 7699-7704
No TPTP formula. May not be expressible in strict first order. Merge.kif 8027-8034

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