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
-------------------------


s__documentation(s__EducationalOrganization,s__ChineseLanguage,'"EducationalOrganization 是一个学习 机构。一些例子有:公立和私立的幼儿园、小学和中学、学院和大学。"')

chinese_format.kif 3747-3748
s__documentation(s__EducationalOrganization,s__EnglishLanguage,'"A EducationalOrganization is an institution of learning. Some examples are public and private K-12 schools, and colleges and universities."')

Merge.kif 15950-15952
s__subclass(s__EducationalOrganization,s__Organization)

s__instance(s__Organization,s__SetOrClass)

s__instance(s__EducationalOrganization,s__SetOrClass)

Merge.kif 15949-15949 Educational organization is a subclass of organization

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


s__subclass(s__Library,s__EducationalOrganization)

s__instance(s__EducationalOrganization,s__SetOrClass)

s__instance(s__Library,s__SetOrClass)

Mid-level-ontology.kif 7874-7874 Library is a subclass of educational organization
s__instance(s__EducationalOrganization,s__SetOrClass)

s__instance(s__Museum,s__SetOrClass)

s__subclass(s__Museum,s__EducationalOrganization)

Mid-level-ontology.kif 7904-7904 Museum is a subclass of educational organization
s__subclass(s__School,s__EducationalOrganization)

s__instance(s__EducationalOrganization,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 15176-15176 School is a subclass of educational organization
s__termFormat(s__ChineseLanguage,s__EducationalOrganization,'"教育机构"')

chinese_format.kif 1071-1071
s__termFormat(s__EnglishLanguage,s__EducationalOrganization,'"educational organization"')

english_format.kif 1358-1358

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


s__domain(s__student__m,n__2,s__EducationalOrganization)

Mid-level-ontology.kif 15317-15317 The number 2 argument of student is an instance of educational organization
s__domain(s__teacher__m,n__2,s__EducationalOrganization)

Mid-level-ontology.kif 15349-15349 The number 2 argument of teacher is an instance of educational organization

consequent
-------------------------


( ! [V__A,V__EO] :
   (((s__instance(V__A,s__Accrediting) &
         s__patient(V__A,V__EO))
     =>
     (s__instance(V__EO,s__EducationalOrganization)))
   )
)

Mid-level-ontology.kif 950-954
( ! [V__GRAD,V__ORG] :
   ((s__instance(V__ORG,s__Agent) =>
       (((s__instance(V__GRAD,s__Graduation) &
             s__agent(V__GRAD,V__ORG))
         =>
         (s__instance(V__ORG,s__EducationalOrganization)))))
   )
)

Merge.kif 10243-10247
( ! [V__ORG,V__MAT] :
   ((s__instance(V__ORG,s__Agent) =>
       (((s__instance(V__MAT,s__Matriculation) &
             s__agent(V__MAT,V__ORG))
         =>
         (s__instance(V__ORG,s__EducationalOrganization)))))
   )
)

Merge.kif 10254-10258
( ! [V__COURSE] :
   ((s__instance(V__COURSE,s__EducationalCourse) =>
       (( ? [V__CLASS, V__ORG] :
           ((s__realization(V__CLASS,V__COURSE)
             &
             s__instance(V__CLASS,s__EducationalProcess) &
             s__eventLocated(V__CLASS,V__ORG)
           &
           s__instance(V__ORG,s__EducationalOrganization))))))
)
)

Mid-level-ontology.kif 15154-15161
( ! [V__X] :
   ((s__instance(V__X,s__EducationalFacility) =>
       (( ? [V__ORG] :
           ((s__instance(V__ORG,s__EducationalOrganization) &
               s__possesses(V__ORG,V__X))))))
   )
)

Mid-level-ontology.kif 21052-21057


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