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 2045-2048
No TPTP formula. May not be expressible in strict first order. Merge.kif 2043-2043 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 7844-7844 Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7852-7852 Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 2038-2038 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 8449-8449 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8466-8466 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8435-8435 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8417-8417 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 8350-8350 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 13884-13884 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 8406-8406 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 8383-8383 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 9312-9312 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 18872-18872 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 9167-9167 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8794-8794 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8702-8702 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 14694-14694 Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9277-9277 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 7921-7921 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 7949-7949 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 845-845 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 9310-9310 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 13857-13857 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 24123-24123 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 20584-20584 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 3884-3884 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 7931-7941
No TPTP formula. May not be expressible in strict first order. Merge.kif 3786-3793
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 23462-23475
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 8291-8301
No TPTP formula. May not be expressible in strict first order. Merge.kif 8181-8186
No TPTP formula. May not be expressible in strict first order. Merge.kif 8357-8365
No TPTP formula. May not be expressible in strict first order. Merge.kif 8367-8376
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 8199-8204
No TPTP formula. May not be expressible in strict first order. Merge.kif 8206-8216
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 23462-23475
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 17962-17996
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 14238-14244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22282-22294
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17165-17187
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 7879-7884
No TPTP formula. May not be expressible in strict first order. Merge.kif 8282-8289
No TPTP formula. May not be expressible in strict first order. Merge.kif 8173-8179