Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EducationalProcess

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 "任何意图导致 LearningProcess。") chinese_format.kif 3070-3070
(documentation EducationalProcess EnglishLanguage "Any Process which is intended to result in Learning.") Merge.kif 11461-11462
(subclass EducationalProcess Guiding) Merge.kif 11459-11459 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 16186-16196
(=>
    (and
        (instance ?EDUCATION EducationalProcess)
        (patient ?EDUCATION ?PERSON))
    (hasPurpose ?EDUCATION
        (exists (?LEARN)
            (and
                (instance ?LEARN Learning)
                (patient ?LEARN ?PERSON)))))
Merge.kif 11464-11472

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 16271-16280
(=>
    (and
        (instance ?OCCUPATION SkilledOccupation)
        (attribute ?PERSON ?OCCUPATION))
    (exists (?TRAINING)
        (and
            (instance ?TRAINING EducationalProcess)
            (destination ?TRAINING ?PERSON))))
Mid-level-ontology.kif 7867-7874
(=>
    (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
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 18263-18265
(=>
    (attribute ?X Student)
    (exists (?EV)
        (and
            (instance ?EV EducationalProcess)
            (patient ?EV ?X))))
Mid-level-ontology.kif 22021-22026
(=>
    (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 16236-16247
(=>
    (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
(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))
Mid-level-ontology.kif 16051-16058
(=>
    (instance ?R Classroom)
    (hasPurpose ?R
        (exists (?E)
            (and
                (instance ?E EducationalProcess)
                (eventLocated ?E ?R)))))
Mid-level-ontology.kif 15049-15055
(=>
    (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 16128-16140
(=>
    (instance ?X EducationalFacility)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV EducationalProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 22010-22016
(=>
    (student ?AGENT ?ORG)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS EducationalProcess)
            (eventLocated ?PROCESS ?ORG)
            (destination ?PROCESS ?AGENT))))
Mid-level-ontology.kif 16218-16224
(=>
    (teacher ?AGENT ?ORG)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS EducationalProcess)
            (eventLocated ?PROCESS ?ORG)
            (agent ?PROCESS ?AGENT))))
Mid-level-ontology.kif 16289-16295


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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