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 2097-2100 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 398-401 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2095-2095 | 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 9052-9052 | Before common era is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9060-9060 | Common era is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2090-2090 | Time position is exhaustively partitioned into time interval and time point |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4063-4063 | 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 8625-8625 | The range of future is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8642-8642 | The range of immediate future is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8611-8611 | The range of immediate past is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8593-8593 | The range of past is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3749-3749 | The range of site speed is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1494-1494 | The range of TTFx is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8526-8526 | 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 15409-15409 | 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 8582-8582 | The range of when is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4035-4035 | The values returned by fiscal year are subclasses of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8559-8559 | 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 9511-9511 | 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 20662-20662 | Ante meridiem is a subclass of time interval |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1855-1855 | Breakfast time is a subclass of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9343-9343 | Day is a subclass of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8970-8970 | Day time is a subclass of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8878-8878 | 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 1884-1884 | Dinner time is a subclass of time interval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1573-1573 | Harmattan season is a subclass of time interval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16221-16221 | Holiday 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 8067-8067 | The number 1 argument of begin is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1050-1050 | The number 2 argument of contest function is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8095-8095 | 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 3160-3160 | 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 2943-2943 | 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 3048-3048 | 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 3013-3013 | 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 2978-2978 | 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 2624-2624 | 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 2718-2718 | 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 849-849 | 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 3086-3086 | 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 3660-3660 | 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 3364-3364 | 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 3416-3416 | 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 3463-3463 | 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 9509-9509 | 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 2758-2758 | 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 2680-2680 | 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 15382-15382 | The number 2 argument of agreement period is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1221-1221 | 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. | Mid-level-ontology.kif 11709-11709 | The number 2 argument of breathing rate is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4303-4303 | 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 556-556 | 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 22420-22420 | The number 2 argument of construction period is an instance of time interval |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
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 Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity
|
![]() |
![]() |