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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - College
more pictures...

appearance as argument number 1

(documentation College EnglishLanguage "A School which admits students who have graduated from high school and which confers a bachelor's degree, normally requiring four years of study. Note that a College does not confer any graduate degrees. For institutions that confer both bachelor's and graduate degrees, the concept University should be used.") Mid-level-ontology.kif 16152-16157
(externalImage College " 01/ Trinity_College%2C_UofT.jpg") pictureList.kif 5921-5921
(externalImage College " 3f/ College_de_france.jpg") pictureList.kif 6283-6283
(externalImage College " 72/ St_Johns_College_Johannesburg.jpg") pictureList.kif 6284-6284
(externalImage College " 8e/ BCburnslawnsunset.jpg") pictureList.kif 6285-6285
(externalImage College " bc/ Agnes_Scott_College_-_Buttrick_Hall.jpg") pictureList.kif 6286-6286
(externalImage College " fd/ KingsCollegeChapel.jpg") pictureList.kif 6287-6287
(externalImage College "") pictureList.kif 6288-6288
(externalImage College "") pictureList.kif 6291-6291
(subclass College PostSecondarySchool) Mid-level-ontology.kif 16151-16151 College is a subclass of post secondary school

appearance as argument number 2

(termFormat ChineseLanguage College "学院") domainEnglishFormat.kif 15585-15585
(termFormat ChineseTraditionalLanguage College "學院") domainEnglishFormat.kif 15584-15584
(termFormat EnglishLanguage College "college") domainEnglishFormat.kif 15583-15583

appearance as argument number 3

(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 16143-16143 Post secondary school is exhaustively partitioned into junior college, college, and university


        (instance ?E Matriculation)
        (agent ?E ?C)
        (patient ?E ?P)
        (instance ?C College))
    (exists (?G ?S)
            (instance ?G Graduation)
            (agent ?G ?S)
            (patient ?G ?P)
            (instance ?S SecondarySchool)
                (WhenFn ?G)
                (WhenFn ?E)))))
Mid-level-ontology.kif 16110-16122
        (instance ?ENTER Matriculation)
        (agent ?ENTER ?COLLEGE)
        (patient ?ENTER ?STUDENT)
        (instance ?COLLEGE College))
    (exists (?GRAD ?SCHOOL)
            (instance ?GRAD Graduation)
            (agent ?GRAD ?SCHOOL)
            (patient ?GRAD ?STUDENT)
            (instance ?SCHOOL HighSchool)
                (WhenFn ?GRAD)
                (WhenFn ?ENTER)))))
Mid-level-ontology.kif 16091-16103

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 3.0 is open source software produced by Articulate Software and its partners