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 |
appearance as argument number 2 |
![]() |
(subclass ArtSchool School) | Mid-level-ontology.kif 14389-14389 | |
(subclass DaySchool School) | Mid-level-ontology.kif 14404-14404 | |
(subclass HighSchool School) | Mid-level-ontology.kif 14294-14294 | |
(subclass PostSecondarySchool School) | Mid-level-ontology.kif 14350-14350 | |
(subclass PrivateSchool School) | Mid-level-ontology.kif 14290-14290 | |
(subclass PublicSchool School) | Mid-level-ontology.kif 14286-14286 | |
(subclass SecondarySchool School) | Mid-level-ontology.kif 14313-14313 | |
(subclass VocationalSchool School) | Mid-level-ontology.kif 14332-14332 | |
(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 |
![]() |
![]() |