CollegeSophomore - Sigma Knowledge base Browser

appearance as argument number 1

(instance CollegeSophomore CollegeStudentPosition)	Mid-level-ontology.kif 20693-20693	College sophomore is an instance of college student position
(documentation CollegeSophomore EnglishLanguage "The Positions of a student at a PostSecondarySchool who has completed at least one year and less than two years at the school.")	Mid-level-ontology.kif 20694-20695	College sophomore is an instance of college student position
(externalImage CollegeSophomore "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Math_lecture_at_TKK.JPG")	pictureList.kif 5920-5920	College sophomore is an instance of college student position
(externalImage CollegeSophomore "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Village_school_in_Northern_Bahr_el_Ghazal%2C_Sudan.jpg")	pictureList.kif 6290-6290	College sophomore is an instance of college student position
(externalImage CollegeSophomore "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Nh_students.JPG")	pictureList.kif 6291-6291	College sophomore is an instance of college student position
(externalImage CollegeSophomore "http://upload.wikimedia.org/wikipedia/commons/ e/ ea/ Academic_procession.jpg")	pictureList.kif 6292-6292	College sophomore is an instance of college student position

appearance as argument number 2

(termFormat EnglishLanguage CollegeSophomore "college sophomore")	domainEnglishFormat.kif 15614-15614
(termFormat ChineseTraditionalLanguage CollegeSophomore "大學二年級學生")	domainEnglishFormat.kif 15615-15615
(termFormat ChineseLanguage CollegeSophomore "大学二年级学生")	domainEnglishFormat.kif 15616-15616

antecedent

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

If college sophomore 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 1 and W is less than 2