YearDuration(year duration) | ![]() | New_Year, Y2K, annum, anomalistic_year, financial_year, fiscal_year, sidereal_year, twelvemonth, year, yearlong, yr |
appearance as argument number 1 |
![]() |
(documentation YearDuration ChineseLanguage "这是时间单位,一个日历年,1年=365日=31536000秒。") | chinese_format.kif 2585-2585 | |
(documentation YearDuration EnglishLanguage "Time unit. one calendar year. 1 year = 365 days = 31536000 seconds.") | Merge.kif 7040-7041 | |
(instance YearDuration TimeDuration) | Merge.kif 7039-7039 | Year duration is an instance of time duration |
(instance YearDuration UnitOfDuration) | Merge.kif 7038-7038 | Year duration is an instance of UnitOfDuration |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Year YearDuration) | Merge.kif 8642-8642 | Year is internally related to year duration |
(termFormat ChineseLanguage YearDuration "年持续时间") | domainEnglishFormat.kif 63724-63724 | |
(termFormat ChineseTraditionalLanguage YearDuration "年持續時間") | domainEnglishFormat.kif 63723-63723 | |
(termFormat EnglishLanguage YearDuration "year duration") | domainEnglishFormat.kif 63722-63722 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw) |
Government.kif 1077-1088 | For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw) |
Government.kif 1145-1159 | For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
(equal (MeasureFn 1 YearDuration) (MeasureFn 365 DayDuration)) |
Merge.kif 7043-7045 | 1 Year duration(s) is equal to 365 day duration(s) |
![]() |
![]() |