Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
AgeGroup(age group)
|  | age_bracket, age_class, age_group, baby-boom_generation, baby_boom, beat_generation, beatniks, beats, centenarian, coeval, coevals, cohort, contemporaries, contemporary, generation, nonagenarian, octogenarian, peer_group, septuagenarian, sexagenarian, underage |
| appearance as argument number 1 |
|
|
| (subclass AgeGroup GroupOfPeople) | Merge.kif 16603-16603 | Age group is a subclass of group of people |
| (documentation AgeGroup EnglishLanguage "A GroupOfPeople whose members all have the same age.") | Merge.kif 16604-16605 | Age group is a subclass of group of people |
| (externalImage AgeGroup "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ HappyPensioneer.jpg") | pictureList.kif 9871-9871 | Age group is a subclass of group of people |
| (externalImage AgeGroup "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Sabaa_Nissan_Militiaman.jpg") | pictureList.kif 10361-10361 | Age group is a subclass of group of people |
| (externalImage AgeGroup "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Senescence.JPG") | pictureList.kif 10362-10362 | Age group is a subclass of group of people |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AgeGroup "age group") | english_format.kif 1343-1343 |
| antecedent |
|
|
| (=> (instance ?GROUP AgeGroup) (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP) (age ?MEMB1 ?AGE1) (age ?MEMB2 ?AGE2)) (equal ?AGE1 ?AGE2)))) |
Merge.kif 16607-16616 | If X is an instance of age group, then For all Physicals Y and Z and TimeDurations W and V: if Y is a member of X, Z is a member of X, the age of Y is W, and the age of Z is V, then equal W and V |
|