Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass EducationalProcess Guiding) | Merge.kif 11902-11902 | Educational process is a subclass of guiding |
| (documentation EducationalProcess EnglishLanguage "Any Process which is intended to result in Learning.") | Merge.kif 11904-11905 | Educational process is a subclass of guiding |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?EDUCATION EducationalProcess) (patient ?EDUCATION ?PERSON)) (hasPurpose ?EDUCATION (exists (?LEARN) (and (instance ?LEARN Learning) (patient ?LEARN ?PERSON))))) |
Merge.kif 11907-11915 | If X is an instance of educational process and Y is a patient of X, then X has the purpose there exists Z such that Z is an instance of learning and Y is a patient of Z |
| (=> (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 18380-18390 | If X is an instance of art school, Y is an instance of educational process, and Y is located at X, then there exist Z, W such that Z is an instance of making, W is a patient of Z, W is an instance of art work, and Y includes a reference to Z |
| consequent |
|
|
| (=> (and (instance ?OCCUPATION SkilledOccupation) (attribute ?PERSON ?OCCUPATION)) (exists (?TRAINING) (and (instance ?TRAINING EducationalProcess) (destination ?TRAINING ?PERSON)))) |
Mid-level-ontology.kif 9585-9592 | If X is an instance of skilled occupation and X is an attribute of Y, then there exists Z such that Z is an instance of educational process and Z ends up at Y |
| (=> (instance ?R Classroom) (hasPurpose ?R (exists (?E) (and (instance ?E EducationalProcess) (eventLocated ?E ?R))))) |
Mid-level-ontology.kif 17204-17210 | If X is an instance of classroom, then X has the purpose there exists Y such that Y is an instance of educational process and Y is located at X |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 18245-18252 | If X is an instance of educational course, then there exist Y, Z such that Y expresses the content of X, Y is an instance of educational process, Y is located at Z, and Z is an instance of educational organization |
| (=> (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 18322-18334 | If X is an instance of vocational school, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of educational process (3) Y is located at X (4) Z is a student of X (5) Z experiences Y (6) W is an instance of occupational trade (7) W is an attribute of Z holds during the end of the time of existence of Y |
| (=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 18412-18418 | If X is a student of Y, then there exists Z such that Z is an instance of educational process, Z is located at Y, and Z ends up at X |
| (=> (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 ?A2 ?CLASS ?TIME)))) |
Mid-level-ontology.kif 18429-18440 | If X and Y were taught in the same EducationalProcess Z together, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of group of people (3) V is an instance of educational process (4) V expresses the content of Z (5) W is a patient of V (6) U is a part of the time of existence of V (7) X is a member of W during U (8) Y is a member of W during U |
| (=> (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 18470-18479 | If X's almaMater is Y, then there exists Z such that Z is an instance of educational process, Z ends up at X, Z is located at Y, and student is an attribute of X holds during the time of existence of Z |
| (=> (teacher ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (agent ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 18488-18494 | If X is a teacher in Y, then there exists Z such that Z is an instance of educational process, Z is located at Y, and X is an agent of Z |
| (=> (attribute ?T Teacher) (hasSkill EducationalProcess ?T)) |
Mid-level-ontology.kif 20849-20851 | If teacher is an attribute of X, then X has the skill to do educational process |
| (=> (instance ?X SchoolBuilding) (hasPurpose ?X (exists (?P) (and (instance ?P EducationalProcess) (eventLocated ?P ?X))))) |
Mid-level-ontology.kif 24762-24768 | If X is an instance of school building, then X has the purpose there exists Y such that Y is an instance of educational process and Y is located at X |
| (=> (instance ?X EducationalFacility) (hasPurpose ?X (exists (?EV) (and (instance ?EV EducationalProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 24867-24873 | If X is an instance of educational facility, then X has the purpose there exists Y such that Y is an instance of educational process and Y is located at X |
| (=> (attribute ?X Student) (exists (?EV) (and (instance ?EV EducationalProcess) (patient ?EV ?X)))) |
Mid-level-ontology.kif 24878-24883 | If student is an attribute of X, then there exists Y such that Y is an instance of educational process and X is a patient of Y |
| (=> (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 550-559 | If coach is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of human (3) Z is an instance of game (4) W is an instance of educational process (5) X is an agent of W (6) Y is a patient of W (7) W includes a reference to Z |
| (=> (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 567-577 | If X coaches Y, then coach is an attribute of X and there exist Z, W such that Z is an instance of game, W is an instance of educational process, X is an agent of W, Y is a patient of W, and W includes a reference to Z |
|