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

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	EducationalProcess ist eine teilkategorie von Guiding

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	Wenn Object ist ein fall von ArtSchool %n{nicht} und Process ist ein fall von EducationalProcess %n{nicht} und eventLocated Process and Object, dann es gibt Process und Entity um Process ist ein fall von Making %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von ArtWork %n{nicht} und Process umfasst einen hinweis auf Process
(=> (and (instance ?EDUCATION EducationalProcess) (patient ?EDUCATION ?PERSON)) (hasPurpose ?EDUCATION (exists (?LEARN) (and (instance ?LEARN Learning) (patient ?LEARN ?PERSON)))))	Merge.kif 11677-11685	Wenn Process ist ein fall von EducationalProcess %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Process hat Zweck von es gibt entity um entity ist ein fall von Learning %n{nicht} und Entity ist ein patient von entity %n{nicht} %n{nicht}

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	Wenn almaMater Human and PostSecondarySchool, dann es gibt Process um Process ist ein fall von EducationalProcess %n{nicht} und Process endet an Human %n{nicht} und eventLocated Process and PostSecondarySchool und Student ist ein attribut von Human %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?OCCUPATION SkilledOccupation) (attribute ?PERSON ?OCCUPATION)) (exists (?TRAINING) (and (instance ?TRAINING EducationalProcess) (destination ?TRAINING ?PERSON))))	Mid-level-ontology.kif 8291-8298	Wenn Attribute ist ein fall von SkilledOccupation %n{nicht} und Attribute ist ein attribut von Object %n{nicht}, dann es gibt Process um Process ist ein fall von EducationalProcess %n{nicht} und Process endet an Object %n{nicht}
(=> (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	Wenn Coach ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Entity, Entity, and und Process um Entity ist ein fall von Human %n{nicht} und Entity ist ein fall von Game %n{nicht} und Process ist ein fall von EducationalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf Entity
(=> (attribute ?T Teacher) (hasSkill EducationalProcess ?T))	Mid-level-ontology.kif 18939-18941	Wenn Teacher ist ein attribut von AutonomousAgent %n{nicht}, dann ** AutonomousAgent hat die F�higkeit, zum EducationalProcess zu tun %n{nicht}
(=> (attribute ?X Student) (exists (?EV) (and (instance ?EV EducationalProcess) (patient ?EV ?X))))	Mid-level-ontology.kif 22651-22656	Wenn Student ist ein attribut von Object %n{nicht}, dann es gibt Process um Process ist ein fall von EducationalProcess %n{nicht} und Object ist ein patient von ** Process %n{nicht}
(=> (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	Wenn classmate Human, Human and EducationalCourse, dann es gibt Collection, Process, and und TimePosition um Collection ist ein fall von GroupOfPeople %n{nicht} und Process ist ein fall von EducationalProcess %n{nicht} und Process druekt den Inhalt von EducationalCourse aus und Collection ist ein patient von Process %n{nicht} und TimePosition ist ein teil von die zeit des Bestehens von Process %n{nicht} und memberAtTime Human, Collection and TimePosition und memberAtTime Human, Collection and ** TimePosition
(=> (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	Wenn coaches Human and Human, dann Coach ist ein attribut von Human %n{nicht} und es gibt Entity und Process um Entity ist ein fall von Game %n{nicht} und Process ist ein fall von EducationalProcess %n{nicht} und Process ist der agent von Human %n{nicht} und Human ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf ** Entity
(=> (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	Wenn Proposition ist ein fall von EducationalCourse %n{nicht}, dann es gibt Process und Object um Process druekt den Inhalt von Proposition aus und Process ist ein fall von EducationalProcess %n{nicht} und eventLocated Process and Object und Object ist ein fall von EducationalOrganization %n{nicht}
(=> (instance ?R Classroom) (hasPurpose ?R (exists (?E) (and (instance ?E EducationalProcess) (eventLocated ?E ?R)))))	Mid-level-ontology.kif 15632-15638	Wenn Physical ist ein fall von Classroom %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von EducationalProcess %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (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	Wenn Physical ist ein fall von VocationalSchool %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von EducationalProcess %n{nicht} und eventLocated entity and Physical und student entity and Physical und entity erfaehrt entity %n{nicht} und entity ist ein fall von OccupationalTrade %n{nicht} und entity ist ein attribut von entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** entity %n{nicht} %n{nicht}
(=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22640-22646	Wenn Physical ist ein fall von EducationalFacility %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von EducationalProcess %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (instance ?X SchoolBuilding) (hasPurpose ?X (exists (?P) (and (instance ?P EducationalProcess) (eventLocated ?P ?X)))))	Mid-level-ontology.kif 22537-22543	Wenn Physical ist ein fall von SchoolBuilding %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von EducationalProcess %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT))))	Mid-level-ontology.kif 16825-16831	Wenn student Human and EducationalOrganization, dann es gibt Process um Process ist ein fall von EducationalProcess %n{nicht} und eventLocated Process and EducationalOrganization und Process endet an ** Human %n{nicht}
(=> (teacher ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (agent ?PROCESS ?AGENT))))	Mid-level-ontology.kif 16897-16903	Wenn teacher Human and EducationalOrganization, dann es gibt Process um Process ist ein fall von EducationalProcess %n{nicht} und eventLocated Process and EducationalOrganization und Process ist der agent von ** Human %n{nicht}

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