TreeView Knowledge Base Browser

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 16767-16771
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ University_of_Sydney_Main_Quadrangle.jpg")	pictureList.kif 6943-6943
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Brooks_Hall_UGA.jpg")	pictureList.kif 8173-8173
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Universidade_Federal_do_Parana_4_Curitiba_Parana.jpg")	pictureList.kif 8174-8174
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ FlTechMillerBldgCLOSE.jpg")	pictureList.kif 8175-8175
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Oxfordceremony.jpg")	pictureList.kif 8176-8176
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ Sherman_Hall.jpg")	pictureList.kif 8177-8177
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CIAP_Building_ITESM.jpg")	pictureList.kif 8178-8178
(subclass University PostSecondarySchool)	Mid-level-ontology.kif 16766-16766

appearance as argument number 2

(instance CalPoly University)	Medicine.kif 3151-3151
(termFormat ChineseLanguage University "大学")	domainEnglishFormat.kif 60460-60460
(termFormat ChineseTraditionalLanguage University "大學")	domainEnglishFormat.kif 60459-60459
(termFormat EnglishLanguage University "university")	domainEnglishFormat.kif 60458-60458

appearance as argument number 4

Mid-level-ontology.kif 16750-16750

consequent

(=>
    (instance ?S GraduateSchool)
    (exists (?U)
        (and
            (instance ?U University)
            (subOrganization ?S ?U))))

Mid-level-ontology.kif 16778-16783