TreeView Knowledge Base Browser - EducationalOrganization

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

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

appearance as argument number 2

(subclass Library EducationalOrganization)	Mid-level-ontology.kif 9664-9664	Library is a subclass of educational organization
(subclass Museum EducationalOrganization)	Mid-level-ontology.kif 9694-9694	Museum is a subclass of educational organization
(subclass School EducationalOrganization)	Mid-level-ontology.kif 18026-18026	School is a subclass of educational organization
(termFormat ChineseLanguage EducationalOrganization "教育机构")	chinese_format.kif 1071-1071	School is a subclass of educational organization
(termFormat EnglishLanguage EducationalOrganization "educational organization")	english_format.kif 1353-1353	School is a subclass of educational organization
(termFormat FrenchLanguage EducationalOrganization "�cole")	french_format.kif 749-749	School is a subclass of educational organization
(termFormat Hindi EducationalOrganization "shEkshaNika sansthaa")	terms-hindi.txt 281-281	School is a subclass of educational organization
(termFormat ItalianLanguage EducationalOrganization "OrganizzazioneEducativa")	terms-it.txt 284-284	School is a subclass of educational organization
(termFormat JapaneseLanguage EducationalOrganization "教育組織")	japanese_format.kif 2433-2433	School is a subclass of educational organization
(termFormat PortugueseLanguage EducationalOrganization "Organizacao Educacional")	portuguese_format.kif 701-701	School is a subclass of educational organization
(termFormat cz EducationalOrganization "educational organization")	terms-cz.txt 320-320	School is a subclass of educational organization
(termFormat de EducationalOrganization "paedagogishe Organisation")	terms-de.txt 579-579	School is a subclass of educational organization
(termFormat ro EducationalOrganization "organizaþie educaþionalã")	relations-ro.kif 770-770	School is a subclass of educational organization
(termFormat tg EducationalOrganization "kapisanan ng nagtuturo")	terms-tg.txt 285-285	School is a subclass of educational organization

appearance as argument number 3

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

consequent

(=> (and (instance ?A Accrediting) (patient ?A ?EO)) (instance ?EO EducationalOrganization))	Mid-level-ontology.kif 1003-1007	If a process is an instance of accrediting and an entity is a patient of the process, then the entity is an instance of educational organization
(=> (and (instance ?GRAD Graduation) (agent ?GRAD ?ORG)) (instance ?ORG EducationalOrganization))	Merge.kif 10862-10866	If a process is an instance of graduation and an agent is an agent of the process, then the agent is an instance of educational organization
(=> (and (instance ?MAT Matriculation) (agent ?MAT ?ORG)) (instance ?ORG EducationalOrganization))	Merge.kif 10873-10877	If a process is an instance of matriculation and an agent is an agent of the process, then the agent 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 18004-18011	If a proposition is an instance of educational course, then there exist a process and an object such that the process expresses the content of the proposition and the process is an instance of educational process and the process is located at the object and the object is an instance of educational organization
(=> (instance ?X EducationalFacility) (exists (?ORG) (and (instance ?ORG EducationalOrganization) (possesses ?ORG ?X))))	Mid-level-ontology.kif 24213-24218	If an object is an instance of educational facility, then there exists an agent such that the agent is an instance of educational organization and the agent possesses the object

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