| HumanYouth(human youth)
| | immature, pup, puppy, spring_chicken, young, young_person, younker, youth |
| appearance as argument number 1 |
|
|
| (documentation HumanYouth EnglishLanguage "The class of Humans that are younger than 18 years of age.") | Mid-level-ontology.kif 242-243 | |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Teens_in_G-string-bikinis.jpg") | pictureList.kif 3140-3140 | |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg") | pictureList.kif 2969-2969 | |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Young_girls_in_bunad.jpg") | pictureList.kif 3141-3141 | |
| (subclass HumanYouth Human) | Mid-level-ontology.kif 241-241 | Human youth is a subclass of human |
| appearance as argument number 2 |
|
|
| (subclass HumanChild HumanYouth) | Mid-level-ontology.kif 269-269 | Human child is a subclass of human youth |
| (termFormat ChineseLanguage HumanYouth "人类青年") | domainEnglishFormat.kif 28939-28939 | Human child is a subclass of human youth |
| (termFormat ChineseTraditionalLanguage HumanYouth "人類青年") | domainEnglishFormat.kif 28938-28938 | Human child is a subclass of human youth |
| (termFormat EnglishLanguage HumanYouth "human youth") | domainEnglishFormat.kif 28937-28937 | Human child is a subclass of human youth |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (and (instance ?YOUTH HumanYouth) (age ?YOUTH (MeasureFn ?NUMBER YearDuration)))) (lessThan ?NUMBER 18)) |
Mid-level-ontology.kif 245-250 |
|
| (=> (holdsDuring ?TIME (instance ?H HumanYouth)) (exists (?AGE) (and (holdsDuring ?TIME (age ?H ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 0 YearDuration) (MeasureFn 17 YearDuration)))))) |
Mid-level-ontology.kif 252-260 |
|
| consequent |
|
|
| (=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth))) |
Mid-level-ontology.kif 279-285 |
|
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth))) |
Mid-level-ontology.kif 262-267 |
|
|
|
|