| EducationalOrganization | |
| 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 15599-15601 | |
| (subclass EducationalOrganization Organization) | Merge.kif 15598-15598 |
| appearance as argument number 2 |
|
|
| (subclass Library EducationalOrganization) | Mid-level-ontology.kif 8169-8169 | |
| (subclass Museum EducationalOrganization) | Mid-level-ontology.kif 8199-8199 | |
| (subclass School EducationalOrganization) | Mid-level-ontology.kif 14281-14281 | |
| (termFormat ChineseLanguage EducationalOrganization "教育机构") | chinese_format.kif 1071-1071 | |
| (termFormat EnglishLanguage EducationalOrganization "educational organization") | english_format.kif 1358-1358 |
| appearance as argument number 3 |
|
|
| (domain student 2 EducationalOrganization) | Mid-level-ontology.kif 14419-14419 | |
| (domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 14450-14450 |
| consequent |
|
|
| (=> (and (instance ?A Accrediting) (patient ?A ?EO)) (instance ?EO EducationalOrganization)) |
Mid-level-ontology.kif 1397-1401 | |
| (=> (and (instance ?GRAD Graduation) (agent ?GRAD ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10022-10026 | |
| (=> (and (instance ?MAT Matriculation) (agent ?MAT ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10033-10037 | |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 14259-14266 | |
| (=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X)))) |
Mid-level-ontology.kif 20492-20497 |
|
|
|