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 16803-16805 | |
(subclass EducationalOrganization Organization) | Merge.kif 16802-16802 | 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 16821-16821 | The number 2 argument of student is an instance of educational organization |
(domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 16893-16893 | The number 2 argument of teacher is an instance of educational organization |
consequent |