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 242-243
(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 241-241

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


(subclass HumanChild HumanYouth) Mid-level-ontology.kif 269-269
(termFormat ChineseLanguage HumanYouth "人类青年") domainEnglishFormat.kif 28896-28896
(termFormat ChineseTraditionalLanguage HumanYouth "人類青年") domainEnglishFormat.kif 28895-28895
(termFormat EnglishLanguage HumanYouth "human youth") domainEnglishFormat.kif 28894-28894

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


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

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


(=>
    (and
        (instance ?CHILD Human)
        (holdsDuring ?TIME
            (attribute ?CHILD NonFullyFormed)))
    (holdsDuring ?TIME
        (instance ?CHILD HumanYouth)))
Mid-level-ontology.kif 279-285
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))
Mid-level-ontology.kif 262-267


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 is open source software produced by Articulate Software and its partners