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

Formal Language: 



KB Term:  Term intersection
English Word: 

  School

Sigma KEE - School
School(school)
direct-grant_school, finishing_school, school, school_system, schoolhouse

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


s__documentation(s__School,s__EnglishLanguage,'"An EducationalOrganization with a curriculum, teachers, and students. Most Schools are housed in a Building dedicated to the EducationalOrganization."')

Mid-level-ontology.kif 14900-14902
s__externalImage(s__School,'"http://upload.wikimedia.org/wikipedia/commons/8/8f/ Hutterer-Crystal_Schule2.jpg"')

pictureList.kif 161-161
s__externalImage(s__School,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ school.png"')

pictureList.kif 716-716
s__subclass(s__School,s__EducationalOrganization)

s__instance(s__EducationalOrganization,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14899-14899 School is a subclass of educational organization

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


s__instance(s__ArtSchool,s__SetOrClass)

s__subclass(s__ArtSchool,s__School)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 15008-15008 Art school is a subclass of school
s__subclass(s__DaySchool,s__School)

s__instance(s__School,s__SetOrClass)

s__instance(s__DaySchool,s__SetOrClass)

Mid-level-ontology.kif 15024-15024 Day school is a subclass of school
s__instance(s__HighSchool,s__SetOrClass)

s__subclass(s__HighSchool,s__School)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14912-14912 High school is a subclass of school
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
s__subclass(s__PrivateSchool,s__School)

s__instance(s__PrivateSchool,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14908-14908 Private school is a subclass of school
s__instance(s__PublicSchool,s__SetOrClass)

s__subclass(s__PublicSchool,s__School)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14904-14904 Public school is a subclass of school
s__subclass(s__SecondarySchool,s__School)

s__instance(s__SecondarySchool,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14931-14931 Secondary school is a subclass of school
s__subclass(s__VocationalSchool,s__School)

s__instance(s__VocationalSchool,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14950-14950 Vocational school is a subclass of school
s__termFormat(s__ChineseLanguage,s__School,'"学校"')

domainEnglishFormat.kif 51531-51531
s__termFormat(s__ChineseTraditionalLanguage,s__School,'"學校"')

domainEnglishFormat.kif 51530-51530
s__termFormat(s__EnglishLanguage,s__School,'"school"')

domainEnglishFormat.kif 51529-51529

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


( ! [V__D] :
   ((s__instance(V__D,s__Dormitory) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__School) &
               s__possesses(V__S,V__D))))))
   )
)

Mid-level-ontology.kif 6350-6355
( ! [V__R] :
   ((s__instance(V__R,s__Classroom) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__School) &
               s__part(V__R,V__S))))))
   )
)

Mid-level-ontology.kif 13929-13934


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 is open source software produced by Articulate Software and its partners