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 11467-11468
(subclass EducationalProcess Guiding)	Merge.kif 11465-11465	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

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 16210-16220	If an entity is an instance of art school and a process is an instance of educational process and the process is located at 2, then there exist another process and another entity such that the other process is an instance of making and the other entity is a patient of the other process and the other 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 11470-11478	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 16295-16304	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 2 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 7871-7878	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 455-464	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 18287-18289	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 22045-22050	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 16260-16271	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 472-482	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 16075-16082	If a proposition is an instance of educational course, then there exist a process and an entity 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 2 and the entity is an instance of educational organization
(=> (instance ?R Classroom) (hasPurpose ?R (exists (?E) (and (instance ?E EducationalProcess) (eventLocated ?E ?R)))))	Mid-level-ontology.kif 15073-15079	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 2
(=> (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 16152-16164	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 2 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 22034-22040	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 2
(=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT))))	Mid-level-ontology.kif 16242-16248	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 2 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 16313-16319	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 2 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