Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanYouth

Sigma KEE - HumanYouth
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 392-393
(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 391-391

appearance as argument number 2
-------------------------


(subclass HumanChild HumanYouth) Mid-level-ontology.kif 426-426
(termFormat EnglishLanguage HumanYouth "human youth") domainEnglishFormat.kif 5235-5235

antecedent
-------------------------


(=>
    (holdsDuring ?TIME
        (and
            (instance ?YOUTH HumanYouth)
            (age ?YOUTH
                (MeasureFn ?NUMBER YearDuration))))
    (lessThan ?NUMBER 18))
Mid-level-ontology.kif 403-408
(=>
    (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 411-416

consequent
-------------------------


(=>
    (and
        (instance ?CHILD Human)
        (holdsDuring ?TIME
            (attribute ?CHILD NonFullyFormed)))
    (holdsDuring ?TIME
        (instance ?CHILD HumanYouth)))
Mid-level-ontology.kif 438-444
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))
Mid-level-ontology.kif 419-424


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners