| appearance as argument number 1 |
|
|
| (subclass Year TimeInterval) | Merge.kif 8940-8940 | Year is a subclass of timeframe |
| (relatedInternalConcept Year YearFn) | Merge.kif 8941-8941 | Year is internally related to year |
| (relatedInternalConcept Year YearDuration) | Merge.kif 8942-8942 | Year is internally related to year duration |
| (documentation Year EnglishLanguage "The Class of all calendar Years.") | Merge.kif 8944-8944 | Year is internally related to year duration |
| appearance as argument number 2 |
|
|
| (rangeSubclass YearFn Year) | Merge.kif 8758-8758 | The values returned by year are subclasses of year |
| (subclass LeapYear Year) | Merge.kif 9197-9197 | Leap year is a subclass of year |
| (termFormat ChineseTraditionalLanguage Year "年") | domainEnglishFormat.kif 63747-63747 | Leap year is a subclass of year |
| (termFormat ChineseLanguage Year "年") | domainEnglishFormat.kif 63748-63748 | Leap year is a subclass of year |
| (termFormat EnglishLanguage Year "year") | english_format.kif 1769-1769 | Leap year is a subclass of year |
| appearance as argument number 3 |
|
|
| (domainSubclass MonthFn 2 Year) | Merge.kif 8774-8774 | The number 2 argument of month is a subclass of year |
| (domainSubclass WeekFn 2 Year) | Merge.kif 9153-9153 | The number 2 argument of week fn is a subclass of year |
| (domainSubclass QuarterFn 2 Year) | Merge.kif 9171-9171 | The number 2 argument of quarter fn is a subclass of year |
| (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 |
| antecedent |
|
|
| (=> (instance ?YEAR Year) (duration ?YEAR (MeasureFn 1 YearDuration))) |
Merge.kif 8946-8948 | 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 9684-9686 | If X is an instance of year, then equal the number of instances in decomposition of X into months and 12 |
| (=> (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 |
| 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 |
|
|
|