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 è un' istanza di Durata |
(instance YearDuration UnitOfDuration) | Merge.kif 7134-7134 | YearDuration è un' istanza di UnitOfDuration |
appearance as argument number 2 |
(relatedInternalConcept Year YearDuration) | Merge.kif 8762-8762 | Anno è interamente correlato a YearDuration |
(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 is uguale a 365 DayDuration(s |