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, Christian_year, Holy_Year, astronomical_year, calendar_year, church_year, civil_year, common_year, equinoctial_year, off_year, sabbatical_year, solar_year, tropical_year, year_of_grace

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2781-2781
No TPTP formula. May not be expressible in strict first order. Merge.kif 8231-8231
No TPTP formula. May not be expressible in strict first order. Merge.kif 8229-8229 Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8228-8228 Year is internally related to year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8227-8227 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 8045-8045 The values returned by year are subclasses of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8469-8469 Leap year is a subclass of year
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1274-1274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63742-63742
No TPTP formula. May not be expressible in strict first order. english_format.kif 1774-1774

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. 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 8061-8061 The number 2 argument of month is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8447-8447 The number 2 argument of QuarterFn is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8429-8429 The number 2 argument of WeekFn is a subclass of year
No TPTP formula. May not be expressible in strict first order. Hotel.kif 723-723 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 702-702 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. 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 8237-8242
No TPTP formula. May not be expressible in strict first order. Merge.kif 8233-8235
No TPTP formula. May not be expressible in strict first order. Merge.kif 8932-8934

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
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 218-226


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 3.0 is open source software produced by Articulate Software and its partners