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

Formal Language: 



KB Term:  Term intersection
English Word: 

  University

Sigma KEE - University
University(university)
more pictures...
Brown, Brown_University, Cambridge, Cambridge_University, Carnegie_Mellon_University, Columbia, Columbia_University, Cooper_Union, Cooper_Union_for_the_Advancement_of_Science_and_Art, Cornell_University, Duke_University, Harvard, Harvard_University, Johns_Hopkins, MIT, Massachusetts_Institute_of_Technology, Ohio_State_University, Open_University, Oxbridge, Oxford, Oxford_University, Paris_University, Penn, Pennsylvania, Princeton, Princeton_University, Sorbonne, Stanford, Stanford_University, Sussex_University, University_of_California_at_Berkeley, University_of_Chicago, University_of_Michigan, University_of_Nebraska, University_of_North_Carolina, University_of_Paris, University_of_Pennsylvania, University_of_Pittsburgh, University_of_Sussex, University_of_Texas, University_of_Vermont, University_of_Washington, University_of_West_Virginia, University_of_Wisconsin, Yale, Yale_University, city_university, multiversity, redbrick_university, university...

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 16740-16744
(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 16739-16739 University is a subclass of post secondary school

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


(instance CalPoly University) Medicine.kif 3151-3151 California Polytecnic is an instance of university
(termFormat ChineseLanguage University "大学") domainEnglishFormat.kif 60458-60458
(termFormat ChineseTraditionalLanguage University "大學") domainEnglishFormat.kif 60457-60457
(termFormat EnglishLanguage University "university") domainEnglishFormat.kif 60456-60456

appearance as argument number 4
-------------------------


(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 16723-16723 Post secondary school is exhaustively partitioned into junior college, college, and university

consequent
-------------------------


(=>
    (instance ?S GraduateSchool)
    (exists (?U)
        (and
            (instance ?U University)
            (part ?S ?U))))
Mid-level-ontology.kif 16751-16756


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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