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 7522-7523 | |
(documentation age JapaneseLanguage "単に Object の年齢を指定する ConstantQuantity に Object を関連付ける。") | japanese_format.kif 1350-1351 | |
(domain age 2 TimeDuration) | Merge.kif 7520-7520 | Il numero 2 argomenti di age è un istanza di Durata |
(instance age BinaryPredicate) | Merge.kif 7519-7519 | age è un' istanza di PredicatoBinario |
(instance age SingleValuedRelation) | Merge.kif 7517-7517 | age è un' istanza di RelazioneMonovalente |
(subrelation age measure) | Merge.kif 7518-7518 | age è una sottorelazione di measure |
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 5795-5795 | |
(termFormat EnglishLanguage age "age") | domainEnglishFormat.kif 5794-5794 | |
(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 1056-1067 | ?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 1124-1138 | ?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 863-872 | AvailableForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa |
(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 886-897 | FitForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa |
(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 924-937 | ReachingMilitaryAgeAnnuallyMaleFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa |