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, 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 2026-2029
No TPTP formula. May not be expressible in strict first order. Merge.kif 2024-2024 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 7554-7554 Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7562-7562 Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 2019-2019 Time position is exhaustively partitioned into time interval and time point
No TPTP formula. May not be expressible in strict first order. Economy.kif 3734-3734 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 8414-8414 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8431-8431 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8400-8400 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8382-8382 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 8315-8315 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 13504-13504 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 8371-8371 The range of when is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Economy.kif 3708-3708 The values returned by fiscal year are subclasses of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8348-8348 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 9273-9273 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 18442-18442 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 9128-9128 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8759-8759 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8667-8667 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 14292-14292 Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9238-9238 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 7886-7886 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 7914-7914 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 2218-2218 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 2323-2323 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 2288-2288 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 2253-2253 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 1899-1899 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 1993-1993 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 9271-9271 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 2033-2033 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 1955-1955 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 13477-13477 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 23594-23594 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. Mid-level-ontology.kif 20120-20120 The number 2 argument of construction period is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Weather.kif 852-852 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 7806-7806 The number 1 argument of duration 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 7641-7651
No TPTP formula. May not be expressible in strict first order. Merge.kif 3755-3762
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 22936-22949
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 8256-8266
No TPTP formula. May not be expressible in strict first order. Merge.kif 8146-8151
No TPTP formula. May not be expressible in strict first order. Merge.kif 8322-8330
No TPTP formula. May not be expressible in strict first order. Merge.kif 8332-8341
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 8164-8169
No TPTP formula. May not be expressible in strict first order. Merge.kif 8171-8181
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 22936-22949
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 1928-1932
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 17535-17569
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. Catalog.kif 462-487
No TPTP formula. May not be expressible in strict first order. Merge.kif 14108-14114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21790-21802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16740-16762
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 7844-7849
No TPTP formula. May not be expressible in strict first order. Merge.kif 8247-8254
No TPTP formula. May not be expressible in strict first order. Merge.kif 8138-8144