Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  TimeInterval

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 2082-2085
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 2080-2080 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 2075-2075 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 8610-8610 The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8627-8627 The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8596-8596 The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8578-8578 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 8511-8511 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 8567-8567 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 8544-8544 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 9496-9496 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 9328-9328 Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8955-8955 Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8863-8863 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 1567-1567 Harmattan 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 8052-8052 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 8080-8080 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 2735-2735 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 2840-2840 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 2805-2805 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 2770-2770 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 2416-2416 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 2510-2510 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 9494-9494 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 2550-2550 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 2472-2472 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 3834-3841
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 25156-25169
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 8452-8462
No TPTP formula. May not be expressible in strict first order. Merge.kif 8340-8345
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 8518-8526
No TPTP formula. May not be expressible in strict first order. Merge.kif 8528-8537
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 8360-8365
No TPTP formula. May not be expressible in strict first order. Merge.kif 8367-8377
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 25156-25169
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 2445-2449
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 14514-14520
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23977-23989
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 8010-8015
No TPTP formula. May not be expressible in strict first order. Merge.kif 8443-8450
No TPTP formula. May not be expressible in strict first order. Merge.kif 8332-8338

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners