| HumanYouth
| |
| 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 3139-3139 | |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg") | pictureList.kif 2968-2968 | |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Young_girls_in_bunad.jpg") | pictureList.kif 3140-3140 | |
| (subclass HumanYouth Human) | Mid-level-ontology.kif 241-241 |
| appearance as argument number 2 |
|
|
| (subclass HumanChild HumanYouth) | Mid-level-ontology.kif 269-269 | |
| (termFormat ChineseLanguage HumanYouth "人类青年") | domainEnglishFormat.kif 28916-28916 | |
| (termFormat ChineseTraditionalLanguage HumanYouth "人類青年") | domainEnglishFormat.kif 28915-28915 | |
| (termFormat EnglishLanguage HumanYouth "human youth") | domainEnglishFormat.kif 28914-28914 |
| 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 |
|
|
|