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


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

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


(subclass College PostSecondarySchool) Mid-level-ontology.kif 18118-18118 College is a subclass of post secondary school
(subclass GraduateSchool PostSecondarySchool) Mid-level-ontology.kif 18133-18133 Graduate school is a subclass of post secondary school
(subclass JuniorCollege PostSecondarySchool) Mid-level-ontology.kif 18114-18114 Junior college is a subclass of post secondary school
(subclass University PostSecondarySchool) Mid-level-ontology.kif 18126-18126 University is a subclass of post secondary school
(termFormat ChineseLanguage PostSecondarySchool "中学后") domainEnglishFormat.kif 46840-46840 University is a subclass of post secondary school
(termFormat ChineseTraditionalLanguage PostSecondarySchool "中學後") domainEnglishFormat.kif 46839-46839 University is a subclass of post secondary school
(termFormat EnglishLanguage PostSecondarySchool "post secondary school") domainEnglishFormat.kif 46838-46838 University is a subclass of post secondary school

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


(domain almaMater 2 PostSecondarySchool) Mid-level-ontology.kif 18236-18236 The number 2 argument of Alma Mater is an instance of post secondary school

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


(=>
    (and
        (attribute ?PROF Professor)
        (occupiesPosition ?PROF Professor ?ORG))
    (and
        (teacher ?PROF ?ORG)
        (instance ?ORG PostSecondarySchool)))
Mid-level-ontology.kif 22641-22647


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