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 2063-2066
No TPTP formula. May not be expressible in strict first order. Merge.kif 2061-2061 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 7845-7845 Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7853-7853 Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 2056-2056 Time position is exhaustively partitioned into time interval and time point
No TPTP formula. May not be expressible in strict first order. Economy.kif 3737-3737 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 8477-8477 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8494-8494 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8463-8463 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8445-8445 The range of past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3955-3955 The range of site speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1700-1700 The range of TTFx is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8378-8378 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 13885-13885 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 8434-8434 The range of when is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Economy.kif 3709-3709 The values returned by fiscal year are subclasses of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8411-8411 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 9340-9340 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 18873-18873 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 9195-9195 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8822-8822 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8730-8730 Decade is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 112-112 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 14695-14695 Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9305-9305 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 7949-7949 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 7977-7977 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 3366-3366 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 2219-2219 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 2324-2324 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 2289-2289 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 2254-2254 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 1900-1900 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 1994-1994 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 846-846 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 3292-3292 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 3866-3866 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 3570-3570 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 3622-3622 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 3669-3669 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 9338-9338 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 2034-2034 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 1956-1956 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 13858-13858 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 24124-24124 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 4509-4509 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 554-554 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 20585-20585 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 3886-3886 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 7932-7942
No TPTP formula. May not be expressible in strict first order. Merge.kif 3813-3820
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3965-3990
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3301-3320
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3262-3279
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23463-23476
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3614
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3634-3661
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3681-3713
No TPTP formula. May not be expressible in strict first order. Merge.kif 8319-8329
No TPTP formula. May not be expressible in strict first order. Merge.kif 8209-8214
No TPTP formula. May not be expressible in strict first order. Merge.kif 8385-8393
No TPTP formula. May not be expressible in strict first order. Merge.kif 8395-8404
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1702-1724
No TPTP formula. May not be expressible in strict first order. Merge.kif 8227-8232
No TPTP formula. May not be expressible in strict first order. Merge.kif 8234-8244
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

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. 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 23463-23476
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3614
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3634-3661
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3681-3713
No TPTP formula. May not be expressible in strict first order. Weather.kif 1929-1933
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 17963-17997
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 3835-3844
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3846-3856
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2821-2833
No TPTP formula. May not be expressible in strict first order. Catalog.kif 467-492
No TPTP formula. May not be expressible in strict first order. Merge.kif 14235-14241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22283-22295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17166-17188
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 7907-7912
No TPTP formula. May not be expressible in strict first order. Merge.kif 8310-8317
No TPTP formula. May not be expressible in strict first order. Merge.kif 8201-8207

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 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 Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles 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