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


KB Term:  Term intersection
English Word: 

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

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


(subclass PostSecondarySchool School) Mid-level-ontology.kif 18285-18285 Post secondary school is a subclass of school
(partition PostSecondarySchool JuniorCollege College University) Mid-level-ontology.kif 18286-18286 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 18287-18288 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 18290-18290 Junior college is a subclass of post secondary school
(subclass College PostSecondarySchool) Mid-level-ontology.kif 18294-18294 College is a subclass of post secondary school
(subclass University PostSecondarySchool) Mid-level-ontology.kif 18302-18302 University is a subclass of post secondary school
(subclass GraduateSchool PostSecondarySchool) Mid-level-ontology.kif 18309-18309 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 18416-18416 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 297-297 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 23332-23338 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 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