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

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2162-2163
No TPTP formula. May not be expressible in strict first order. Merge.kif 2158-2161
No TPTP formula. May not be expressible in strict first order. Merge.kif 2157-2157 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 7581-7581 Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7589-7589 Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 2150-2150 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 8567-8567 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8585-8585 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8552-8552 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8533-8533 The range of past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3945-3945 The range of site speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1702-1702 The range of TTFx is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8459-8459 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 11381-11381 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 8520-8520 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 8494-8494 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 9268-9268 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 16522-16522 Ante meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Food.kif 244-244 Breakfast time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9122-9122 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16488-16488 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8792-8792 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 273-273 Dinner time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12292-12292 Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9233-9233 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 8144-8144 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 8168-8168 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 3365-3365 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 865-865 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 3291-3291 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 3857-3857 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 3559-3559 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 3612-3612 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 3659-3659 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 9266-9266 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 11354-11354 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 21550-21550 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 4499-4499 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 18037-18037 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 3707-3707 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 464-464 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 8064-8064 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 8375-8375 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 8376-8376 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 8422-8422 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 8423-8423 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 3241-3241 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 8220-8220 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 8221-8221 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 7652-7662
No TPTP formula. May not be expressible in strict first order. Merge.kif 3933-3940
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3955-3980
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3300-3319
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3261-3278
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 115-129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21032-21045
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3571-3604
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3624-3651
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3671-3704
No TPTP formula. May not be expressible in strict first order. Merge.kif 8468-8476
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8487
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1704-1726
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 263-274
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 291-303
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 390-404
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 335-347
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 236-246
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

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 8356-8362 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 1524-1540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21032-21045
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3571-3604
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3624-3651
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3671-3704
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 15512-15546
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 3826-3835
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3837-3847
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 14280-14286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19749-19761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14623-14645
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 339-359
No TPTP formula. May not be expressible in strict first order. Merge.kif 8108-8113

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


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