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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Year

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 8650-8650
No TPTP formula. May not be expressible in strict first order. Merge.kif 8648-8648 Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8647-8647 Year is internally related to year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8646-8646 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 8464-8464 The values returned by year are subclasses of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8900-8900 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 63717-63717
No TPTP formula. May not be expressible in strict first order. english_format.kif 1765-1765

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


No TPTP formula. May not be expressible in strict first order. People.kif 96-96 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 455-455 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 127-127 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 248-248 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 410-410 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 315-315 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 362-362 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 161-161 The number 2 argument of migrants per thousand is an instance of year
No TPTP formula. May not be expressible in strict first order. Military.kif 925-925 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 3733-3733 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 8480-8480 The number 2 argument of month is a subclass 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 a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8877-8877 The number 2 argument of QuarterFn is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8859-8859 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 2123-2132
No TPTP formula. May not be expressible in strict first order. Economy.kif 2167-2176
No TPTP formula. May not be expressible in strict first order. Economy.kif 2213-2222
No TPTP formula. May not be expressible in strict first order. Economy.kif 1991-2000
No TPTP formula. May not be expressible in strict first order. Economy.kif 2288-2297
No TPTP formula. May not be expressible in strict first order. Economy.kif 2134-2141
No TPTP formula. May not be expressible in strict first order. Economy.kif 2178-2185
No TPTP formula. May not be expressible in strict first order. Economy.kif 2224-2231
No TPTP formula. May not be expressible in strict first order. Economy.kif 2002-2009
No TPTP formula. May not be expressible in strict first order. Economy.kif 2299-2306
No TPTP formula. May not be expressible in strict first order. Economy.kif 2604-2611
No TPTP formula. May not be expressible in strict first order. Economy.kif 2593-2602
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 3746-3750
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 8652-8654
No TPTP formula. May not be expressible in strict first order. Merge.kif 9363-9365

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