Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EducationalOrganization

Sigma KEE - EducationalOrganization
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 16732-16734
(subclass EducationalOrganization Organization) Merge.kif 16731-16731 教育机构机构subclass

appearance as argument number 2
-------------------------


(subclass Library EducationalOrganization) Mid-level-ontology.kif 8463-8463 图书馆教育机构subclass
(subclass Museum EducationalOrganization) Mid-level-ontology.kif 8493-8493 博物馆教育机构subclass
(subclass School EducationalOrganization) Mid-level-ontology.kif 16653-16653 学校教育机构subclass
(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 16794-16794 student 的 2 数量 是 教育机构instance
(domain teacher 2 EducationalOrganization) Mid-level-ontology.kif 16866-16866 teacher 的 2 数量 是 教育机构instance

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 10702-10706
(=>
    (and
        (instance ?MAT Matriculation)
        (agent ?MAT ?ORG))
    (instance ?ORG EducationalOrganization))
Merge.kif 10713-10717
(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))
Mid-level-ontology.kif 16631-16638
(=>
    (instance ?X EducationalFacility)
    (exists (?ORG)
        (and
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))
Mid-level-ontology.kif 22581-22586


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners