| 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 16463-16465 | |
| (subclass EducationalOrganization Organization) | Merge.kif 16462-16462 |
| appearance as argument number 2 |
|
|
| (subclass Library EducationalOrganization) | Mid-level-ontology.kif 8070-8070 | |
| (subclass Museum EducationalOrganization) | Mid-level-ontology.kif 8100-8100 | |
| (subclass School EducationalOrganization) | Mid-level-ontology.kif 16097-16097 | |
| (termFormat ChineseLanguage EducationalOrganization "教育机构") | chinese_format.kif 1071-1071 | |
| (termFormat EnglishLanguage EducationalOrganization "educational organization") | english_format.kif 1353-1353 |
| appearance as argument number 3 |
|
|
| (domain student 2 EducationalOrganization) | Mid-level-ontology.kif 16238-16238 | |
| (domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 16309-16309 |
| consequent |
|
|
| (=> (and (instance ?A Accrediting) (patient ?A ?EO)) (instance ?EO EducationalOrganization)) |
Mid-level-ontology.kif 971-975 | |
| (=> (and (instance ?GRAD Graduation) (agent ?GRAD ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10596-10600 | |
| (=> (and (instance ?MAT Matriculation) (agent ?MAT ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10607-10611 | |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 16075-16082 | |
| (=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X)))) |
Mid-level-ontology.kif 22027-22032 |
|
|
|