Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PostSecondarySchool

 Sigma KEE - PostSecondarySchool
PostSecondarySchool(post secondary school)
more pictures...		academic, alma_mater

appearance as argument number 1
-------------------------


(subclass PostSecondarySchool School) Mid-level-ontology.kif 18336-18336 Post secondary school is a subclass of school
(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 18337-18337 Post secondary school is exhaustively partitioned into junior college, college, and university
(documentation PostSecondarySchool EnglishLanguage "The class of Schools that offer an associate's degree or a bachelor's degree.") Mid-level-ontology.kif 18338-18339 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ KingsCollegeChapel.jpg") pictureList.kif 10198-10198 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ b/ b9/ Serra_Talhada_Aeset.jpg") pictureList.kif 11642-11642 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 20/ School_for_international_training_international_building_20041204.jpg") pictureList.kif 11643-11643 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 39/ Croydon_College.JPG") pictureList.kif 11644-11644 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ d/ d4/ Vc_LRC.JPG") pictureList.kif 11645-11645 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 57/ Bunce_Hall8_small.JPG") pictureList.kif 11646-11646 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1e/ Campbell_Library1_small.JPG") pictureList.kif 11647-11647 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 86/ Northwest_Campus_Nome.jpg") pictureList.kif 11648-11648 Post secondary school is exhaustively partitioned into junior college, college, and university
(externalImage PostSecondarySchool "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Elon_Alamance.JPG") pictureList.kif 11649-11649 Post secondary school is exhaustively partitioned into junior college, college, and university

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


(subclass JuniorCollege PostSecondarySchool) Mid-level-ontology.kif 18341-18341 Junior college is a subclass of post secondary school
(subclass College PostSecondarySchool) Mid-level-ontology.kif 18345-18345 College is a subclass of post secondary school
(subclass University PostSecondarySchool) Mid-level-ontology.kif 18353-18353 University is a subclass of post secondary school
(subclass GraduateSchool PostSecondarySchool) Mid-level-ontology.kif 18360-18360 Graduate school is a subclass of post secondary school
(termFormat EnglishLanguage PostSecondarySchool "post secondary school") domainEnglishFormat.kif 46831-46831 Graduate school is a subclass of post secondary school
(termFormat ChineseTraditionalLanguage PostSecondarySchool "中學後") domainEnglishFormat.kif 46832-46832 Graduate school is a subclass of post secondary school
(termFormat ChineseLanguage PostSecondarySchool "中学后") domainEnglishFormat.kif 46833-46833 Graduate school is a subclass of post secondary school

appearance as argument number 3
-------------------------


(domain almaMater 2 PostSecondarySchool) Mid-level-ontology.kif 18467-18467 The number 2 argument of Alma Mater is an instance of post secondary school
(domain DegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 83-83 The number 2 argument of degree is an instance of post secondary school
(domain HonoraryDegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 112-112 The number 2 argument of honorary degree is an instance of post secondary school
(domain HonoraryBachelorDegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 191-191 The number 2 argument of honorary bachelor's degree is an instance of post secondary school
(domain SubstantiveDegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 237-237 The number 2 argument of substantive degree is an instance of post secondary school
(domain BachelorDegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 294-294 The number 2 argument of bachelor's degree is an instance of post secondary school

antecedent
-------------------------


(=>
    (and
        (instance ?AWARD AwardingADegree)
        (instance ?PERSON Human)
        (instance ?SCHOOL PostSecondarySchool)
        (patient ?AWARD ?PERSON)
        (agent ?AWARD ?SCHOOL))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?AWARD))
            (attribute ?PERSON Student))
        (holdsDuring
            (EndFn
                (WhenFn ?AWARD))
            (possesses ?PERSON AcademicDegree))
        (equal
            (WhenFn ?AWARD) Graduation)))		 LinkedInDegrees.kif 37-53 If X is an instance of awarding a degree, Y is an instance of human, Z is an instance of post secondary school, Y is a patient of X, and Z is an agent of X, then student is an attribute of Y holds during the beginning of the time of existence of X, Y possesses academic degree holds during the end of the time of existence of X, and equal the time of existence of X and graduation
(=>
    (and
        (attribute ?S Student)
        (instance ?SCHOOL PostSecondarySchool)
        (attends ?S ?SCHOOL))
    (expectedDegree ?S
        (DegreeFn ?FIELDOFSTUDY ?SCHOOL)))		 LinkedInDegrees.kif 68-73 If student is an attribute of X, Y is an instance of post secondary school, and Y attends X, then expected degree X, degree Z, and Y

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


(=>
    (and
        (attribute ?PROF Professor)
        (occupiesPosition ?PROF Professor ?ORG))
    (and
        (teacher ?PROF ?ORG)
        (instance ?ORG PostSecondarySchool)))		 Mid-level-ontology.kif 23266-23272 If professor is an attribute of X and X holds the position of professor in Y, then X is a teacher in Y and Y is an instance of post secondary school


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