YearDuration(年持續時間) |
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 7136-7137 | |
(documentation YearDuration JapaneseLanguage "時間単位。1 暦年。1 年 = 365 日 = 31536000 秒。") | japanese_format.kif 1292-1292 | |
(instance YearDuration TimeDuration) | Merge.kif 7135-7135 | 例 年持續時間 and TimeDuration |
(instance YearDuration UnitOfDuration) | Merge.kif 7134-7134 | 例 年持續時間 and UnitOfDuration |
appearance as argument number 2 |
(relatedInternalConcept Year YearDuration) | Merge.kif 8740-8740 | 相關的內部概念 年 and 年持續時間 |
(termFormat ChineseLanguage YearDuration "年持续时间") | domainEnglishFormat.kif 63751-63751 | |
(termFormat ChineseTraditionalLanguage YearDuration "年持續時間") | domainEnglishFormat.kif 63750-63750 | |
(termFormat EnglishLanguage YearDuration "year duration") | domainEnglishFormat.kif 63749-63749 |
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 1092-1103 | 包含信息 ?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 1160-1174 | 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
(equal (MeasureFn 1 YearDuration) (MeasureFn 365 DayDuration)) |
Merge.kif 7139-7141 | 等於 測量 1 and 年持續時間 and 測量 365 and 一天長度 |