EducationalOrganization(shEkshaNika sansthaa) | ![]() |
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 16801-16803 | |
(subclass EducationalOrganization Organization) | Merge.kif 16800-16800 |
appearance as argument number 2 |
![]() |
(subclass Library EducationalOrganization) | Mid-level-ontology.kif 8690-8690 | |
(subclass Museum EducationalOrganization) | Mid-level-ontology.kif 8720-8720 | |
(subclass School EducationalOrganization) | Mid-level-ontology.kif 16912-16912 | |
(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 17053-17053 | |
(domain teacher 2 EducationalOrganization) | Mid-level-ontology.kif 17125-17125 |
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 10738-10742 | |
(=> (and (instance ?MAT Matriculation) (agent ?MAT ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10749-10753 | |
(=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 16890-16897 | |
(=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X)))) |
Mid-level-ontology.kif 22905-22910 |
![]() |
![]() |