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

KB Term:  Term intersection
English Word: 

Sigma KEE - EducationalOrganization
EducationalOrganization

appearance as argument number 1
-------------------------


(subclass EducationalOrganization Organization) Merge.kif 17085-17085
(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 17086-17088

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


(subclass Library EducationalOrganization) Mid-level-ontology.kif 9823-9823
(subclass Museum EducationalOrganization) Mid-level-ontology.kif 9853-9853
(subclass School EducationalOrganization) Mid-level-ontology.kif 18267-18267
(termFormat EnglishLanguage EducationalOrganization "educational organization") english_format.kif 1357-1357

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


(domain student 2 EducationalOrganization) Mid-level-ontology.kif 18408-18408
(domain teacher 2 EducationalOrganization) Mid-level-ontology.kif 18484-18484

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


(=>
    (and
        (instance ?GRAD Graduation)
        (agent ?GRAD ?ORG))
    (instance ?ORG EducationalOrganization))		 Merge.kif 10949-10953
(=>
    (and
        (instance ?MAT Matriculation)
        (agent ?MAT ?ORG))
    (instance ?ORG EducationalOrganization))		 Merge.kif 10960-10964
(=>
    (and
        (instance ?A Accrediting)
        (patient ?A ?EO))
    (instance ?EO EducationalOrganization))		 Mid-level-ontology.kif 1000-1004
(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))		 Mid-level-ontology.kif 18245-18252
(=>
    (instance ?X EducationalFacility)
    (exists (?ORG)
        (and
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))		 Mid-level-ontology.kif 24860-24865


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.0-880226f3 (2026-05-18) is open source software produced by Articulate Software and its partners