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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EducationalProcess

Sigma KEE - EducationalProcess
EducationalProcess(教育性过程)

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 11628-11629
(documentation EducationalProcess JapaneseLanguage "Learning を生じることを意図している任意 の Process") japanese_format.kif 1838-1839
(subclass EducationalProcess Guiding) Merge.kif 11626-11626 教育性过程引导subclass

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 16766-16776
(=>
    (and
        (instance ?EDUCATION EducationalProcess)
        (patient ?EDUCATION ?PERSON))
    (hasPurpose ?EDUCATION
        (exists (?LEARN)
            (and
                (instance ?LEARN Learning)
                (patient ?LEARN ?PERSON)))))
Merge.kif 11631-11639

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 16852-16861
(=>
    (and
        (instance ?OCCUPATION SkilledOccupation)
        (attribute ?PERSON ?OCCUPATION))
    (exists (?TRAINING)
        (and
            (instance ?TRAINING EducationalProcess)
            (destination ?TRAINING ?PERSON))))
Mid-level-ontology.kif 8264-8271
(=>
    (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 18912-18914
(=>
    (attribute ?X Student)
    (exists (?EV)
        (and
            (instance ?EV EducationalProcess)
            (patient ?EV ?X))))
Mid-level-ontology.kif 22599-22604
(=>
    (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 16816-16827
(=>
    (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 16631-16638
(=>
    (instance ?R Classroom)
    (hasPurpose ?R
        (exists (?E)
            (and
                (instance ?E EducationalProcess)
                (eventLocated ?E ?R)))))
Mid-level-ontology.kif 15605-15611
(=>
    (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 16708-16720
(=>
    (instance ?X EducationalFacility)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV EducationalProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 22588-22594
(=>
    (instance ?X SchoolBuilding)
    (hasPurpose ?X
        (exists (?P)
            (and
                (instance ?P EducationalProcess)
                (eventLocated ?P ?X)))))
Mid-level-ontology.kif 22485-22491
(=>
    (student ?AGENT ?ORG)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS EducationalProcess)
            (eventLocated ?PROCESS ?ORG)
            (destination ?PROCESS ?AGENT))))
Mid-level-ontology.kif 16798-16804
(=>
    (teacher ?AGENT ?ORG)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS EducationalProcess)
            (eventLocated ?PROCESS ?ORG)
            (agent ?PROCESS ?AGENT))))
Mid-level-ontology.kif 16870-16876


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