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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 249-250
(externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Teens_in_G-string-bikinis.jpg") pictureList.kif 3140-3140
(externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg") pictureList.kif 2969-2969
(externalImage HumanYouth "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Young_girls_in_bunad.jpg") pictureList.kif 3141-3141
(subclass HumanYouth Human) Mid-level-ontology.kif 248-248

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


(subclass HumanChild HumanYouth) Mid-level-ontology.kif 276-276
(termFormat ChineseLanguage HumanYouth "人类青年") domainEnglishFormat.kif 28905-28905
(termFormat ChineseTraditionalLanguage HumanYouth "人類青年") domainEnglishFormat.kif 28904-28904
(termFormat EnglishLanguage HumanYouth "human youth") domainEnglishFormat.kif 28903-28903

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


(=>
    (holdsDuring ?TIME
        (and
            (instance ?YOUTH HumanYouth)
            (age ?YOUTH
                (MeasureFn ?NUMBER YearDuration))))
    (lessThan ?NUMBER 18))
Mid-level-ontology.kif 252-257
(=>
    (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 259-267

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


(=>
    (and
        (instance ?CHILD Human)
        (holdsDuring ?TIME
            (attribute ?CHILD NonFullyFormed)))
    (holdsDuring ?TIME
        (instance ?CHILD HumanYouth)))
Mid-level-ontology.kif 286-292
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))
Mid-level-ontology.kif 269-274


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners