TreeView Knowledge Base Browser

appearance as argument number 1

(documentation CollegeJunior EnglishLanguage "The Positions of a student at a PostSecondarySchool who has completed at least two years and less than three years at the school.")	Mid-level-ontology.kif 16436-16437
(instance CollegeJunior CollegeStudentPosition)	Mid-level-ontology.kif 16435-16435	College junior is an instance of college student position

appearance as argument number 2

(termFormat ChineseLanguage CollegeJunior "大学三年级")	domainEnglishFormat.kif 15529-15529
(termFormat ChineseTraditionalLanguage CollegeJunior "大學三年級")	domainEnglishFormat.kif 15528-15528
(termFormat EnglishLanguage CollegeJunior "college junior")	domainEnglishFormat.kif 15527-15527

antecedent

(=>
    (and
        (attribute ?P CollegeJunior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 2 YearDuration))
            (lessThan ?T
                (MeasureFn 3 YearDuration)))))

Mid-level-ontology.kif 16439-16450