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 7425-7426 | |
(domain age 2 TimeDuration) | Merge.kif 7423-7423 | The number 2 argument of age is an instance of time duration |
(instance age BinaryPredicate) | Merge.kif 7422-7422 | age is an instance of binary predicate |
(instance age SingleValuedRelation) | Merge.kif 7420-7420 | age is an instance of single valued relation |
(subrelation age measure) | Merge.kif 7421-7421 | age is a subrelation of 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 | |
(termFormat ChineseLanguage age "年龄") | chinese_format.kif 612-612 | |
(termFormat ChineseTraditionalLanguage age "年齡") | domainEnglishFormat.kif 5804-5804 | |
(termFormat EnglishLanguage age "age") | domainEnglishFormat.kif 5803-5803 |
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 1077-1088 | For all ?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 1145-1159 | For all ?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 | The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string |
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 895-906 | The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string |
(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 | The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string |
![]() |
![]() |