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

Formal Language: 



KB Term:  Term intersection
English Word: 

  School

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 16654-16656
(externalImage School "http://articulatesoftware.com/SUMOpictures/education/ school.png") pictureList.kif 716-716
(externalImage School "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Hutterer-Crystal_Schule2.jpg") pictureList.kif 161-161
(subclass School EducationalOrganization) Mid-level-ontology.kif 16653-16653 子類 學校 and EducationalOrganization

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


(subclass ArtSchool School) Mid-level-ontology.kif 16762-16762 子類 藝術學校 and 學校
(subclass DaySchool School) Mid-level-ontology.kif 16778-16778 子類 日間學校 and 學校
(subclass HighSchool School) Mid-level-ontology.kif 16666-16666 子類 中學 and 學校
(subclass PostSecondarySchool School) Mid-level-ontology.kif 16722-16722 子類 中學後 and 學校
(subclass PrivateSchool School) Mid-level-ontology.kif 16662-16662 子類 私立學校 and 學校
(subclass PublicSchool School) Mid-level-ontology.kif 16658-16658 子類 公立學校 and 學校
(subclass SecondarySchool School) Mid-level-ontology.kif 16685-16685 子類 中學 and 學校
(subclass VocationalSchool School) Mid-level-ontology.kif 16704-16704 子類 職業學校 and 學校
(termFormat ChineseLanguage School "学校") domainEnglishFormat.kif 51549-51549
(termFormat ChineseTraditionalLanguage School "學校") domainEnglishFormat.kif 51548-51548
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 51547-51547

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


(=>
    (instance ?D Dormitory)
    (exists (?S)
        (and
            (instance ?S School)
            (possesses ?S ?D))))
Mid-level-ontology.kif 6984-6989
(=>
    (instance ?R Classroom)
    (exists (?S)
        (and
            (instance ?S School)
            (part ?R ?S))))
Mid-level-ontology.kif 15598-15603


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