| 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 16892-16894 | |
| (subclass EducationalOrganization Organization) | Merge.kif 16891-16891 |
| appearance as argument number 2 |
|
|
| (subclass Library EducationalOrganization) | Mid-level-ontology.kif 9687-9687 | |
| (subclass Museum EducationalOrganization) | Mid-level-ontology.kif 9717-9717 | |
| (subclass School EducationalOrganization) | Mid-level-ontology.kif 18060-18060 | |
| (termFormat ChineseLanguage EducationalOrganization "教育机构") | chinese_format.kif 1071-1071 | |
| (termFormat EnglishLanguage EducationalOrganization "educational organization") | english_format.kif 1353-1353 | |
| (termFormat FrenchLanguage EducationalOrganization "�cole") | french_format.kif 749-749 | |
| (termFormat Hindi EducationalOrganization "shEkshaNika sansthaa") | terms-hindi.txt 281-281 | |
| (termFormat ItalianLanguage EducationalOrganization "OrganizzazioneEducativa") | terms-it.txt 284-284 | |
| (termFormat JapaneseLanguage EducationalOrganization "教育組織") | japanese_format.kif 2433-2433 | |
| (termFormat PortugueseLanguage EducationalOrganization "Organizacao Educacional") | portuguese_format.kif 701-701 | |
| (termFormat cz EducationalOrganization "educational organization") | terms-cz.txt 320-320 | |
| (termFormat de EducationalOrganization "paedagogishe Organisation") | terms-de.txt 579-579 | |
| (termFormat ro EducationalOrganization "organizaþie educaþionalã") | relations-ro.kif 770-770 | |
| (termFormat tg EducationalOrganization "kapisanan ng nagtuturo") | terms-tg.txt 285-285 |
| appearance as argument number 3 |
|
|
| (domain student 2 EducationalOrganization) | Mid-level-ontology.kif 18201-18201 | |
| (domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 18273-18273 |
| consequent |
|
|
| (=> (and (instance ?A Accrediting) (patient ?A ?EO)) (instance ?EO EducationalOrganization)) |
Mid-level-ontology.kif 1003-1007 | |
| (=> (and (instance ?GRAD Graduation) (agent ?GRAD ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10825-10829 | |
| (=> (and (instance ?MAT Matriculation) (agent ?MAT ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10836-10840 | |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 18038-18045 | |
| (=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X)))) |
Mid-level-ontology.kif 24241-24246 |
|
|
|