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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Year
Year(year)365_days, Anno, Ano, Christian_year, Holy_Year, ann�e, astronomical_year, calendar_year, church_year, civil_year, common_year, equinoctial_year, off_year, sabbatical_year, solar_year, taon, tropical_year, varsha, year, year_of_grace,

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8779-8779
No TPTP formula. May not be expressible in strict first order. Merge.kif 8778-8778
No TPTP formula. May not be expressible in strict first order. Merge.kif 8777-8777 Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8776-8776 Year is internally related to year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8775-8775 Year is a subclass of time interval

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8615-8615 The values returned by year are subclasses of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8917-8917 Leap year is a subclass of year
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1274-1274 "年" is the printable form of year in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 961-961 "year" is the printable form of year in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 952-952 "ann�e" is the printable form of year in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 487-487 "varsha" is the printable form of year in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 489-489 "Anno" is the printable form of year in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 904-904 "Ano" is the printable form of year in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 527-527 "year" is the printable form of year in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 492-492 "taon" is the printable form of year in tg

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 92-92 The number 2 argument of births per thousand is an instance of year
No TPTP formula. May not be expressible in strict first order. People.kif 448-448 The number 2 argument of children born per woman is an instance of year
No TPTP formula. May not be expressible in strict first order. People.kif 123-123 The number 2 argument of deaths per thousand is an instance of year
No TPTP formula. May not be expressible in strict first order. People.kif 244-244 The number 2 argument of deaths per thousand live births is an instance of year
No TPTP formula. May not be expressible in strict first order. People.kif 403-403 The number 2 argument of female life expectancy at birth is an instance of year
No TPTP formula. May not be expressible in strict first order. People.kif 311-311 The number 2 argument of life expectancy at birth is an instance of year
No TPTP formula. May not be expressible in strict first order. People.kif 358-358 The number 2 argument of male life expectancy at birth is an instance of year
No TPTP formula. May not be expressible in strict first order. People.kif 157-157 The number 2 argument of migrants per thousand is an instance of year
No TPTP formula. May not be expressible in strict first order. People.kif 63-63 The number 2 argument of population growth is an instance of year
No TPTP formula. May not be expressible in strict first order. Military.kif 920-920 The number 2 argument of reaching military age annually male is an instance of year
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 442-442 The number 2 argument of expectedYearOfGraduation is an instance of year
No TPTP formula. May not be expressible in strict first order. Economy.kif 3726-3726 The number 2 argument of fiscal year starting is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8635-8635 The number 2 argument of month is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8899-8899 The number 2 argument of QuarterFn is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8884-8884 The number 2 argument of WeekFn is a subclass of year
No TPTP formula. May not be expressible in strict first order. Hotel.kif 713-713 The number 2 argument of last renovation is a subclass of year
No TPTP formula. May not be expressible in strict first order. Hotel.kif 692-692 The number 2 argument of year built is a subclass of year

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2116-2125
No TPTP formula. May not be expressible in strict first order. Economy.kif 2160-2169
No TPTP formula. May not be expressible in strict first order. Economy.kif 2206-2215
No TPTP formula. May not be expressible in strict first order. Economy.kif 1984-1993
No TPTP formula. May not be expressible in strict first order. Economy.kif 2281-2290
No TPTP formula. May not be expressible in strict first order. Economy.kif 2127-2134
No TPTP formula. May not be expressible in strict first order. Economy.kif 2171-2178
No TPTP formula. May not be expressible in strict first order. Economy.kif 2217-2224
No TPTP formula. May not be expressible in strict first order. Economy.kif 1995-2002
No TPTP formula. May not be expressible in strict first order. Economy.kif 2292-2299
No TPTP formula. May not be expressible in strict first order. Economy.kif 2597-2604
No TPTP formula. May not be expressible in strict first order. Economy.kif 2586-2595
No TPTP formula. May not be expressible in strict first order. Media.kif 437-444
No TPTP formula. May not be expressible in strict first order. Media.kif 446-453
No TPTP formula. May not be expressible in strict first order. Economy.kif 3739-3743
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 447-460
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 473-483
No TPTP formula. May not be expressible in strict first order. Media.kif 387-394
No TPTP formula. May not be expressible in strict first order. Media.kif 396-403
No TPTP formula. May not be expressible in strict first order. Media.kif 538-547
No TPTP formula. May not be expressible in strict first order. Media.kif 473-482
No TPTP formula. May not be expressible in strict first order. Media.kif 559-568
No TPTP formula. May not be expressible in strict first order. Merge.kif 8785-8790
No TPTP formula. May not be expressible in strict first order. Merge.kif 8781-8783
No TPTP formula. May not be expressible in strict first order. Merge.kif 9356-9358

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. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. Media.kif 376-385
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 216-224


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners