Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| expectedDegree |
| appearance as argument number 1 |
|
| (documentation expectedDegree EnglishLanguage "This refers to the relation in which a Student is working towards a degree that they have not yet earned. (expectedDegree ?STUDENT (DegreeFn ?F ?S)) will document the case of a Student (?STUDENT) who is working towards a degree in a FieldOfStudy ?F at a PostSecondarySchool ?S. For further information on DegreeFn, see DegreeFn.") | LinkedInDegrees.kif 55-60 | |
| (domain expectedDegree 1 Human) | LinkedInDegrees.kif 62-62 | The number 1 argument of expected degree is an instance of human |
| (domainSubclass expectedDegree 2 AcademicDegree) | LinkedInDegrees.kif 63-63 | The number 2 argument of expected degree is a subclass of academic degree |
| (instance expectedDegree BinaryPredicate) | LinkedInDegrees.kif 64-64 | expected degree is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage expectedDegree "expected degree") | LinkedInDegrees.kif 65-65 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (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 |
|