|
|
  OtherPressedAndBlownGlassAndGlasswareManufacturing
|
|
|
| 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 11674-11675 | |
| (documentation EducationalProcess JapaneseLanguage "Learning を生じることを意図している任意 の Process") | japanese_format.kif 1838-1839 | |
| (subclass EducationalProcess Guiding) | Merge.kif 11672-11672 |
| 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 16793-16803 | |
| (=> (and (instance ?EDUCATION EducationalProcess) (patient ?EDUCATION ?PERSON)) (hasPurpose ?EDUCATION (exists (?LEARN) (and (instance ?LEARN Learning) (patient ?LEARN ?PERSON))))) |
Merge.kif 11677-11685 |
| 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 16879-16888 | |
| (=> (and (instance ?OCCUPATION SkilledOccupation) (attribute ?PERSON ?OCCUPATION)) (exists (?TRAINING) (and (instance ?TRAINING EducationalProcess) (destination ?TRAINING ?PERSON)))) |
Mid-level-ontology.kif 8291-8298 | |
| (=> (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 | |
| (=> (attribute ?T Teacher) (hasSkill EducationalProcess ?T)) |
Mid-level-ontology.kif 18939-18941 | |
| (=> (attribute ?X Student) (exists (?EV) (and (instance ?EV EducationalProcess) (patient ?EV ?X)))) |
Mid-level-ontology.kif 22651-22656 | |
| (=> (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 16843-16854 | |
| (=> (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 | |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 16658-16665 | |
| (=> (instance ?R Classroom) (hasPurpose ?R (exists (?E) (and (instance ?E EducationalProcess) (eventLocated ?E ?R))))) |
Mid-level-ontology.kif 15632-15638 | |
| (=> (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 16735-16747 | |
| (=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 22640-22646 | |
| (=> (instance ?X SchoolBuilding) (hasPurpose ?X (exists (?P) (and (instance ?P EducationalProcess) (eventLocated ?P ?X))))) |
Mid-level-ontology.kif 22537-22543 | |
| (=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 16825-16831 | |
| (=> (teacher ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (agent ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 16897-16903 |
|
|
|