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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(termFormat ChineseLanguage College "学院") domainEnglishFormat.kif 15605-15605
(termFormat ChineseTraditionalLanguage College "學院") domainEnglishFormat.kif 15604-15604
(termFormat EnglishLanguage College "college") domainEnglishFormat.kif 15603-15603

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


(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 17651-17651 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 17618-17630
(=>
    (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 17599-17611


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



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