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 11548-11549
(subclass EducationalProcess Guiding)	Merge.kif 11546-11546	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 16609-16619	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 11551-11559	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 16695-16704	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 8224-8231	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 523-532	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 18694-18696	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 22548-22553	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 16659-16670	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 540-550	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 16474-16481	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 15452-15458	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 16551-16563	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 22537-22543	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 22434-22440	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 16641-16647	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 16713-16719	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