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 16322-16323
(instance CollegeJunior CollegeStudentPosition)	Mid-level-ontology.kif 16321-16321	College junior is an instance of college student position

appearance as argument number 2

(termFormat EnglishLanguage CollegeJunior "college junior")

domainEnglishFormat.kif 3022-3022

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 16325-16336