more pictures...
| 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 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 |
| 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 |
| 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 |
|
|
|