(=>
(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 |
(=>
(and
(instance ?A AwardingADegree)
(instance ?D
(DegreeFn ?FIELDOFSTUDY ?SCHOOL))
(patient ?A ?D))
(and
(instance ?H Human)
(agent ?A ?SCHOOL)
(destination ?A ?H))) |
LinkedInDegrees.kif 87-95 |
If X is an instance of awarding a degree, Y is an instance of degree Z and W, and Y is a patient of X, then V is an instance of human, W is an agent of X, and X ends up at V |
(=>
(and
(instance ?H Human)
(instance ?A AwardingADegree)
(instance ?D
(HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
(patient ?A ?D)
(destination ?A ?H)
(agent ?A ?SCHOOL)
(instance ?INTERVAL TimeInterval))
(and
(not
(modalAttribute
(holdsDuring ?INTERVAL
(attends ?S ?SCHOOL)) Necessity))
(modalAttribute
(attribute ?H Student) Unlikely))) |
LinkedInDegrees.kif 117-132 |
If All of the following hold: (1) X is an instance of human (2) Y is an instance of awarding a degree (3) Z is an instance of honorary degree W and V (4) Z is a patient of Y (5) Y ends up at X (6) V is an agent of Y (7) U is an instance of timeframe, then the statement V attends T doesn't hold during U doesn't have the modal force of necessity and the statement student is an attribute of X has the modal force of unlikely |
(=>
(and
(instance ?A AwardingADegree)
(instance ?D
(HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
(patient ?A ?D)
(agent ?A ?SCHOOL))
(modalAttribute
(equal
(HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL)
(HonoraryDoctorateDegreeFn ?FIELDOFSTUDY ?SCHOOL)) Likely)) |
LinkedInDegrees.kif 136-145 |
If X is an instance of awarding a degree, Y is an instance of honorary degree Z and W, Y is a patient of X, and W is an agent of X, then the statement equal honorary degree Z, W, honorary doctorate degree Z, and W has the modal force of likely |
(=>
(and
(instance ?S Student)
(instance ?A AwardingADegree)
(destination ?A ?S)
(instance ?D
(HonoraryBachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
(patient ?A ?D)
(agent ?A ?SCHOOL))
(or
(equal ?SCHOOL College)
(equal ?SCHOOL University))) |
LinkedInDegrees.kif 196-206 |
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 honorary bachelor's degree W and V (5) Z is a patient of Y (6) V is an agent of Y, then equal V and college or equal V and university |
(=>
(and
(instance ?S Student)
(instance ?A AwardingADegree)
(destination ?A ?S)
(instance ?D
(SubstantiveDegreeFn ?FIELDOFSTUDY ?SCHOOL))
(patient ?A ?D)
(agent ?A ?SCHOOL)
(instance ?INTERVAL TimeInterval))
(holdsDuring ?INTERVAL
(attends ?S ?SCHOOL))) |
LinkedInDegrees.kif 242-252 |
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 substantive 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, then V attends X holds during U |
(=>
(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
(BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
(patient ?A ?D)
(agent ?A ?SCHOOL))
(or
(equal ?SCHOOL College)
(equal ?SCHOOL University))) |
LinkedInDegrees.kif 316-326 |
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, then equal V and college or equal V and university |
(=>
(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
(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) |
