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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EducationalOrganization
EducationalOrganization(educational organization)Academy_of_Motion_Picture_Arts_and_Sciences, Academy_of_Television_Arts_and_Sciences, Catholic_school, Dartmouth, Dartmouth_College, Eton_College, French_Academy, Gymnasium, National_Academy_of_Sciences, Oxonian, Plato's_Academy, Royal_Academy, Royal_Academy_of_Arts, Royal_Society, Royal_Society_of_London_for_Improving_Natural_Knowledge, Sabbath_school, Sunday_school, US_Air_Force_Academy, US_Military_Academy, US_Naval_Academy, United_States_Air_Force_Academy, United_States_Military_Academy, United_States_Naval_Academy, Winchester_College, academe, academia, academy, air_force_academy, archive, board_of_education, boarding_school, borstal, business_college, choir_school, church_school, college, collegial, collegiate, composite_school, comprehensive_school, conservatoire, conservatory, correspondence_school, crammer, dance_school, dancing_school, day_school, driving_school, educational_institution, elementary_school...

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 Educational organization is a subclass of organization

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


(subclass Library EducationalOrganization) Mid-level-ontology.kif 9687-9687 Library is a subclass of educational organization
(subclass Museum EducationalOrganization) Mid-level-ontology.kif 9717-9717 Museum is a subclass of educational organization
(subclass School EducationalOrganization) Mid-level-ontology.kif 18060-18060 School is a subclass of educational organization
(termFormat ChineseLanguage EducationalOrganization "教育机构") chinese_format.kif 1071-1071 School is a subclass of educational organization
(termFormat EnglishLanguage EducationalOrganization "educational organization") english_format.kif 1353-1353 School is a subclass of educational organization
(termFormat FrenchLanguage EducationalOrganization "�cole") french_format.kif 749-749 School is a subclass of educational organization
(termFormat Hindi EducationalOrganization "shEkshaNika sansthaa") terms-hindi.txt 281-281 School is a subclass of educational organization
(termFormat ItalianLanguage EducationalOrganization "OrganizzazioneEducativa") terms-it.txt 284-284 School is a subclass of educational organization
(termFormat JapaneseLanguage EducationalOrganization "教育組織") japanese_format.kif 2433-2433 School is a subclass of educational organization
(termFormat PortugueseLanguage EducationalOrganization "Organizacao Educacional") portuguese_format.kif 701-701 School is a subclass of educational organization
(termFormat cz EducationalOrganization "educational organization") terms-cz.txt 320-320 School is a subclass of educational organization
(termFormat de EducationalOrganization "paedagogishe Organisation") terms-de.txt 579-579 School is a subclass of educational organization
(termFormat ro EducationalOrganization "organizaþie educaþionalã") relations-ro.kif 770-770 School is a subclass of educational organization
(termFormat tg EducationalOrganization "kapisanan ng nagtuturo") terms-tg.txt 285-285 School is a subclass of educational organization

appearance as argument number 3
-------------------------


(domain student 2 EducationalOrganization) Mid-level-ontology.kif 18201-18201 The number 2 argument of student is an instance of educational organization
(domain teacher 2 EducationalOrganization) Mid-level-ontology.kif 18273-18273 The number 2 argument of teacher is an instance of educational organization

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


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



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