(=>
(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 |
