TreeView Knowledge Base Browser

antecedent

(=> (holdsDuring ?TIME (and (instance ?TEEN Teenager) (age ?TEEN (MeasureFn ?NUMBER YearDuration)))) (and (greaterThan ?NUMBER 12) (lessThan ?NUMBER 20)))	Mid-level-ontology.kif 306-313	If X is an instance of teenager and the age of X is Y year duration(s) holds during Z, then Y is greater than 12 and Y is less than 20
(=> (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 315-323	If X is an instance of teenager 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 13 year duration(s) to 19 year duration(s)

consequent

(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThan ?N 12)
        (lessThan ?N 20))
    (holdsDuring ?T1
        (instance ?H Teenager)))

If X is an instance of human, the age of X is Y year duration(s) holds during Z, Y is greater than 12, and Y is less than 20, then X is an instance of teenager holds during Z

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

(termFormat EnglishLanguage Teenager "teenager")	domainEnglishFormat.kif 57214-57214
(termFormat ChineseTraditionalLanguage Teenager "青少年")	domainEnglishFormat.kif 57215-57215
(termFormat ChineseLanguage Teenager "青少年")	domainEnglishFormat.kif 57216-57216