age |
appearance as argument number 1 |
![]() |
(documentation age ChineseLanguage "这只是把一个 Object 和一个用来指定这个 Object 的岁数的 ConstantQuantity 联系起来。") | chinese_format.kif 2635-2636 | |
(documentation age EnglishLanguage "Simply relates an Object to a ConstantQuantity specifying the age of the Object.") | Merge.kif 7566-7567 | |
(documentation age JapaneseLanguage "単に Object の年齢を指定する ConstantQuantity に Object を関連付ける。") | japanese_format.kif 1350-1351 | |
(domain age 1 Physical) | Merge.kif 7563-7563 | age の数値 1 引数は 物理 の instance では |
(domain age 2 TimeDuration) | Merge.kif 7564-7564 | age の数値 2 引数は 時間分 の instance では |
(instance age BinaryPredicate) | Merge.kif 7562-7562 | age は 2進述語 の instance では |
(instance age SingleValuedRelation) | Merge.kif 7560-7560 | age は 一価関係 の instance では |
(subrelation age measure) | Merge.kif 7561-7561 | age は measure の subrelation では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage age "%1 的 age %n 是 %2") | chinese_format.kif 611-611 | |
(format EnglishLanguage age "the age of %1 is %n %2") | english_format.kif 614-614 | |
(format FrenchLanguage age "l' �ge de %1 est %n %2") | french_format.kif 370-370 | |
(format ItalianLanguage age "il età di %1 è%n %2") | relations-it.txt 21-21 | |
(format JapaneseLanguage age "%1 の age は %2 では %n ") | japanese_format.kif 2104-2104 | |
(format PortugueseLanguage age "a idade de %1 e' %n %2") | portuguese_format.kif 322-322 | |
(format cb age "ang idad sa %1 %n{dili} %2") | relations-cb.txt 55-55 | |
(format de age "das alter von %1 ist %2 %n{nicht}") | relations-de.txt 800-800 | |
(format hi age "%1 kii aayu %2 %n hai") | relations-hindi.txt 66-66 | |
(format ro age "age%t{vârsta} lui %1 %n{nu} este %2") | relations-ro.kif 392-392 | |
(format sv age "åldern på %1 är %n{inte} %2") | relations-sv.txt 411-411 | |
(format tg age "ang gulang ng %1 %n{hindi} %2") | relations-tg.txt 58-58 | |
(termFormat ChineseLanguage age "年龄") | chinese_format.kif 612-612 | |
(termFormat ChineseTraditionalLanguage age "年齡") | domainEnglishFormat.kif 5804-5804 | |
(termFormat EnglishLanguage age "age") | domainEnglishFormat.kif 5803-5803 | |
(termFormat de age "alter") | terms-de.txt 236-236 | |
(termFormat tg age "gulang") | relations-tg.txt 59-59 |
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 (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 940-949 | equal AvailableForMilitaryServiceMaleFn 地政学的地域 and エンティティー class の instances の数 |
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 963-974 | equal FitForMilitaryServiceMaleFn 地政学的地域 and エンティティー class の instances の数 |
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 1001-1014 | equal ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年 and エンティティー class の instances の数 |
![]() |
![]() |