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, 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 8078-8078
No TPTP formula. May not be expressible in strict first order. Merge.kif 8076-8076 Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8075-8075 Year is internally related to year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8074-8074 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 7892-7892 The values returned by year are subclasses of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8315-8315 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. domainEnglishFormat.kif 63702-63702 "年" is the printable form of year in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1774-1774 "year" is the printable form of year in english language

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 7908-7908 The number 2 argument of month is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8293-8293 The number 2 argument of QuarterFn is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8275-8275 The number 2 argument of WeekFn is a subclass of year
No TPTP formula. May not be expressible in strict first order. Hotel.kif 717-717 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 696-696 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 8084-8089
No TPTP formula. May not be expressible in strict first order. Merge.kif 8080-8082
No TPTP formula. May not be expressible in strict first order. Merge.kif 8777-8779

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