|
|
   Teenager
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Teenager EnglishLanguage "A Human between puberty and the age of 20.") | Mid-level-ontology.kif 314-314 | |
| (externalImage Teenager "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg") | pictureList.kif 3219-3219 | |
| (subclass Teenager Human) | Mid-level-ontology.kif 313-313 | Teenager est une sous-classe de humain |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Teenager "青少年") | domainEnglishFormat.kif 57219-57219 | |
| (termFormat ChineseTraditionalLanguage Teenager "青少年") | domainEnglishFormat.kif 57218-57218 | |
| (termFormat EnglishLanguage Teenager "teenager") | domainEnglishFormat.kif 57217-57217 |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (and (instance ?TEEN Teenager) (age ?TEEN (MeasureFn ?NUMBER YearDuration)))) (and (greaterThan ?NUMBER 12) (lessThan ?NUMBER 20))) |
Mid-level-ontology.kif 316-323 |
|
| (=> (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 325-333 |
|
| 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 335-341 |
|
|
|
|
