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


(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 14282-14284
(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 14281-14281 School is a subclass of educational organization

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


(subclass ArtSchool School) Mid-level-ontology.kif 14389-14389 Art school is a subclass of school
(subclass DaySchool School) Mid-level-ontology.kif 14404-14404 Day school is a subclass of school
(subclass HighSchool School) Mid-level-ontology.kif 14294-14294 High school is a subclass of school
(subclass PostSecondarySchool School) Mid-level-ontology.kif 14350-14350 Post secondary school is a subclass of school
(subclass PrivateSchool School) Mid-level-ontology.kif 14290-14290 Private school is a subclass of school
(subclass PublicSchool School) Mid-level-ontology.kif 14286-14286 Public school is a subclass of school
(subclass SecondarySchool School) Mid-level-ontology.kif 14313-14313 Secondary school is a subclass of school
(subclass VocationalSchool School) Mid-level-ontology.kif 14332-14332 Vocational school is a subclass of school
(termFormat ChineseLanguage School "学校") domainEnglishFormat.kif 51477-51477
(termFormat ChineseTraditionalLanguage School "學校") domainEnglishFormat.kif 51476-51476
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 51475-51475

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


(=>
    (instance ?D Dormitory)
    (exists (?S)
        (and
            (instance ?S School)
            (possesses ?S ?D))))
Mid-level-ontology.kif 6623-6628
(=>
    (instance ?R Classroom)
    (exists (?S)
        (and
            (instance ?S School)
            (part ?R ?S))))
Mid-level-ontology.kif 13305-13310


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