(=>
(and
(attribute ?S Student)
(instance ?SCHOOL PostSecondarySchool)
(attends ?S ?SCHOOL))
(expectedDegree ?S
(DegreeFn ?FIELDOFSTUDY ?SCHOOL))) |
LinkedInDegrees.kif 68-73 |
If student is an attribute of X, Y is an instance of post secondary school, and Y attends X, then expected degree X, degree Z, and Y |
(=>
(and
(instance ?S Student)
(instance ?A AwardingADegree)
(destination ?A ?S)
(instance ?D
(AssociateDegreeFn ?FIELDOFSTUDY ?JC))
(patient ?A ?D)
(agent ?A ?JC)
(instance ?INTERVAL TimeInterval)
(holdsDuring ?INTERVAL
(attends ?S ?JC)))
(modalAttribute
(equal ?INTERVAL
(MeasureFn 2 YearDuration)) Likely)) |
LinkedInDegrees.kif 269-282 |
If All of the following hold: (1) X is an instance of student (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is an instance of associate's degree W and V (5) Z is a patient of Y (6) V is an agent of Y (7) U is an instance of timeframe (8) V attends X holds during U, then the statement equal U and 2 year duration(s) has the modal force of likely |
(=>
(and
(instance ?S Student)
(instance ?A AwardingADegree)
(destination ?A ?S)
(instance ?D
(BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
(patient ?A ?D)
(agent ?A ?SCHOOL)
(instance ?INTERVAL TimeInterval)
(holdsDuring ?INTERVAL
(attends ?S ?SCHOOL)))
(modalAttribute
(equal ?INTERVAL
(MeasureFn 4 YearDuration)) Likely)) |
LinkedInDegrees.kif 299-312 |
If All of the following hold: (1) X is an instance of student (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is an instance of bachelor's degree W and V (5) Z is a patient of Y (6) V is an agent of Y (7) U is an instance of timeframe (8) V attends X holds during U, then the statement equal U and 4 year duration(s) has the modal force of likely |
(=>
(and
(instance ?S Student)
(instance ?A AwardingADegree)
(destination ?A ?S)
(instance ?D
(MasterDegreeFn ?FIELDOFSTUDY ?SCHOOL))
(patient ?A ?D)
(agent ?A ?GRADSCHOOL)
(holdsDuring ?INTERVAL
(attends ?S ?GRADSCHOOL)))
(modalAttribute
(duration ?INTERVAL
(MeasureFn 2 YearDuration)) Likely)) |
LinkedInDegrees.kif 346-358 |
If All of the following hold: (1) X is an instance of student (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is an instance of master's degree W and V (5) Z is a patient of Y (6) U is an agent of Y (7) U attends X holds during T, then the statement duration of T is 2 year duration(s) has the modal force of likely |
(=>
(and
(instance ?S Student)
(instance ?GRADSCHOOL GraduateSchool)
(subOrganization ?GRADSCHOOL ?SCHOOL)
(attends ?S ?GRADSCHOOL)
(expectedDegree ?S
(MasterDegreeFn ?FIELDOFSTUDY1 ?GRADSCHOOL)))
(exists (?D)
(and
(possesses ?S ?D)
(instance ?D
(BachelorDegreeFn ?FIELDOFSTUDY2 ?SCHOOL))))) |
LinkedInDegrees.kif 363-374 |
If X is an instance of student, Y is an instance of graduate school, Y is a part of the organization Z, Y attends X, and expected degree X, master's degree W, and Y, then there exists V such that X possesses V, V is an instance of bachelor's degree U, and Z |
(=>
(and
(attribute ?S Student)
(instance ?GRADSCHOOL GraduateSchool)
(attends ?S ?GRADSCHOOL)
(expectedDegree ?S
(DoctorateDegreeFn ?FIELDOFSTUDY3 ?GRADSCHOOL2)))
(exists (?BD ?MD)
(and
(possesses ?S ?BD)
(instance ?BD
(BachelorDegreeFn ?FIELDOFSTUDY1 ?SCHOOL))
(modalAttribute
(and
(instance ?MD
(MasterDegreeFn ?FIELDOFSTUDY2 ?GRADSCHOOL1))
(possesses ?S ?MD)) Likely)))) |
LinkedInDegrees.kif 394-409 |
If student is an attribute of X, Y is an instance of graduate school, Y attends X, and expected degree X, doctorate degree Z, and W, then All of the following hold: (1) there exist V (2) U such that X possesses V (3) V is an instance of bachelor's degree T (4) S (5) the statement U is an instance of master's degree R (6) Q (7) X possesses U has the modal force of likely |
(=>
(and
(attribute ?S Student)
(instance ?A AwardingADegree)
(destination ?A ?S)
(patient ?A ?D)
(instance ?D
(DoctorateDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
(agent ?A ?GRADSCHOOL)
(duration ?INTERVAL ?D)
(holdsDuring ?INTERVAL
(attends ?S ?SCHOOL)))
(and
(greaterThan
(MeasureFn 9 YearDuration) ?D)
(greaterThan ?D
(MeasureFn 1 YearDuration)))) |
LinkedInDegrees.kif 414-429 |
If All of the following hold: (1) student is an attribute of X (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is a patient of Y (5) Z is an instance of doctorate degree W and V (6) V is an agent of Y (7) duration of U is Z (8) T attends X holds during U, then 9 year duration(s) is greater than Z and Z is greater than 1 year duration(s) |
(=>
(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 |
