Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass University PostSecondarySchool) Mid-level-ontology.kif 18353-18353 University is a subclass of post secondary school
(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 18354-18358 University is a subclass of post secondary school
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ University_of_Sydney_Main_Quadrangle.jpg") pictureList.kif 6942-6942 University is a subclass of post secondary school
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Brooks_Hall_UGA.jpg") pictureList.kif 8172-8172 University is a subclass of post secondary school
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Universidade_Federal_do_Parana_4_Curitiba_Parana.jpg") pictureList.kif 8173-8173 University is a subclass of post secondary school
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ FlTechMillerBldgCLOSE.jpg") pictureList.kif 8174-8174 University is a subclass of post secondary school
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Oxfordceremony.jpg") pictureList.kif 8175-8175 University is a subclass of post secondary school
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ Sherman_Hall.jpg") pictureList.kif 8176-8176 University is a subclass of post secondary school
(externalImage University "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CIAP_Building_ITESM.jpg") pictureList.kif 8177-8177 University is a subclass of post secondary school

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


(instance CalPoly University) Medicine.kif 3157-3157 California Polytecnic is an instance of university
(termFormat EnglishLanguage University "university") domainEnglishFormat.kif 60443-60443 California Polytecnic is an instance of university
(termFormat ChineseTraditionalLanguage University "大學") domainEnglishFormat.kif 60444-60444 California Polytecnic is an instance of university
(termFormat ChineseLanguage University "大学") domainEnglishFormat.kif 60445-60445 California Polytecnic is an instance of university

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


(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 18337-18337 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 18365-18370 If X is an instance of graduate school, then there exists Y such that Y is an instance of university and X is a part of the organization Y
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (instance ?D
            (HonoraryBachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))		 LinkedInDegrees.kif 196-206 If All of the following hold: (1) X is an instance of student (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is an instance of honorary bachelor's degree W and V (5) Z is a patient of Y (6) V is an agent of Y, then equal V and college or equal V and university
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (instance ?D
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))		 LinkedInDegrees.kif 316-326 If All of the following hold: (1) X is an instance of student (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is an instance of bachelor's degree W and V (5) Z is a patient of Y (6) V is an agent of Y, then equal V and college or equal V and university


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners