CollegeFreshman - Sigma Knowledge base Browser

appearance as argument number 1

(instance CollegeFreshman CollegeStudentPosition)	Mid-level-ontology.kif 20646-20646	College freshman is an instance of college student position
(documentation CollegeFreshman EnglishLanguage "The Positions of a student at a PostSecondarySchool who has completed less than one year at the school.")	Mid-level-ontology.kif 20647-20648	College freshman is an instance of college student position
(externalImage CollegeFreshman "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG")	pictureList.kif 8425-8425	College freshman is an instance of college student position

appearance as argument number 2

(termFormat EnglishLanguage CollegeFreshman "college freshman")	domainEnglishFormat.kif 15596-15596
(termFormat ChineseTraditionalLanguage CollegeFreshman "大學新生")	domainEnglishFormat.kif 15597-15597
(termFormat ChineseLanguage CollegeFreshman "大学新生")	domainEnglishFormat.kif 15598-15598

antecedent

(=>
    (and
        (attribute ?P CollegeFreshman)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (lessThan ?T 1))))

If college freshman 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 less than 1