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 | YearDuration は 時間分 の instance では %n |
(instance YearDuration UnitOfDuration) | Merge.kif 7134-7134 | YearDuration は UnitOfDuration の instance では %n |
appearance as argument number 2 |
(relatedInternalConcept Year YearDuration) | Merge.kif 8740-8740 | 年 は YearDuration に internally 関連して %n |
(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 の YearDuration(s) は 365 の DayDuration(s) と equal では %n |