| HumanYouth(human youth)
| | immature, pup, puppy, spring_chicken, young, young_person, younker, youth |
| appearance as argument number 1 |
|
|
| (subclass HumanYouth Human) | Mid-level-ontology.kif 244-244 | Human youth is a subclass of human |
| (documentation HumanYouth EnglishLanguage "The class of Humans that are younger than 18 years of age.") | Mid-level-ontology.kif 245-246 | Human youth is a subclass of human |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg") | pictureList.kif 2968-2968 | Human youth is a subclass of human |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Teens_in_G_string_bikinis.jpg") | pictureList.kif 3139-3139 | Human youth is a subclass of human |
| (externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Young_girls_in_bunad.jpg") | pictureList.kif 3140-3140 | Human youth is a subclass of human |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (holdsDuring ?TIME (and (instance ?YOUTH HumanYouth) (age ?YOUTH (MeasureFn ?NUMBER YearDuration)))) (lessThan ?NUMBER 18)) |
Mid-level-ontology.kif 248-253 | If X is an instance of human youth and the age of X is Y year duration(s) holds during Z, then Y is less than 18 |
| (=> (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 255-263 | If X is an instance of human youth 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 0 year duration(s) to 17 year duration(s) |
| consequent |
|
|
| (=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth))) |
Mid-level-ontology.kif 265-270 | If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than 18, then X is an instance of human youth holds during Z |
| (=> (and (instance ?CHILD Human) (holdsDuring ?TIME (attribute ?CHILD NonFullyFormed))) (holdsDuring ?TIME (instance ?CHILD HumanYouth))) |
Mid-level-ontology.kif 282-288 | If X is an instance of human and non fully formed is an attribute of X holds during Y, then X is an instance of human youth holds during Y |
|
|
|