more pictures...
| appearance as argument number 1 |
|
|
| (documentation University EnglishLanguage "A School which admits students that have graduated from high school (known as undergraduate students) and students who have received a bachelor's degree (known as graduate students). A University confers both bachelor's and graduate degrees.") | Mid-level-ontology.kif 17668-17672 | |
| (externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ University_of_Sydney_Main_Quadrangle.jpg") | pictureList.kif 6942-6942 | |
| (externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Brooks_Hall_UGA.jpg") | pictureList.kif 8172-8172 | |
| (externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Universidade_Federal_do_Parana_4_Curitiba_Parana.jpg") | pictureList.kif 8173-8173 | |
| (externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ FlTechMillerBldgCLOSE.jpg") | pictureList.kif 8174-8174 | |
| (externalImage University "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Oxfordceremony.jpg") | pictureList.kif 8175-8175 | |
| (externalImage University "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ Sherman_Hall.jpg") | pictureList.kif 8176-8176 | |
| (externalImage University "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CIAP_Building_ITESM.jpg") | pictureList.kif 8177-8177 | |
| (subclass University PostSecondarySchool) | Mid-level-ontology.kif 17667-17667 | University is a subclass of post secondary school |
| appearance as argument number 2 |
|
|
| (instance CalPoly University) | Medicine.kif 3139-3139 | California Polytecnic is an instance of university |
| (termFormat ChineseLanguage University "大学") | domainEnglishFormat.kif 60481-60481 | California Polytecnic is an instance of university |
| (termFormat ChineseTraditionalLanguage University "大學") | domainEnglishFormat.kif 60480-60480 | California Polytecnic is an instance of university |
| (termFormat EnglishLanguage University "university") | domainEnglishFormat.kif 60479-60479 | California Polytecnic is an instance of university |
| appearance as argument number 4 |
|
|
| (partition PostSecondarySchool JuniorCollege College University) | Mid-level-ontology.kif 17651-17651 | Post secondary school is exhaustively partitioned into junior college, college, and university |
| consequent |
|
|
| (=> (instance ?S GraduateSchool) (exists (?U) (and (instance ?U University) (subOrganization ?S ?U)))) |
Mid-level-ontology.kif 17679-17684 |
|
|
|
|