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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EducationalOrganization

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 16052-16054
s__subclass(s__EducationalOrganization,s__Organization)

s__instance(s__EducationalOrganization,s__Class)

s__instance(s__Organization,s__Class)

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

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


s__subclass(s__Library,s__EducationalOrganization)

s__instance(s__EducationalOrganization,s__Class)

s__instance(s__Library,s__Class)

Mid-level-ontology.kif 8042-8042 Library is a subclass of educational organization
s__instance(s__Museum,s__Class)

s__instance(s__EducationalOrganization,s__Class)

s__subclass(s__Museum,s__EducationalOrganization)

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

s__instance(s__EducationalOrganization,s__Class)

s__instance(s__School,s__Class)

Mid-level-ontology.kif 15794-15794 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 15935-15935 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 15967-15967 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 951-955
( ! [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 10276-10280
( ! [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 10287-10291
( ! [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 15772-15779
( ! [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 21671-21676


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