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 14280-14282
(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 14279-14279

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


(subclass ArtSchool School) Mid-level-ontology.kif 14387-14387
(subclass DaySchool School) Mid-level-ontology.kif 14402-14402
(subclass HighSchool School) Mid-level-ontology.kif 14292-14292
(subclass PostSecondarySchool School) Mid-level-ontology.kif 14348-14348
(subclass PrivateSchool School) Mid-level-ontology.kif 14288-14288
(subclass PublicSchool School) Mid-level-ontology.kif 14284-14284
(subclass SecondarySchool School) Mid-level-ontology.kif 14311-14311
(subclass VocationalSchool School) Mid-level-ontology.kif 14330-14330
(termFormat ChineseLanguage School "学校") domainEnglishFormat.kif 51467-51467
(termFormat ChineseTraditionalLanguage School "學校") domainEnglishFormat.kif 51466-51466
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 51465-51465

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


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