Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CollegeJunior

Sigma KEE - CollegeJunior
CollegeJunior(college junior)college_junior, junior

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 "college junior" is the printable form of college junior in english language

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners