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


KB Term:  Term intersection
English Word: 

  College

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

appearance as argument number 1
-------------------------


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

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


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

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


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

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


(=>
    (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 18285-18297 If X is an instance of matriculation, Y is an agent of X, Z is a patient of X, and Y is an instance of college, then there exist W, V such that W is an instance of graduation, V is an agent of W, Z is a patient of W, V is an instance of high school, and the time of existence of W happens earlier than the time of existence of X
(=>
    (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 18304-18316 If X is an instance of matriculation, Y is an agent of X, Z is a patient of X, and Y is an instance of college, then there exist W, V such that W is an instance of graduation, V is an agent of W, Z is a patient of W, V is an instance of secondary school, and the time of existence of W happens earlier than the time of existence of X

consequent
-------------------------


(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (instance ?D
            (HonoraryBachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))		 LinkedInDegrees.kif 196-206 If All of the following hold: (1) X is an instance of student (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is an instance of honorary bachelor's degree W and V (5) Z is a patient of Y (6) V is an agent of Y, then equal V and college or equal V and university
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (instance ?D
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))		 LinkedInDegrees.kif 316-326 If All of the following hold: (1) X is an instance of student (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is an instance of bachelor's degree W and V (5) Z is a patient of Y (6) V is an agent of Y, then equal V and college or equal V and university


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners