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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Teenager

Sigma KEE - Teenager
Teenager
صبِيّ, فتًى, مُراهِق, يَافِع,

appearance as argument number 1
-------------------------


(documentation Teenager EnglishLanguage "A Human between puberty and the age of 20.") Mid-level-ontology.kif 472-472
(externalImage Teenager "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ Diversity_of_youth_in_Oslo_Norway.jpg") pictureList.kif 3220-3220
(subclass Teenager Human) Mid-level-ontology.kif 471-471

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


(termFormat EnglishLanguage Teenager "teenager") domainEnglishFormat.kif 9959-9959

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


(=>
    (holdsDuring ?TIME
        (and
            (instance ?TEEN Teenager)
            (age ?TEEN
                (MeasureFn ?NUMBER YearDuration))))
    (and
        (greaterThan ?NUMBER 12)
        (lessThan ?NUMBER 20)))
Mid-level-ontology.kif 474-481
(=>
    (holdsDuring ?TIME
        (instance ?H Teenager))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?H ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 13 YearDuration)
                    (MeasureFn 19 YearDuration))))))
Mid-level-ontology.kif 484-489

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThan ?N 12)
        (lessThan ?N 20))
    (holdsDuring ?T1
        (instance ?H Teenager)))
Mid-level-ontology.kif 492-498


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