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 16681-16683
(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 16680-16680 School教育組織subclass では %n

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


(subclass ArtSchool School) Mid-level-ontology.kif 16789-16789 ArtSchoolSchoolsubclass では %n
(subclass DaySchool School) Mid-level-ontology.kif 16805-16805 DaySchoolSchoolsubclass では %n
(subclass HighSchool School) Mid-level-ontology.kif 16693-16693 HighSchoolSchoolsubclass では %n
(subclass PostSecondarySchool School) Mid-level-ontology.kif 16749-16749 PostSecondarySchoolSchoolsubclass では %n
(subclass PrivateSchool School) Mid-level-ontology.kif 16689-16689 PrivateSchoolSchoolsubclass では %n
(subclass PublicSchool School) Mid-level-ontology.kif 16685-16685 PublicSchoolSchoolsubclass では %n
(subclass SecondarySchool School) Mid-level-ontology.kif 16712-16712 SecondarySchoolSchoolsubclass では %n
(subclass VocationalSchool School) Mid-level-ontology.kif 16731-16731 VocationalSchoolSchoolsubclass では %n
(termFormat ChineseLanguage School "学校") domainEnglishFormat.kif 51551-51551
(termFormat ChineseTraditionalLanguage School "學校") domainEnglishFormat.kif 51550-51550
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 51549-51549

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


(=>
    (instance ?D Dormitory)
    (exists (?S)
        (and
            (instance ?S School)
            (possesses ?S ?D))))
Mid-level-ontology.kif 7011-7016
(=>
    (instance ?R Classroom)
    (exists (?S)
        (and
            (instance ?S School)
            (part ?R ?S))))
Mid-level-ontology.kif 15625-15630


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