appearance as argument number 1 |
(documentation EducationalOrganization ChineseLanguage "EducationalOrganization 是一个学习 机构。一些例子有:公立和私立的幼儿园、小学和中学、学院和大学。") | chinese_format.kif 3747-3748 | |
(documentation EducationalOrganization EnglishLanguage "A EducationalOrganization is an institution of learning. Some examples are public and private K-12 schools, and colleges and universities.") | Merge.kif 16732-16734 | |
(subclass EducationalOrganization Organization) | Merge.kif 16731-16731 | Educational organization is a subclass of organization |
appearance as argument number 2 |
appearance as argument number 3 |
(domain student 2 EducationalOrganization) | Mid-level-ontology.kif 16794-16794 | The number 2 argument of student is an instance of educational organization |
(domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 16866-16866 | The number 2 argument of teacher is an instance of educational organization |
consequent |