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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15795-15797
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__Class)

s__instance(s__School,s__Class)

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

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


s__subclass(s__ArtSchool,s__School)

s__instance(s__ArtSchool,s__Class)

s__instance(s__School,s__Class)

Mid-level-ontology.kif 15903-15903 Art school is a subclass of school
s__instance(s__School,s__Class)

s__subclass(s__DaySchool,s__School)

s__instance(s__DaySchool,s__Class)

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

s__instance(s__School,s__Class)

s__subclass(s__HighSchool,s__School)

Mid-level-ontology.kif 15807-15807 High school is a subclass of school
s__instance(s__PostSecondarySchool,s__Class)

s__subclass(s__PostSecondarySchool,s__School)

s__instance(s__School,s__Class)

Mid-level-ontology.kif 15863-15863 Post secondary school is a subclass of school
s__subclass(s__PrivateSchool,s__School)

s__instance(s__School,s__Class)

s__instance(s__PrivateSchool,s__Class)

Mid-level-ontology.kif 15803-15803 Private school is a subclass of school
s__subclass(s__PublicSchool,s__School)

s__instance(s__PublicSchool,s__Class)

s__instance(s__School,s__Class)

Mid-level-ontology.kif 15799-15799 Public school is a subclass of school
s__instance(s__SecondarySchool,s__Class)

s__subclass(s__SecondarySchool,s__School)

s__instance(s__School,s__Class)

Mid-level-ontology.kif 15826-15826 Secondary school is a subclass of school
s__instance(s__VocationalSchool,s__Class)

s__subclass(s__VocationalSchool,s__School)

s__instance(s__School,s__Class)

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

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

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

domainEnglishFormat.kif 51530-51530

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 6620-6625
( ! [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 14763-14768


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