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


(documentation School EnglishLanguage "An EducationalOrganization with a curriculum, teachers, and students. Most Schools are housed in a Building dedicated to the EducationalOrganization.") Mid-level-ontology.kif 16094-16096
(externalImage School "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Hutterer-Crystal_Schule2.jpg") pictureList.kif 161-161
(externalImage School "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ school.png") pictureList.kif 716-716
(subclass School EducationalOrganization) Mid-level-ontology.kif 16093-16093 School is a subclass of educational organization

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


(subclass ArtSchool School) Mid-level-ontology.kif 16202-16202 Art school is a subclass of school
(subclass DaySchool School) Mid-level-ontology.kif 16218-16218 Day school is a subclass of school
(subclass HighSchool School) Mid-level-ontology.kif 16106-16106 High school is a subclass of school
(subclass PostSecondarySchool School) Mid-level-ontology.kif 16162-16162 Post secondary school is a subclass of school
(subclass PrivateSchool School) Mid-level-ontology.kif 16102-16102 Private school is a subclass of school
(subclass PublicSchool School) Mid-level-ontology.kif 16098-16098 Public school is a subclass of school
(subclass SecondarySchool School) Mid-level-ontology.kif 16125-16125 Secondary school is a subclass of school
(subclass VocationalSchool School) Mid-level-ontology.kif 16144-16144 Vocational school is a subclass of school
(termFormat ChineseLanguage School "学校") domainEnglishFormat.kif 51532-51532
(termFormat ChineseTraditionalLanguage School "學校") domainEnglishFormat.kif 51531-51531
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 51530-51530

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


(=>
    (instance ?D Dormitory)
    (exists (?S)
        (and
            (instance ?S School)
            (possesses ?S ?D))))
Mid-level-ontology.kif 6644-6649
(=>
    (instance ?R Classroom)
    (exists (?S)
        (and
            (instance ?S School)
            (part ?R ?S))))
Mid-level-ontology.kif 15062-15067


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