| Teenager(teenager)
| | adolescent, chebab, stripling, teen, teenager |
| appearance as argument number 1 |
|
|
| (subclass Teenager Human) | Mid-level-ontology.kif 316-316 | Teenager is a subclass of human |
| (documentation Teenager EnglishLanguage "A Human between puberty and the age of 20.") | Mid-level-ontology.kif 317-317 | Teenager is a subclass of human |
| (externalImage Teenager "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg") | pictureList.kif 3218-3218 | Teenager is a subclass of human |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (holdsDuring ?TIME (and (instance ?TEEN Teenager) (age ?TEEN (MeasureFn ?NUMBER YearDuration)))) (and (greaterThan ?NUMBER 12) (lessThan ?NUMBER 20))) |
Mid-level-ontology.kif 319-326 | If X is an instance of teenager and the age of X is Y year duration(s) holds during Z, then Y is greater than 12 and Y is less than 20 |
| (=> (holdsDuring ?TIME (instance ?H Teenager)) (exists (?AGE) (and (holdsDuring ?TIME (age ?H ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 13 YearDuration) (MeasureFn 19 YearDuration)))))) |
Mid-level-ontology.kif 328-336 | If X is an instance of teenager holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 13 year duration(s) to 19 year duration(s) |
| consequent |
|
|
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThan ?N 12) (lessThan ?N 20)) (holdsDuring ?T1 (instance ?H Teenager))) |
Mid-level-ontology.kif 338-344 | If X is an instance of human, the age of X is Y year duration(s) holds during Z, Y is greater than 12, and Y is less than 20, then X is an instance of teenager holds during Z |
|
|
|