| 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 391-392 | |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Teens_in_G-string-bikinis.jpg") | pictureList.kif 3141-3141 | |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg") | pictureList.kif 2970-2970 | |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Young_girls_in_bunad.jpg") | pictureList.kif 3142-3142 | |
| (subclass HumanYouth Human) | Mid-level-ontology.kif 390-390 |
| appearance as argument number 2 |
|
|
| (subclass HumanChild HumanYouth) | Mid-level-ontology.kif 425-425 | |
| (termFormat ChineseLanguage HumanYouth "人类青年") | domainEnglishFormat.kif 28837-28837 | |
| (termFormat ChineseTraditionalLanguage HumanYouth "人類青年") | domainEnglishFormat.kif 28836-28836 | |
| (termFormat EnglishLanguage HumanYouth "human youth") | domainEnglishFormat.kif 28835-28835 |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (and (instance ?YOUTH HumanYouth) (age ?YOUTH (MeasureFn ?NUMBER YearDuration)))) (lessThan ?NUMBER 18)) |
Mid-level-ontology.kif 402-407 | |
| (=> (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 410-415 |
| consequent |
|
|
| (=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth))) |
Mid-level-ontology.kif 437-443 | |
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth))) |
Mid-level-ontology.kif 418-423 |
|
|
|