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 | 学校 是 教育机构 的 subclass |
appearance as argument number 2 |
(subclass ArtSchool School) | Mid-level-ontology.kif 16762-16762 | 艺术学校 是 学校 的 subclass |
(subclass DaySchool School) | Mid-level-ontology.kif 16778-16778 | 日间学校 是 学校 的 subclass |
(subclass HighSchool School) | Mid-level-ontology.kif 16666-16666 | 中学 是 学校 的 subclass |
(subclass PostSecondarySchool School) | Mid-level-ontology.kif 16722-16722 | 中学后 是 学校 的 subclass |
(subclass PrivateSchool School) | Mid-level-ontology.kif 16662-16662 | 私立学校 是 学校 的 subclass |
(subclass PublicSchool School) | Mid-level-ontology.kif 16658-16658 | 公立学校 是 学校 的 subclass |
(subclass SecondarySchool School) | Mid-level-ontology.kif 16685-16685 | 中学 是 学校 的 subclass |
(subclass VocationalSchool School) | Mid-level-ontology.kif 16704-16704 | 职业学校 是 学校 的 subclass |
(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 |