| EducationalProcess | |
| 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 11763-11764 | |
| (documentation EducationalProcess JapaneseLanguage "Learning を生じることを意図している任意 の Process") | japanese_format.kif 1838-1839 | |
| (subclass EducationalProcess Guiding) | Merge.kif 11761-11761 |
| 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 de EducationalProcess "paedagogischer Prozess") | terms-de.txt 603-603 | |
| (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 18153-18163 | |
| (=> (and (instance ?EDUCATION EducationalProcess) (patient ?EDUCATION ?PERSON)) (hasPurpose ?EDUCATION (exists (?LEARN) (and (instance ?LEARN Learning) (patient ?LEARN ?PERSON))))) |
Merge.kif 11766-11774 |
| 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 18239-18248 | |
| (=> (and (instance ?OCCUPATION SkilledOccupation) (attribute ?PERSON ?OCCUPATION)) (exists (?TRAINING) (and (instance ?TRAINING EducationalProcess) (destination ?TRAINING ?PERSON)))) |
Mid-level-ontology.kif 9431-9438 | |
| (=> (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 536-545 | |
| (=> (attribute ?T Teacher) (hasSkill EducationalProcess ?T)) |
Mid-level-ontology.kif 20483-20485 | |
| (=> (attribute ?X Student) (exists (?EV) (and (instance ?EV EducationalProcess) (patient ?EV ?X)))) |
Mid-level-ontology.kif 24242-24247 | |
| (=> (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 18203-18214 | |
| (=> (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 553-563 | |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 18018-18025 | |
| (=> (instance ?R Classroom) (hasPurpose ?R (exists (?E) (and (instance ?E EducationalProcess) (eventLocated ?E ?R))))) |
Mid-level-ontology.kif 16978-16984 | |
| (=> (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 18095-18107 | |
| (=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 24231-24237 | |
| (=> (instance ?X SchoolBuilding) (hasPurpose ?X (exists (?P) (and (instance ?P EducationalProcess) (eventLocated ?P ?X))))) |
Mid-level-ontology.kif 24128-24134 | |
| (=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 18185-18191 | |
| (=> (teacher ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (agent ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 18257-18263 |
|
|
|