Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DoctorateDegreeFn |
| appearance as argument number 1 |
|
| (documentation DoctorateDegreeFn EnglishLanguage "This binary function refers to the terminal degree in a field of study, or a doctorate degree. For (DoctorateDegreeFn ?X ?Y), ?X will represent the FieldOfStudy and ?Y will represent the GraduateSchool from which it came. Note: this only covers doctorate degrees that were directly earned by attending a certain school and meeting the school's graduation requirements. This is not to be confused with %HonoraryDegreeFn, which can be earned by someone who has never attended the university from which they are receiving the degree.") | LinkedInDegrees.kif 376-384 | |
| (instance DoctorateDegreeFn BinaryFunction) | LinkedInDegrees.kif 386-386 | Doctorate degree is an instance of binary function |
| (subrelation DoctorateDegreeFn SubstantiveDegreeFn) | LinkedInDegrees.kif 387-387 | Doctorate degree is a subrelation of substantive degree |
| (domain DoctorateDegreeFn 1 FieldOfStudy) | LinkedInDegrees.kif 388-388 | The number 1 argument of doctorate degree is an instance of field of study |
| (domain DoctorateDegreeFn 2 GraduateSchool) | LinkedInDegrees.kif 389-389 | The number 2 argument of doctorate degree is an instance of graduate school |
| (range DoctorateDegreeFn AcademicDegree) | LinkedInDegrees.kif 390-390 | The range of doctorate degree is an instance of academic degree |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DoctorateDegreeFn "doctorate degree") | LinkedInDegrees.kif 391-391 |
| antecedent |
|
|
| (=> (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) |
|