TreeView Knowledge Base Browser

appearance as argument number 1

(instance CollegeSenior CollegeStudentPosition)	Mid-level-ontology.kif 20677-20677	College senior is an instance of college student position
(documentation CollegeSenior EnglishLanguage "The Positions of a student at a PostSecondarySchool who has completed at least three years and less than four years at the school.")	Mid-level-ontology.kif 20678-20679	College senior is an instance of college student position

appearance as argument number 2

(termFormat EnglishLanguage CollegeSenior "college senior")	domainEnglishFormat.kif 15608-15608
(termFormat ChineseTraditionalLanguage CollegeSenior "大學高年級")	domainEnglishFormat.kif 15609-15609
(termFormat ChineseLanguage CollegeSenior "大学高年级")	domainEnglishFormat.kif 15610-15610

antecedent

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

If college senior 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 3 and W is less than 4