Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  WesternHemisphere

 Sigma KEE - HumanYouth
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 231-231 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 232-233 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
-------------------------


(subclass HumanChild HumanYouth) Mid-level-ontology.kif 259-259 Human child is a subclass of human youth
(termFormat EnglishLanguage HumanYouth "human youth") domainEnglishFormat.kif 28907-28907 Human child is a subclass of human youth
(termFormat ChineseTraditionalLanguage HumanYouth "人類青年") domainEnglishFormat.kif 28908-28908 Human child is a subclass of human youth
(termFormat ChineseLanguage HumanYouth "人类青年") domainEnglishFormat.kif 28909-28909 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 235-240 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 242-250 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 252-257 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 269-275 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners