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
-------------------------


s__documentation(s__PostSecondarySchool,s__EnglishLanguage,'"The class of Schools that offer an associates degree or a bachelors degree."')

Mid-level-ontology.kif 14970-14971
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1e/ Campbell_Library1_small.JPG"')

pictureList.kif 11680-11680
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ 2/ 20/ School_for_international_training_international_building_20041204.jpg"')

pictureList.kif 11676-11676
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 39/ Croydon_College.JPG"')

pictureList.kif 11677-11677
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ 5/ 57/ Bunce_Hall8_small.JPG"')

pictureList.kif 11679-11679
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 86/ Northwest_Campus_Nome.jpg"')

pictureList.kif 11681-11681
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ b9/ Serra-Talhada-Aeset.jpg"')

pictureList.kif 11675-11675
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ d/ d4/ Vc-LRC.JPG"')

pictureList.kif 11678-11678
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ KingsCollegeChapel.jpg"')

pictureList.kif 10220-10220
s__externalImage(s__PostSecondarySchool,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ Elon_Alamance.JPG"')

pictureList.kif 11682-11682
s__partition__4(s__PostSecondarySchool,s__JuniorCollege,s__College,s__University)

Mid-level-ontology.kif 14969-14969 Post secondary school is exhaustively partitioned into junior college, college, and university
s__subclass(s__PostSecondarySchool,s__School)

s__instance(s__PostSecondarySchool,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14968-14968 Post secondary school is a subclass of school

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


s__subclass(s__College,s__PostSecondarySchool)

s__instance(s__PostSecondarySchool,s__SetOrClass)

s__instance(s__College,s__SetOrClass)

Mid-level-ontology.kif 14977-14977 College is a subclass of post secondary school
s__subclass(s__GraduateSchool,s__PostSecondarySchool)

s__instance(s__PostSecondarySchool,s__SetOrClass)

s__instance(s__GraduateSchool,s__SetOrClass)

Mid-level-ontology.kif 14992-14992 Graduate school is a subclass of post secondary school
s__subclass(s__JuniorCollege,s__PostSecondarySchool)

s__instance(s__PostSecondarySchool,s__SetOrClass)

s__instance(s__JuniorCollege,s__SetOrClass)

Mid-level-ontology.kif 14973-14973 Junior college is a subclass of post secondary school
s__instance(s__University,s__SetOrClass)

s__subclass(s__University,s__PostSecondarySchool)

s__instance(s__PostSecondarySchool,s__SetOrClass)

Mid-level-ontology.kif 14985-14985 University is a subclass of post secondary school
s__termFormat(s__ChineseLanguage,s__PostSecondarySchool,'"中学后"')

domainEnglishFormat.kif 46820-46820
s__termFormat(s__ChineseTraditionalLanguage,s__PostSecondarySchool,'"中學後"')

domainEnglishFormat.kif 46819-46819
s__termFormat(s__EnglishLanguage,s__PostSecondarySchool,'"post secondary school"')

domainEnglishFormat.kif 46818-46818

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


s__domain(s__almaMater__m,n__2,s__PostSecondarySchool)

Mid-level-ontology.kif 15055-15055 The number 2 argument of Alma Mater is an instance of post secondary school

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


( ! [V__PROF,V__ORG] :
   (((s__instance(V__PROF,s__Human) &
         s__instance(V__ORG,s__EducationalOrganization))
       =>
       (((s__attribute(V__PROF,s__Professor) &
             s__occupiesPosition(V__PROF,s__Professor,V__ORG))
         =>
         ((s__teacher(V__PROF,V__ORG)
           &
           s__instance(V__ORG,s__PostSecondarySchool))))))
)
)

Mid-level-ontology.kif 19127-19133


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