Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Year TimeInterval) Merge.kif 8871-8871 Year is a subclass of timeframe
(relatedInternalConcept Year YearFn) Merge.kif 8872-8872 Year is internally related to year
(relatedInternalConcept Year YearDuration) Merge.kif 8873-8873 Year is internally related to year duration
(documentation Year EnglishLanguage "The Class of all calendar Years.") Merge.kif 8875-8875 Year is internally related to year duration

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


(rangeSubclass YearFn Year) Merge.kif 8689-8689 The values returned by year are subclasses of year
(subclass LeapYear Year) Merge.kif 9128-9128 Leap year is a subclass of year
(termFormat ChineseTraditionalLanguage Year "年") domainEnglishFormat.kif 63731-63731 Leap year is a subclass of year
(termFormat ChineseLanguage Year "年") domainEnglishFormat.kif 63732-63732 Leap year is a subclass of year
(termFormat EnglishLanguage Year "year") english_format.kif 1765-1765 Leap year is a subclass of year

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


(domain GrossNationalProductFn 2 Year) Economy.kif 1024-1024 The number 2 argument of GNP is an instance of year
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 4056-4056 The number 2 argument of fiscal year starting is a subclass of year
(domainSubclass yearBuilt 2 Year) Hotel.kif 727-727 The number 2 argument of year built is a subclass of year
(domainSubclass lastRenovation 2 Year) Hotel.kif 748-748 The number 2 argument of last renovation is a subclass of year
(domainSubclass MonthFn 2 Year) Merge.kif 8705-8705 The number 2 argument of month is a subclass of year
(domainSubclass WeekFn 2 Year) Merge.kif 9084-9084 The number 2 argument of week fn is a subclass of year
(domainSubclass QuarterFn 2 Year) Merge.kif 9102-9102 The number 2 argument of quarter fn is a subclass of year
(domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year) Military.kif 992-992 The number 2 argument of reaching military age annually male is an instance of year
(domain PopulationGrowthFn 2 Year) People.kif 37-37 The number 2 argument of population growth is an instance of year
(domain BirthsPerThousandFn 2 Year) People.kif 70-70 The number 2 argument of births per thousand is an instance of year
(domain DeathsPerThousandFn 2 Year) People.kif 103-103 The number 2 argument of deaths per thousand is an instance of year
(domain MigrantsPerThousandFn 2 Year) People.kif 139-139 The number 2 argument of migrants per thousand is an instance of year
(domain DeathsPerThousandLiveBirthsFn 2 Year) People.kif 229-229 The number 2 argument of deaths per thousand live births is an instance of year
(domain LifeExpectancyAtBirthFn 2 Year) People.kif 298-298 The number 2 argument of life expectancy at birth is an instance of year
(domain MaleLifeExpectancyAtBirthFn 2 Year) People.kif 347-347 The number 2 argument of male life expectancy at birth is an instance of year
(domain FemaleLifeExpectancyAtBirthFn 2 Year) People.kif 395-395 The number 2 argument of female life expectancy at birth is an instance of year
(domain ChildrenBornPerWomanFn 2 Year) People.kif 442-442 The number 2 argument of children born per woman is an instance of year
(domain MeanMonthSSTFn 3 Year) Weather.kif 637-637 The number 3 argument of mean month sea surface temperature is an instance of year
(domain DailyTempListFn 3 Year) Weather.kif 656-656 The number 3 argument of daily temperature list of the month is an instance of year
(domain NumberOfDaysInMonthFn 2 Year) Weather.kif 683-683 The number 2 argument of number of days in the month is an instance of year
(domain previousMonthYear 2 Year) Weather.kif 765-765 The number 2 argument of previous month of is an instance of year
(domain previousMonthYear 4 Year) Weather.kif 767-767 The number 4 argument of previous month of is an instance of year
(domain ThreeMonthsRunningMeanSSTFn 3 Year) Weather.kif 802-802 The number 3 argument of three months running mean sea surface temperature is an instance of year
(domain ThirtyYearAverageSSTForMonthFn 3 Year) Weather.kif 835-835 The number 3 argument of thirty year average sea surface temperature for month is an instance of year
(domain expectedYearOfGraduation 2 Year) LinkedInDegrees.kif 452-452 The number 2 argument of expectedYearOfGraduation is an instance of year

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityProduction ?AREA ?AMOUNT)))))		 Economy.kif 2215-2224 If X is electricity production in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity production of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2226-2233 If X is an annual electricity production of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity production in period X for W
(=>
    (and
        (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityConsumption ?AREA ?AMOUNT)))))		 Economy.kif 2347-2356 If X is electricity consumption in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity consumption of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2358-2365 If X is an annual electricity consumption of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity consumption in period X for W
(=>
    (and
        (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityExport ?AREA ?AMOUNT)))))		 Economy.kif 2391-2400 If X is electricity export in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity export of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2402-2409 If X is an annual electricity export of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity export in period X for W
(=>
    (and
        (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityImport ?AREA ?AMOUNT)))))		 Economy.kif 2437-2446 If X is electricity import in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity import of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2448-2455 If X is an annual electricity import of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity import in period X for W
(=>
    (and
        (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualExportTotal ?AREA ?AMOUNT)))))		 Economy.kif 2512-2521 If X export total in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual export total of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2523-2530 If X is an annual export total of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y export total in period X for W
(=>
    (and
        (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualImportTotal ?AREA ?AMOUNT)))))		 Economy.kif 2915-2924 If X import total in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual import total of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2926-2933 If X is an annual import total of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y import total in period X for W
(=>
    (and
        (instance ?PLACE AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))		 Economy.kif 4070-4074 If X is an instance of agent and Y is a subclass of year, then the fiscal year starting of X and Y is an instance of the fiscal year of X
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T1 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T2 ?YEAR))		 Media.kif 387-394 If X is an instance of advent, Y is an instance of Christmas day, X takes place during Z, Z is an instance of year, and X meets Y, then Y takes place during Z
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T2 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T1 ?YEAR))		 Media.kif 396-403 If X is an instance of advent, Y is an instance of Christmas day, Y takes place during Z, Z is an instance of year, and X meets Y, then X takes place during Z
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?ES ?Y)
        (instance ?Y Year))
    (during ?L ?Y))		 Media.kif 437-444 If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, X takes place during Z, and Z is an instance of year, then Y takes place during Z
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?L ?Y)
        (instance ?Y Year))
    (during ?ES ?Y))		 Media.kif 446-453 If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, Y takes place during Z, and Z is an instance of year, then X takes place during Z
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P PalmSunday)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?P ?I)
        (finishes ?E ?I))
    (duration ?I
        (MeasureFn 8 DayDuration)))		 Media.kif 473-482 If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of palm sunday (4) Y takes place during X (5) Z takes place during X (6) Z starts W (7) Y finishes W, then duration of W is 8 day duration(s)
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?A AscensionThursday)
        (during ?E ?Y)
        (during ?A ?Y)
        (starts ?E ?I)
        (finishes ?A ?I))
    (duration ?I
        (MeasureFn 40 DayDuration)))		 Media.kif 538-547 If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of ascension thursday (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 40 day duration(s)
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P Pentecost)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?E ?I)
        (finishes ?P ?I))
    (duration ?I
        (MeasureFn 50 DayDuration)))		 Media.kif 559-568 If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of Pentecost (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 50 day duration(s)
(=>
    (instance ?YEAR Year)
    (duration ?YEAR
        (MeasureFn 1 YearDuration)))		 Merge.kif 8877-8879 If X is an instance of year, then duration of X is 1 year duration(s)
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))		 Merge.kif 9615-9617 If X is an instance of year, then equal the number of instances in decomposition of X into months and 12

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


(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 204-223 If muslim is an attribute of X and equal value of belongings of X and Y, then the statement there exist Z, W,, , V,, , U and T such that Z is an instance of zakat and U is an instance of year and U takes place during the time of existence of X and fully formed is an attribute of X holds during U and X is an agent of Z and W is a patient of Z and value of W is T V(s) and V is an instance of unit of currency and T is greater than Y and 0.025 has the modal force of obligation
(=>
    (instance ?E EidAlFitr)
    (exists (?R ?Y)
        (and
            (instance ?R Ramadan)
            (instance ?Y Year)
            (during ?R ?Y)
            (during ?E ?Y)
            (before ?R ?E))))		 ArabicCulture.kif 229-237 If X is an instance of eid al fitr, then there exist Y, Z such that Y is an instance of ramadan, Z is an instance of year, Y takes place during Z, X takes place during Z, and Y happens before X
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (meetsTemporally ?T1 ?T2))
    (exists (?YEAR)
        (and
            (instance ?YEAR Year)
            (during ?T1 ?YEAR)
            (during ?T2 ?YEAR))))		 Media.kif 376-385 If X is an instance of advent, Y is an instance of Christmas day, and X meets Y, then there exists Z such that Z is an instance of year, X takes place during Z, and Y takes place during Z


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