Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Graduation(graduation)
|  | graduation |
| appearance as argument number 1 |
|
|
| (subclass Graduation LeavingAnOrganization) | Merge.kif 10944-10944 | Graduation is a subclass of leaving an organization |
| (documentation Graduation EnglishLanguage "The OrganizationalProcess of graduating from an EducationalOrganization.") | Merge.kif 10946-10947 | Graduation is a subclass of leaving an organization |
| (externalImage Graduation "http://articulatesoftware.com/SUMOpictures/education/ graduate/ graduation.png") | pictureList.kif 469-469 | Graduation is a subclass of leaving an organization |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Graduation "graduation") | english_format.kif 1419-1419 |
| antecedent |
|
|
| (=> (and (instance ?GRAD Graduation) (agent ?GRAD ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10949-10953 | If X is an instance of graduation and Y is an agent of X, then Y is an instance of educational organization |
| (=> (and (instance ?STUDENT Student) (instance ?SCHOOL School) (attends ?STUDENT ?SCHOOL) (instance ?GRADUATE Graduation) (time ?TIMEINTERVAL1 ?GRADUATE) (agent ?GRADUATE ?SCHOOL) (patient ?GRADUATE ?STUDENT) (during ?TIMEINTERVAL1 (YearFn ?YEAR))) (expectedYearOfGraduation ?STUDENT (YearFn ?YEAR))) |
LinkedInDegrees.kif 450-461 | If All of the following hold: (1) X is an instance of student (2) Y is an instance of school (3) Y attends X (4) Z is an instance of graduation (5) W exists during Z (6) Y is an agent of Z (7) X is a patient of Z (8) W takes place during the year V, then expectedYearOfGraduation X and the year V |
| consequent |
|
|
| (=> (and (instance ?ENTER Matriculation) (agent ?ENTER ?COLLEGE) (patient ?ENTER ?STUDENT) (instance ?COLLEGE College)) (exists (?GRAD ?SCHOOL) (and (instance ?GRAD Graduation) (agent ?GRAD ?SCHOOL) (patient ?GRAD ?STUDENT) (instance ?SCHOOL HighSchool) (earlier (WhenFn ?GRAD) (WhenFn ?ENTER))))) |
Mid-level-ontology.kif 18285-18297 | If X is an instance of matriculation, Y is an agent of X, Z is a patient of X, and Y is an instance of college, then there exist W, V such that W is an instance of graduation, V is an agent of W, Z is a patient of W, V is an instance of high school, and the time of existence of W happens earlier than the time of existence of X |
| (=> (and (instance ?E Matriculation) (agent ?E ?C) (patient ?E ?P) (instance ?C College)) (exists (?G ?S) (and (instance ?G Graduation) (agent ?G ?S) (patient ?G ?P) (instance ?S SecondarySchool) (earlier (WhenFn ?G) (WhenFn ?E))))) |
Mid-level-ontology.kif 18304-18316 | If X is an instance of matriculation, Y is an agent of X, Z is a patient of X, and Y is an instance of college, then there exist W, V such that W is an instance of graduation, V is an agent of W, Z is a patient of W, V is an instance of secondary school, and the time of existence of W happens earlier than the time of existence of X |
| (=> (and (instance ?AWARD AwardingADegree) (instance ?PERSON Human) (instance ?SCHOOL PostSecondarySchool) (patient ?AWARD ?PERSON) (agent ?AWARD ?SCHOOL)) (and (holdsDuring (BeginFn (WhenFn ?AWARD)) (attribute ?PERSON Student)) (holdsDuring (EndFn (WhenFn ?AWARD)) (possesses ?PERSON AcademicDegree)) (equal (WhenFn ?AWARD) Graduation))) |
LinkedInDegrees.kif 37-53 | If X is an instance of awarding a degree, Y is an instance of human, Z is an instance of post secondary school, Y is a patient of X, and Z is an agent of X, then student is an attribute of Y holds during the beginning of the time of existence of X, Y possesses academic degree holds during the end of the time of existence of X, and equal the time of existence of X and graduation |
|