| Year(varsha) | |
| appearance as argument number 1 |
|
|
| (documentation Year ChineseLanguage "这是所有日历 Year 的 Class。") | chinese_format.kif 2781-2781 | |
| (documentation Year EnglishLanguage "The Class of all calendar Years.") | Merge.kif 8784-8784 | |
| (documentation Year JapaneseLanguage "すべてのカレンダー Year の Class。") | japanese_format.kif 1511-1511 | |
| (relatedInternalConcept Year YearDuration) | Merge.kif 8782-8782 | |
| (relatedInternalConcept Year YearFn) | Merge.kif 8781-8781 | |
| (subclass Year TimeInterval) | Merge.kif 8780-8780 |
| appearance as argument number 2 |
|
|
| (rangeSubclass YearFn Year) | Merge.kif 8598-8598 | |
| (subclass LeapYear Year) | Merge.kif 9037-9037 | |
| (termFormat ChineseLanguage Year "年") | chinese_format.kif 1274-1274 | |
| (termFormat ChineseTraditionalLanguage Year "年") | domainEnglishFormat.kif 63767-63767 | |
| (termFormat EnglishLanguage Year "year") | english_format.kif 1765-1765 | |
| (termFormat FrenchLanguage Year "ann�e") | french_format.kif 952-952 | |
| (termFormat Hindi Year "varsha") | terms-hindi.txt 487-487 | |
| (termFormat ItalianLanguage Year "Anno") | terms-it.txt 491-491 | |
| (termFormat JapaneseLanguage Year "年") | japanese_format.kif 2636-2636 | |
| (termFormat PortugueseLanguage Year "Ano") | portuguese_format.kif 904-904 | |
| (termFormat cz Year "year") | terms-cz.txt 527-527 | |
| (termFormat de Year "Jahr") | terms-de.txt 786-786 | |
| (termFormat ro Year "an") | relations-ro.kif 973-973 | |
| (termFormat tg Year "taon") | terms-tg.txt 492-492 |
| appearance as argument number 3 |
|
|
| (domain BirthsPerThousandFn 2 Year) | People.kif 70-70 | |
| (domain ChildrenBornPerWomanFn 2 Year) | People.kif 442-442 | |
| (domain DeathsPerThousandFn 2 Year) | People.kif 103-103 | |
| (domain DeathsPerThousandLiveBirthsFn 2 Year) | People.kif 229-229 | |
| (domain FemaleLifeExpectancyAtBirthFn 2 Year) | People.kif 395-395 | |
| (domain LifeExpectancyAtBirthFn 2 Year) | People.kif 298-298 | |
| (domain MaleLifeExpectancyAtBirthFn 2 Year) | People.kif 347-347 | |
| (domain MigrantsPerThousandFn 2 Year) | People.kif 139-139 | |
| (domain PopulationGrowthFn 2 Year) | People.kif 37-37 | |
| (domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year) | Military.kif 983-983 | |
| (domainSubclass FiscalYearStartingFn 2 Year) | Economy.kif 3934-3934 | |
| (domainSubclass MonthFn 2 Year) | Merge.kif 8614-8614 | |
| (domainSubclass QuarterFn 2 Year) | Merge.kif 9011-9011 | |
| (domainSubclass WeekFn 2 Year) | Merge.kif 8993-8993 | |
| (domainSubclass lastRenovation 2 Year) | Hotel.kif 744-744 | |
| (domainSubclass yearBuilt 2 Year) | Hotel.kif 723-723 |
| antecedent |
|
|
| (=> (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 2227-2236 | |
| (=> (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 2271-2280 | |
| (=> (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 2317-2326 | |
| (=> (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 2095-2104 | |
| (=> (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 2392-2401 | |
| (=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2238-2245 | |
| (=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2282-2289 | |
| (=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2328-2335 | |
| (=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2106-2113 | |
| (=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2403-2410 | |
| (=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2804-2811 | |
| (=> (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 2793-2802 | |
| (=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y)) |
Media.kif 437-444 | |
| (=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y)) |
Media.kif 446-453 | |
| (=> (and (instance ?PLACE AutonomousAgent) (subclass ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE))) |
Economy.kif 3948-3952 | |
| (=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T1 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T2 ?YEAR)) |
Media.kif 387-394 | |
| (=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T2 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T1 ?YEAR)) |
Media.kif 396-403 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?YEAR Year) (duration ?YEAR (MeasureFn 1 YearDuration))) |
Merge.kif 8786-8788 | |
| (=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 12)) |
Merge.kif 9524-9526 |
| 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 | |
| (=> (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 | |
| (=> (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 |
|
|
|