Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass EducationalOrganization Organization) Merge.kif 16928-16928 Educational organization is a subclass of organization
(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 16929-16931 Educational organization is a subclass of organization

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


(subclass Library EducationalOrganization) Mid-level-ontology.kif 9709-9709 Library is a subclass of educational organization
(subclass Museum EducationalOrganization) Mid-level-ontology.kif 9739-9739 Museum is a subclass of educational organization
(subclass School EducationalOrganization) Mid-level-ontology.kif 18193-18193 School is a subclass of educational organization
(termFormat EnglishLanguage EducationalOrganization "educational organization") english_format.kif 1353-1353 School is a subclass of educational organization

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


(domain student 2 EducationalOrganization) Mid-level-ontology.kif 18334-18334 The number 2 argument of student is an instance of educational organization
(domain teacher 2 EducationalOrganization) Mid-level-ontology.kif 18410-18410 The number 2 argument of teacher is an instance of educational organization

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


(=>
    (and
        (instance ?GRAD Graduation)
        (agent ?GRAD ?ORG))
    (instance ?ORG EducationalOrganization))		 Merge.kif 10860-10864 If X is an instance of graduation and Y is an agent of X, then Y is an instance of educational organization
(=>
    (and
        (instance ?MAT Matriculation)
        (agent ?MAT ?ORG))
    (instance ?ORG EducationalOrganization))		 Merge.kif 10871-10875 If X is an instance of matriculation and Y is an agent of X, then Y is an instance of educational organization
(=>
    (and
        (instance ?A Accrediting)
        (patient ?A ?EO))
    (instance ?EO EducationalOrganization))		 Mid-level-ontology.kif 1006-1010 If X is an instance of accrediting and Y is a patient of X, then Y is an instance of educational organization
(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))		 Mid-level-ontology.kif 18171-18178 If X is an instance of educational course, then there exist Y, Z such that Y expresses the content of X, Y is an instance of educational process, Y is located at Z, and Z is an instance of educational organization
(=>
    (instance ?X EducationalFacility)
    (exists (?ORG)
        (and
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))		 Mid-level-ontology.kif 24941-24946 If X is an instance of educational facility, then there exists Y such that Y is an instance of educational organization and Y possesses X


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