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 7521-7522 | |
(documentation age JapaneseLanguage "単に Object の年齢を指定する ConstantQuantity に Object を関連付ける。") | japanese_format.kif 1350-1351 | |
(domain age 2 TimeDuration) | Merge.kif 7519-7519 | Il numero 2 argomenti di age è un istanza di Durata |
(instance age BinaryPredicate) | Merge.kif 7518-7518 | age è un' istanza di PredicatoBinario |
(instance age SingleValuedRelation) | Merge.kif 7516-7516 | age è un' istanza di RelazioneMonovalente |
(subrelation age measure) | Merge.kif 7517-7517 | 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 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 (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 872-881 | 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 895-906 | 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 933-946 | ReachingMilitaryAgeAnnuallyMaleFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa |