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 16478-16480
(subclass EducationalOrganization Organization) Merge.kif 16477-16477 subclass EducationalOrganization and Organization

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


(subclass Library EducationalOrganization) Mid-level-ontology.kif 8112-8112 subclass Library and EducationalOrganization
(subclass Museum EducationalOrganization) Mid-level-ontology.kif 8142-8142 subclass Museum and EducationalOrganization
(subclass School EducationalOrganization) Mid-level-ontology.kif 16148-16148 subclass School and EducationalOrganization
(termFormat ChineseLanguage EducationalOrganization "教育机构") chinese_format.kif 1071-1071
(termFormat EnglishLanguage EducationalOrganization "educational organization") english_format.kif 1353-1353

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


(domain student 2 EducationalOrganization) Mid-level-ontology.kif 16289-16289 domain student, 2 and EducationalOrganization
(domain teacher 2 EducationalOrganization) Mid-level-ontology.kif 16360-16360 domain teacher, 2 and EducationalOrganization

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


(=>
    (and
        (instance ?A Accrediting)
        (patient ?A ?EO))
    (instance ?EO EducationalOrganization))
Mid-level-ontology.kif 977-981
(=>
    (and
        (instance ?GRAD Graduation)
        (agent ?GRAD ?ORG))
    (instance ?ORG EducationalOrganization))
Merge.kif 10603-10607
(=>
    (and
        (instance ?MAT Matriculation)
        (agent ?MAT ?ORG))
    (instance ?ORG EducationalOrganization))
Merge.kif 10614-10618
(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))
Mid-level-ontology.kif 16126-16133
(=>
    (instance ?X EducationalFacility)
    (exists (?ORG)
        (and
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))
Mid-level-ontology.kif 22112-22117


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