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


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 9139-9149
No TPTP formula. May not be expressible in strict first order. Merge.kif 3849-3856
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3759-3784
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3095-3114
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3056-3073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25154-25167
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3376-3408
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3428-3455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3475-3507
No TPTP formula. May not be expressible in strict first order. Merge.kif 8467-8477
No TPTP formula. May not be expressible in strict first order. Merge.kif 8355-8360
No TPTP formula. May not be expressible in strict first order. Medicine.kif 455-471
No TPTP formula. May not be expressible in strict first order. Merge.kif 8533-8541
No TPTP formula. May not be expressible in strict first order. Merge.kif 8543-8552
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1496-1518
No TPTP formula. May not be expressible in strict first order. Merge.kif 8375-8380
No TPTP formula. May not be expressible in strict first order. Merge.kif 8382-8392
No TPTP formula. May not be expressible in strict first order. Economy.kif 440-447
No TPTP formula. May not be expressible in strict first order. Economy.kif 456-463
No TPTP formula. May not be expressible in strict first order. Economy.kif 465-472
No TPTP formula. May not be expressible in strict first order. Economy.kif 481-488

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 1326-1342
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 636-654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25154-25167
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3376-3408
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3428-3455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3475-3507
No TPTP formula. May not be expressible in strict first order. Weather.kif 2653-2657
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 19721-19755
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1605-1621
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3629-3638
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3640-3650
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2825-2837
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 14529-14535
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23975-23987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18874-18896
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 266-286
No TPTP formula. May not be expressible in strict first order. Merge.kif 8025-8030
No TPTP formula. May not be expressible in strict first order. Merge.kif 8458-8465
No TPTP formula. May not be expressible in strict first order. Merge.kif 8347-8353