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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16958-16962
(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 16957-16957 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 60506-60506 California Polytecnic is an instance of university
(termFormat ChineseTraditionalLanguage University "大學") domainEnglishFormat.kif 60505-60505 California Polytecnic is an instance of university
(termFormat EnglishLanguage University "university") domainEnglishFormat.kif 60504-60504 California Polytecnic is an instance of university

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


(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 16941-16941 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 16969-16974


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