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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - School
School(學校)

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 子類 學校 and EducationalOrganization

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


(subclass ArtSchool School) Mid-level-ontology.kif 14389-14389 子類 藝術學校 and 學校
(subclass DaySchool School) Mid-level-ontology.kif 14404-14404 子類 日間學校 and 學校
(subclass HighSchool School) Mid-level-ontology.kif 14294-14294 子類 中學 and 學校
(subclass PostSecondarySchool School) Mid-level-ontology.kif 14350-14350 子類 中學後 and 學校
(subclass PrivateSchool School) Mid-level-ontology.kif 14290-14290 子類 私立學校 and 學校
(subclass PublicSchool School) Mid-level-ontology.kif 14286-14286 子類 公立學校 and 學校
(subclass SecondarySchool School) Mid-level-ontology.kif 14313-14313 子類 中學 and 學校
(subclass VocationalSchool School) Mid-level-ontology.kif 14332-14332 子類 職業學校 and 學校
(termFormat ChineseLanguage School "学校") domainEnglishFormat.kif 51543-51543
(termFormat ChineseTraditionalLanguage School "學校") domainEnglishFormat.kif 51542-51542
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 51541-51541

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