| 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 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 | 子類 學校 and EducationalOrganization |
| appearance as argument number 2 |
|
|
| (subclass ArtSchool School) | Mid-level-ontology.kif 18149-18149 | 子類 藝術學校 and 學校 |
| (subclass DaySchool School) | Mid-level-ontology.kif 18165-18165 | 子類 日間學校 and 學校 |
| (subclass HighSchool School) | Mid-level-ontology.kif 18053-18053 | 子類 中學 and 學校 |
| (subclass PostSecondarySchool School) | Mid-level-ontology.kif 18109-18109 | 子類 中學後 and 學校 |
| (subclass PrivateSchool School) | Mid-level-ontology.kif 18049-18049 | 子類 私立學校 and 學校 |
| (subclass PublicSchool School) | Mid-level-ontology.kif 18045-18045 | 子類 公立學校 and 學校 |
| (subclass SecondarySchool School) | Mid-level-ontology.kif 18072-18072 | 子類 中學 and 學校 |
| (subclass VocationalSchool School) | Mid-level-ontology.kif 18091-18091 | 子類 職業學校 and 學校 |
| (termFormat ChineseLanguage School "学校") | domainEnglishFormat.kif 51553-51553 | 子類 職業學校 and 學校 |
| (termFormat ChineseTraditionalLanguage School "學校") | domainEnglishFormat.kif 51552-51552 | 子類 職業學校 and 學校 |
| (termFormat EnglishLanguage School "school") | domainEnglishFormat.kif 51551-51551 | 子類 職業學校 and 學校 |
| 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 |
|
|
|