CollegeJunior - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage CollegeJunior "college junior")	domainEnglishFormat.kif 15602-15602
(termFormat ChineseTraditionalLanguage CollegeJunior "大學三年級")	domainEnglishFormat.kif 15603-15603
(termFormat ChineseLanguage CollegeJunior "大学三年级")	domainEnglishFormat.kif 15604-15604

antecedent

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

If college junior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 2 and W is less than 3