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
-------------------------


s__documentation(s__College,s__EnglishLanguage,'"A School which admits students who have graduated from high school and which confers a bachelors degree, normally requiring four years of study. Note that a College does not confer any graduate degrees. For institutions that confer both bachelors and graduate degrees, the concept University should be used."')

Mid-level-ontology.kif 14978-14983
s__externalImage(s__College,'"http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Trinity_College%2C_UofT.jpg"')

pictureList.kif 5921-5921
s__externalImage(s__College,'"http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ College_de_france.jpg"')

pictureList.kif 6283-6283
s__externalImage(s__College,'"http://upload.wikimedia.org/wikipedia/commons/7/ 72/ St_Johns_College_Johannesburg.jpg"')

pictureList.kif 6284-6284
s__externalImage(s__College,'"http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ BCburnslawnsunset.jpg"')

pictureList.kif 6285-6285
s__externalImage(s__College,'"http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Agnes_Scott_College_-_Buttrick_Hall.jpg"')

pictureList.kif 6286-6286
s__externalImage(s__College,'"http://upload.wikimedia.org/wikipedia/commons/f/ fd/ KingsCollegeChapel.jpg"')

pictureList.kif 6287-6287
s__externalImage(s__College,'"http://upload.wikimedia.org/wikipedia/en/4/46/Mackenzie_University_%281%29.jpg"')

pictureList.kif 6288-6288
s__externalImage(s__College,'"http://upload.wikimedia.org/wikipedia/en/b/b1/Trinity_college_front_square_cropped.jpg"')

pictureList.kif 6291-6291
s__subclass(s__College,s__PostSecondarySchool)

s__instance(s__PostSecondarySchool,s__SetOrClass)

s__instance(s__College,s__SetOrClass)

Mid-level-ontology.kif 14977-14977 College is a subclass of post secondary school

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


s__termFormat(s__ChineseLanguage,s__College,'"学院"')

domainEnglishFormat.kif 15585-15585
s__termFormat(s__ChineseTraditionalLanguage,s__College,'"學院"')

domainEnglishFormat.kif 15584-15584
s__termFormat(s__EnglishLanguage,s__College,'"college"')

domainEnglishFormat.kif 15583-15583

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


s__partition__4(s__PostSecondarySchool,s__JuniorCollege,s__College,s__University)

Mid-level-ontology.kif 14969-14969 Post secondary school is exhaustively partitioned into junior college, college, and university

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


( ! [V__P,V__C,V__E] :
   (((s__instance(V__E,s__Matriculation) &
         s__agent(V__E,V__C)
       &
       s__patient(V__E,V__P)
     &
     s__instance(V__C,s__College))
   =>
   (( ? [V__G, V__S] :
       ((s__instance(V__G,s__Graduation) &
           s__agent(V__G,V__S)
         &
         s__patient(V__G,V__P)
       &
       s__instance(V__S,s__SecondarySchool) &
       s__earlier(s__WhenFn(V__G)
    ,s__WhenFn(V__E)))))))
)
)

Mid-level-ontology.kif 14936-14948
( ! [V__COLLEGE,V__STUDENT,V__ENTER] :
   (((s__instance(V__ENTER,s__Matriculation) &
         s__agent(V__ENTER,V__COLLEGE)
       &
       s__patient(V__ENTER,V__STUDENT)
     &
     s__instance(V__COLLEGE,s__College))
   =>
   (( ? [V__GRAD, V__SCHOOL] :
       ((s__instance(V__GRAD,s__Graduation) &
           s__agent(V__GRAD,V__SCHOOL)
         &
         s__patient(V__GRAD,V__STUDENT)
       &
       s__instance(V__SCHOOL,s__HighSchool) &
       s__earlier(s__WhenFn(V__GRAD)
    ,s__WhenFn(V__ENTER)))))))
)
)

Mid-level-ontology.kif 14917-14929


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