|
|
   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 16754-16756 | |
| (subclass EducationalOrganization Organization) | Merge.kif 16753-16753 | 子類 EducationalOrganization and Organization |
| appearance as argument number 2 |
|
|
| (subclass Library EducationalOrganization) | Mid-level-ontology.kif 8462-8462 | 子類 圖書館 and EducationalOrganization |
| (subclass Museum EducationalOrganization) | Mid-level-ontology.kif 8492-8492 | 子類 博物館 and EducationalOrganization |
| (subclass School EducationalOrganization) | Mid-level-ontology.kif 16652-16652 | 子類 學校 and EducationalOrganization |
| (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 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 16793-16793 | 域 student, 2 and EducationalOrganization |
| (domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 16865-16865 | 域 teacher, 2 and EducationalOrganization |
| consequent |
|
|
| (=> (and (instance ?A Accrediting) (patient ?A ?EO)) (instance ?EO EducationalOrganization)) |
Mid-level-ontology.kif 1010-1014 | |
| (=> (and (instance ?GRAD Graduation) (agent ?GRAD ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10724-10728 | |
| (=> (and (instance ?MAT Matriculation) (agent ?MAT ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10735-10739 | |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 16630-16637 |
|
| (=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X)))) |
Mid-level-ontology.kif 22580-22585 |
|
|
|