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 7146-7147 | |
(documentation YearDuration JapaneseLanguage "時間単位。1 暦年。1 年 = 365 日 = 31536000 秒。") | japanese_format.kif 1292-1292 | |
(instance YearDuration TimeDuration) | Merge.kif 7145-7145 | YearDuration は 時間分 の instance では |
(instance YearDuration UnitOfDuration) | Merge.kif 7144-7144 | YearDuration は UnitOfDuration の instance では |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Year YearDuration) | Merge.kif 8838-8838 | 年 は YearDuration に internally 関連して |
(termFormat ChineseLanguage YearDuration "年持续时间") | domainEnglishFormat.kif 63745-63745 | 年 は YearDuration に internally 関連して |
(termFormat ChineseTraditionalLanguage YearDuration "年持續時間") | domainEnglishFormat.kif 63744-63744 | 年 は YearDuration に internally 関連して |
(termFormat EnglishLanguage YearDuration "year duration") | domainEnglishFormat.kif 63743-63743 | 年 は YearDuration に internally 関連して |
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 1054-1065 | ?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 1122-1136 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
(equal (MeasureFn 1 YearDuration) (MeasureFn 365 DayDuration)) |
Merge.kif 7149-7151 | 1 の YearDuration(s) は 365 の DayDuration(s) と equal では |
![]() |
![]() |