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

Formal Language: 



KB Term:  Term intersection
English Word: 

  College

Sigma KEE - College
College(college)
more pictures...
college

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 16732-16737
(externalImage College "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Trinity_College%2C_UofT.jpg") pictureList.kif 5920-5920
(externalImage College "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ College_de_france.jpg") pictureList.kif 6282-6282
(externalImage College "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ St_Johns_College_Johannesburg.jpg") pictureList.kif 6283-6283
(externalImage College "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ BCburnslawnsunset.jpg") pictureList.kif 6284-6284
(externalImage College "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Agnes_Scott_College_-_Buttrick_Hall.jpg") pictureList.kif 6285-6285
(externalImage College "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ KingsCollegeChapel.jpg") pictureList.kif 6286-6286
(externalImage College "http://upload.wikimedia.org/wikipedia/en/4/46/Mackenzie_University_%281%29.jpg") pictureList.kif 6287-6287
(externalImage College "http://upload.wikimedia.org/wikipedia/en/b/b1/Trinity_college_front_square_cropped.jpg") pictureList.kif 6290-6290
(subclass College PostSecondarySchool) Mid-level-ontology.kif 16731-16731 College is a subclass of post secondary school

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage College "学院") domainEnglishFormat.kif 15590-15590
(termFormat ChineseTraditionalLanguage College "學院") domainEnglishFormat.kif 15589-15589
(termFormat EnglishLanguage College "college") domainEnglishFormat.kif 15588-15588

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?E Matriculation)
        (agent ?E ?C)
        (patient ?E ?P)
        (instance ?C College))
    (exists (?G ?S)
        (and
            (instance ?G Graduation)
            (agent ?G ?S)
            (patient ?G ?P)
            (instance ?S SecondarySchool)
            (earlier
                (WhenFn ?G)
                (WhenFn ?E)))))
Mid-level-ontology.kif 16690-16702
(=>
    (and
        (instance ?ENTER Matriculation)
        (agent ?ENTER ?COLLEGE)
        (patient ?ENTER ?STUDENT)
        (instance ?COLLEGE College))
    (exists (?GRAD ?SCHOOL)
        (and
            (instance ?GRAD Graduation)
            (agent ?GRAD ?SCHOOL)
            (patient ?GRAD ?STUDENT)
            (instance ?SCHOOL HighSchool)
            (earlier
                (WhenFn ?GRAD)
                (WhenFn ?ENTER)))))
Mid-level-ontology.kif 16671-16683


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