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 18041-18043
(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 18040-18040 School is a subclass of educational organization

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


(subclass ArtSchool School) Mid-level-ontology.kif 18149-18149 Art school is a subclass of school
(subclass DaySchool School) Mid-level-ontology.kif 18165-18165 Day school is a subclass of school
(subclass HighSchool School) Mid-level-ontology.kif 18053-18053 High school is a subclass of school
(subclass PostSecondarySchool School) Mid-level-ontology.kif 18109-18109 Post secondary school is a subclass of school
(subclass PrivateSchool School) Mid-level-ontology.kif 18049-18049 Private school is a subclass of school
(subclass PublicSchool School) Mid-level-ontology.kif 18045-18045 Public school is a subclass of school
(subclass SecondarySchool School) Mid-level-ontology.kif 18072-18072 Secondary school is a subclass of school
(subclass VocationalSchool School) Mid-level-ontology.kif 18091-18091 Vocational school is a subclass of school
(termFormat ChineseLanguage School "学校") domainEnglishFormat.kif 51553-51553 Vocational school is a subclass of school
(termFormat ChineseTraditionalLanguage School "學校") domainEnglishFormat.kif 51552-51552 Vocational school is a subclass of school
(termFormat EnglishLanguage School "school") domainEnglishFormat.kif 51551-51551 Vocational school is a subclass of school

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


(=>
    (instance ?D Dormitory)
    (exists (?S)
        (and
            (instance ?S School)
            (possesses ?S ?D))))
Mid-level-ontology.kif 8145-8150
(=>
    (instance ?R Classroom)
    (exists (?S)
        (and
            (instance ?S School)
            (part ?R ?S))))
Mid-level-ontology.kif 16971-16976


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