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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15599-15601
(subclass EducationalOrganization Organization) Merge.kif 15598-15598

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


(subclass Library EducationalOrganization) Mid-level-ontology.kif 8169-8169
(subclass Museum EducationalOrganization) Mid-level-ontology.kif 8199-8199
(subclass School EducationalOrganization) Mid-level-ontology.kif 14281-14281
(termFormat ChineseLanguage EducationalOrganization "教育机构") chinese_format.kif 1071-1071
(termFormat EnglishLanguage EducationalOrganization "educational organization") english_format.kif 1358-1358

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


(domain student 2 EducationalOrganization) Mid-level-ontology.kif 14419-14419
(domain teacher 2 EducationalOrganization) Mid-level-ontology.kif 14450-14450

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


(=>
    (and
        (instance ?A Accrediting)
        (patient ?A ?EO))
    (instance ?EO EducationalOrganization))
Mid-level-ontology.kif 1397-1401
(=>
    (and
        (instance ?GRAD Graduation)
        (agent ?GRAD ?ORG))
    (instance ?ORG EducationalOrganization))
Merge.kif 10022-10026
(=>
    (and
        (instance ?MAT Matriculation)
        (agent ?MAT ?ORG))
    (instance ?ORG EducationalOrganization))
Merge.kif 10033-10037
(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))
Mid-level-ontology.kif 14259-14266
(=>
    (instance ?X EducationalFacility)
    (exists (?ORG)
        (and
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))
Mid-level-ontology.kif 20492-20497


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