Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AgeGroup
|
|
|
| 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 |
|
