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 2086-2089
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 2084-2084 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 7885-7885 Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7893-7893 Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 2079-2079 Time position is exhaustively partitioned into time interval and time point
No TPTP formula. May not be expressible in strict first order. Economy.kif 3726-3726 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 8512-8512 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8529-8529 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8498-8498 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8480-8480 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 8413-8413 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 14038-14038 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 8469-8469 The range of when is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Economy.kif 3698-3698 The values returned by fiscal year are subclasses of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8446-8446 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 9375-9375 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 19091-19091 Ante meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Food.kif 1849-1849 Breakfast time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9230-9230 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8857-8857 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8765-8765 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 1878-1878 Dinner time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14848-14848 Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9340-9340 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 7982-7982 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 1048-1048 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 8010-8010 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 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 847-847 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 9373-9373 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 14011-14011 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 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. Mid-level-ontology.kif 10378-10378 The number 2 argument of breathingRate 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 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 20803-20803 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 7972-7982
No TPTP formula. May not be expressible in strict first order. Merge.kif 3836-3843
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 23513-23526
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 8354-8364
No TPTP formula. May not be expressible in strict first order. Merge.kif 8242-8247
No TPTP formula. May not be expressible in strict first order. Medicine.kif 466-482
No TPTP formula. May not be expressible in strict first order. Merge.kif 8420-8428
No TPTP formula. May not be expressible in strict first order. Merge.kif 8430-8439
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 8262-8267
No TPTP formula. May not be expressible in strict first order. Merge.kif 8269-8279
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 643-661
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23513-23526
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 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 18150-18184
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 2808-2820
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 14376-14382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22334-22346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17323-17345
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 7940-7945
No TPTP formula. May not be expressible in strict first order. Merge.kif 8345-8352
No TPTP formula. May not be expressible in strict first order. Merge.kif 8234-8240