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 16950-16955
(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 16949-16949 College is a subclass of post secondary school

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


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

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


(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 16941-16941 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 16908-16920
(=>
    (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 16889-16901


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