Year - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Year ChineseLanguage "这是所有日历 Year 的 Class。")	Merge.kif 12360-12360
(documentation Year EnglishLanguage "The Class of all calendar Years.")	Merge.kif 12358-12358
(documentation Year JapaneseLanguage "すべてのカレンダー Year の Class。")	Merge.kif 12362-12362
(relatedInternalConcept Year YearDuration)	Merge.kif 12356-12356	年は YearDuration に internally 関連して %n
(relatedInternalConcept Year YearFn)	Merge.kif 12355-12355	年は YearFn に internally 関連して %n
(subclass Year TimeInterval)	Merge.kif 12354-12354	年は時間間隔の subclass では %n

appearance as argument number 2

(rangeSubclass YearFn Year)	Merge.kif 12092-12092	YearFn が返す値は年の subclasses では %n
(subclass LeapYear Year)	Merge.kif 12556-12556	うるう年は年の subclass では %n
(termFormat ChineseLanguage Year "年")	chinese_format.kif 1274-1274	termFormat ChineseLanguage, 年 and "年"
(termFormat ChineseTraditionalLanguage Year "年")	domainEnglishFormat.kif 63702-63702	termFormat ChineseTraditionalLanguage, 年 and "年"
(termFormat EnglishLanguage Year "year")	english_format.kif 2535-2535	termFormat EnglishLanguage, 年 and "year"
(termFormat JapaneseLanguage Year "年")	english_format.kif 2536-2536	termFormat JapaneseLanguage, 年 and "年"

appearance as argument number 3

(domain BirthsPerThousandFn 2 Year)	People.kif 92-92	BirthsPerThousandFn の数値 2 引数は年の instance では %n
(domain ChildrenBornPerWomanFn 2 Year)	People.kif 448-448	ChildrenBornPerWomanFn の数値 2 引数は年の instance では %n
(domain DeathsPerThousandFn 2 Year)	People.kif 123-123	DeathsPerThousandFn の数値 2 引数は年の instance では %n
(domain DeathsPerThousandLiveBirthsFn 2 Year)	People.kif 244-244	DeathsPerThousandLiveBirthsFn の数値 2 引数は年の instance では %n
(domain FemaleLifeExpectancyAtBirthFn 2 Year)	People.kif 403-403	FemaleLifeExpectancyAtBirthFn の数値 2 引数は年の instance では %n
(domain LifeExpectancyAtBirthFn 2 Year)	People.kif 311-311	LifeExpectancyAtBirthFn の数値 2 引数は年の instance では %n
(domain MaleLifeExpectancyAtBirthFn 2 Year)	People.kif 358-358	MaleLifeExpectancyAtBirthFn の数値 2 引数は年の instance では %n
(domain MigrantsPerThousandFn 2 Year)	People.kif 157-157	MigrantsPerThousandFn の数値 2 引数は年の instance では %n
(domain PopulationGrowthFn 2 Year)	People.kif 63-63	PopulationGrowthFn の数値 2 引数は年の instance では %n
(domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year)	Military.kif 920-920	ReachingMilitaryAgeAnnuallyMaleFn の数値 2 引数は年の instance では %n
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 3726-3726	FiscalYearStartingFn の数値 2 引数は年のsubclass では %n
(domainSubclass MonthFn 2 Year)	Merge.kif 12121-12121	MonthFn の数値 2 引数は年のsubclass では %n
(domainSubclass QuarterFn 2 Year)	Merge.kif 12523-12523	QuarterFn の数値 2 引数は年のsubclass では %n
(domainSubclass WeekFn 2 Year)	Merge.kif 12499-12499	WeekFn の数値 2 引数は年のsubclass では %n
(domainSubclass lastRenovation 2 Year)	Hotel.kif 713-713	lastRenovation の数値 2 引数は年のsubclass では %n
(domainSubclass yearBuilt 2 Year)	Hotel.kif 692-692	yearBuilt の数値 2 引数は年のsubclass では %n

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 2116-2125	electricityConsumptionInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualElectricityConsumption 地政学的地域 and 物理量は時間位置の during holds %n{ない}
(=> (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 2160-2169	electricityExportInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualElectricityExport 地政学的地域 and 物理量は時間位置の during holds %n{ない}
(=> (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 2206-2215	electricityImportInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualElectricityImport 地政学的地域 and 物理量は時間位置の during holds %n{ない}
(=> (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 1984-1993	electricityProductionInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualElectricityProduction 地政学的地域 and 物理量は時間位置の during holds %n{ない}
(=> (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 2281-2290	exportTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualExportTotal 地政学的地域 and 通貨測定は時間位置の during holds %n{ない}
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2127-2134	annualElectricityConsumption 地政学的地域 and 物理量は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n electricityConsumptionInPeriod 地政学的地域, 物理量 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2171-2178	annualElectricityExport 地政学的地域 and 物理量は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n electricityExportInPeriod 地政学的地域, 物理量 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2217-2224	annualElectricityImport 地政学的地域 and 物理量は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n electricityImportInPeriod 地政学的地域, 物理量 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 1995-2002	annualElectricityProduction 地政学的地域 and 物理量は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n electricityProductionInPeriod 地政学的地域, 物理量 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2292-2299	annualExportTotal 地政学的地域 and 通貨測定は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n exportTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2597-2604	annualImportTotal 地政学的地域 and 通貨測定は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n importTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔
(=> (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 2586-2595	importTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualImportTotal 地政学的地域 and 通貨測定は時間位置の during holds %n{ない}
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y))	Media.kif 437-444	時間間隔は EasterSunday の instance では %n 時間間隔は Lent の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は年の instance では %n 時間間隔は時間間隔の during に takes %n{ない}
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y))	Media.kif 446-453	時間間隔は EasterSunday の instance では %n 時間間隔は Lent の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は年の instance では %n 時間間隔は時間間隔の during に takes %n{ない}
(=> (and (instance ?PLACE Agent) (instance ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE)))	Economy.kif 3739-3743	代理(人) は代理(人) の instance では %n 年は年の instance では %n FiscalYearStartingFn 代理(人) and 年は FiscalYearFn 代理(人) の instance では %n
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T1 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T2 ?YEAR))	Media.kif 387-394	時間間隔は Advent の instance では %n 時間間隔は ChristmasDay の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は年の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔の during に takes %n{ない}
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T2 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T1 ?YEAR))	Media.kif 396-403	時間間隔は Advent の instance では %n 時間間隔は ChristmasDay の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は年の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔の during に takes %n{ない}
(=> (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	時間間隔は年の instance では %n 時間間隔は EasterSunday の instance では %n 時間間隔は AscensionThursday の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔を starts %n{ない} 時間間隔は時間間隔を finishes %n{ない} 時間間隔の duration は 40 の DayDuration(s) では %n
(=> (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	時間間隔は年の instance では %n 時間間隔は EasterSunday の instance では %n 時間間隔は PalmSunday の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔を starts %n{ない} 時間間隔は時間間隔を finishes %n{ない} 時間間隔の duration は 8 の DayDuration(s) では %n
(=> (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 では %n 時間間隔は EasterSunday の instance では %n 時間間隔は Pentecost の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔を starts %n{ない} 時間間隔は時間間隔を finishes %n{ない} 時間間隔の duration は 50 の DayDuration(s) では %n
(=> (and (instance ?YEAR1 Year) (instance ?YEAR2 Year) (equal (SubtractionFn ?YEAR2 ?YEAR1) (MeasureFn 1 YearDuration))) (meetsTemporally ?YEAR1 ?YEAR2))	Merge.kif 12368-12373	時間間隔は年の instance では %n 時間間隔は年の instance では %n ( 時間間隔 + 時間間隔) は 1 の YearDuration(s) と equal では %n 時間間隔は時間間隔に meets %n{ない}
(=> (instance ?YEAR Year) (duration ?YEAR (MeasureFn 1 YearDuration)))	Merge.kif 12364-12366	時間間隔は年の instance では %n 時間間隔の duration は 1 の YearDuration(s) では %n
(=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 12))	Merge.kif 13143-13145	時間間隔は年の instance では %n 時間間隔をの月s に decomposition の instances の数は 12 と equal では %n

consequent

(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T ?C) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 193-210	Muslim は代理(人) の attribute では %n 代理(人) の所有物の value は通貨測定と equal では %n ステートメントエンティティーエンティティーエンティティーは Zakat の instance では %n エンティティーは年の instance では %n エンティティーは代理(人) の time の existence の during に takes %n{ない} FullyFormed は代理(人) の attribute では %n はエンティティーの during holds %n{ない} 代理(人) はエンティティーの agent では %n エンティティーはエンティティーの patient では %n エンティティーの value はエンティティーでは %n エンティティーは通貨測定 + 0.025 より greater では　%n には Obligation の modal force がある
(=> (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	時間間隔は Advent の instance では %n 時間間隔は ChristmasDay の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔時間間隔は年の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない}
(=> (instance ?E EidAlFitr) (exists (?R ?Y) (and (instance ?R Ramadan) (instance ?Y Year) (during ?R ?Y) (during ?E ?Y) (before ?R ?E))))	ArabicCulture.kif 216-224	時間間隔は EidAlFitr の instance では %n 時間間隔時間間隔時間間隔は Ramadan の instance では %n 時間間隔は年の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の before に happens %n{ない}

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

KB Term:			Term intersection

English Word: