EducationalProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - EducationalProcess

EducationalProcess(educational process)

French_lesson, German_lesson, Hebrew_lesson, academically, adult_education, art_class, association, athletic_training, athletics, audio-lingual, aversive_conditioning, basal, basic_training, brainwashing, bronco_busting, brushup, catechesis, catechetic, catechetical, catechetical_instruction, catechistic, chalk_talk, chasten, check, childbirth-preparation_class, civilise, civilize, clarifying, class, classical_conditioning, classroom_project, classwork, close-order_drill, co-educate, coaching, coaching_job, coeducate, coeducation, condition, conditioning, connection, connexion, continuing_education, correspondence_course, counter_conditioning, course, course_of_instruction, course_of_lectures, course_of_study, cultivate...

appearance as argument number 1

(documentation EducationalProcess ChineseLanguage "任何意图导致 Learning 的 Process。")	chinese_format.kif 3070-3070
(documentation EducationalProcess EnglishLanguage "Any Process which is intended to result in Learning.")	Merge.kif 11650-11651
(documentation EducationalProcess JapaneseLanguage "Learning を生じることを意図している任意の Process")	japanese_format.kif 1838-1839
(subclass EducationalProcess Guiding)	Merge.kif 11648-11648	Educational process is a subclass of guiding

appearance as argument number 2

(termFormat ChineseLanguage EducationalProcess "教育性过程")	chinese_format.kif 1095-1095
(termFormat EnglishLanguage EducationalProcess "educational process")	english_format.kif 1401-1401
(termFormat FrenchLanguage EducationalProcess "processus educationnel")	french_format.kif 773-773
(termFormat Hindi EducationalProcess "shaikshika prakriyaa")	terms-hindi.txt 305-305
(termFormat ItalianLanguage EducationalProcess "ProcessoEducazionale")	terms-it.txt 308-308
(termFormat JapaneseLanguage EducationalProcess "教育過程")	japanese_format.kif 2457-2457
(termFormat PortugueseLanguage EducationalProcess "Processo Educacional")	portuguese_format.kif 725-725
(termFormat cz EducationalProcess "educational process")	terms-cz.txt 344-344
(termFormat ro EducationalProcess "proces educaþional")	relations-ro.kif 794-794
(termFormat tg EducationalProcess "paraan ng pagtuturo")	terms-tg.txt 309-309

antecedent

(=> (and (instance ?AS ArtSchool) (instance ?P EducationalProcess) (eventLocated ?P ?AS)) (exists (?M ?ART) (and (instance ?M Making) (patient ?M ?ART) (instance ?ART ArtWork) (refers ?P ?M))))	Mid-level-ontology.kif 16765-16775	If an object is an instance of art school and a process is an instance of educational process and the process is located at the object, then there exist another process and an entity such that the other process is an instance of making and the entity is a patient of the other process and the entity is an instance of art work and the process includes a reference to the other process
(=> (and (instance ?EDUCATION EducationalProcess) (patient ?EDUCATION ?PERSON)) (hasPurpose ?EDUCATION (exists (?LEARN) (and (instance ?LEARN Learning) (patient ?LEARN ?PERSON)))))	Merge.kif 11653-11661	If a process is an instance of educational process and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of learning and the entity is a patient of the other entity

consequent

(=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student)))))	Mid-level-ontology.kif 16851-16860	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at the post secondary school and student is an attribute of the human holds during the time of existence of the process
(=> (and (instance ?OCCUPATION SkilledOccupation) (attribute ?PERSON ?OCCUPATION)) (exists (?TRAINING) (and (instance ?TRAINING EducationalProcess) (destination ?TRAINING ?PERSON))))	Mid-level-ontology.kif 8263-8270	If an attribute is an instance of skilled occupation and the attribute is an attribute of an object, then there exists a process such that the process is an instance of educational process and the process ends up at the object
(=> (attribute ?COACH Coach) (exists (?ATHLETE ?GAME ?EDUCATION) (and (instance ?ATHLETE Human) (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?ATHLETE) (refers ?EDUCATION ?GAME))))	Sports.kif 524-533	If coach is an attribute of an agent, then there exist an entity, another entity and a process such that the entity is an instance of human and the other entity is an instance of game and the process is an instance of educational process and the agent is an agent of the process and the entity is a patient of the process and the process includes a reference to the other entity
(=> (attribute ?T Teacher) (hasSkill EducationalProcess ?T))	Mid-level-ontology.kif 18911-18913	If teacher is an attribute of an agent, then the agent has the skill to do educational process
(=> (attribute ?X Student) (exists (?EV) (and (instance ?EV EducationalProcess) (patient ?EV ?X))))	Mid-level-ontology.kif 22598-22603	If student is an attribute of an object, then there exists a process such that the process is an instance of educational process and the object is a patient of the process
(=> (classmate ?A1 ?A2 ?COURSE) (exists (?CLASS ?EDU ?TIME) (and (instance ?CLASS GroupOfPeople) (instance ?EDU EducationalProcess) (realization ?EDU ?COURSE) (patient ?EDU ?CLASS) (temporalPart ?TIME (WhenFn ?EDU)) (memberAtTime ?A1 ?CLASS ?TIME) (memberAtTime ?A1 ?CLASS ?TIME))))	Mid-level-ontology.kif 16815-16826	If a human and another human were taught in the same EducationalProcess an educational course together, then there exist a collection, a process and a time position such that the collection is an instance of group of people and the process is an instance of educational process and the process expresses the content of the educational course and the collection is a patient of the process and the time position is a part of the time of existence of the process and the human is a member of the collection during the time position and the human is a member of the collection during the time position
(=> (coaches ?COACH ?PLAYER) (and (attribute ?COACH Coach) (exists (?GAME ?EDUCATION) (and (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?PLAYER) (refers ?EDUCATION ?GAME)))))	Sports.kif 541-551	If a human coaches another human, then coach is an attribute of the human and there exist an entity and a process such that the entity is an instance of game and the process is an instance of educational process and the human is an agent of the process and the other human is a patient of the process and the process includes a reference to the entity
(=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization))))	Mid-level-ontology.kif 16630-16637	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 ?R Classroom) (hasPurpose ?R (exists (?E) (and (instance ?E EducationalProcess) (eventLocated ?E ?R)))))	Mid-level-ontology.kif 15604-15610	If a physical is an instance of classroom, then the physical has the purpose there exists an entity such that the entity is an instance of educational process and the entity is located at the physical
(=> (instance ?VS VocationalSchool) (hasPurpose ?VS (exists (?P ?S ?T) (and (instance ?P EducationalProcess) (eventLocated ?P ?VS) (student ?S ?VS) (experiencer ?P ?S) (instance ?T OccupationalTrade) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?S ?T))))))	Mid-level-ontology.kif 16707-16719	If a physical is an instance of vocational school, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of educational process and the entity is located at the physical and the other entity is a student of the physical and the other entity experiences the entity and the third entity is an instance of occupational trade and the third entity is an attribute of the other entity holds during the end of the time of existence of the entity
(=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22587-22593	If a physical is an instance of educational facility, then the physical has the purpose there exists an entity such that the entity is an instance of educational process and the entity is located at the physical
(=> (instance ?X SchoolBuilding) (hasPurpose ?X (exists (?P) (and (instance ?P EducationalProcess) (eventLocated ?P ?X)))))	Mid-level-ontology.kif 22484-22490	If a physical is an instance of school building, then the physical has the purpose there exists an entity such that the entity is an instance of educational process and the entity is located at the physical
(=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT))))	Mid-level-ontology.kif 16797-16803	If a human is a student of an educational organization, then there exists a process such that the process is an instance of educational process and the process is located at the educational organization and the process ends up at the human
(=> (teacher ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (agent ?PROCESS ?AGENT))))	Mid-level-ontology.kif 16869-16875	If a human is a teacher in an educational organization, then there exists a process such that the process is an instance of educational process and the process is located at the educational organization and the human is an agent of the process

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