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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - College
College(学院)
more pictures...

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 16759-16764
(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 16758-16758 学院中学后subclass

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 16750-16750 中学后 详尽无遗地 partition大专, 学院, 和 大学

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 16717-16729
(=>
    (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 16698-16710


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