Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| expectedYearOfGraduation |
| appearance as argument number 1 |
|
| (documentation expectedYearOfGraduation EnglishLanguage "This refers to the expected year of Graduation for a Student who has not yet graduated.") | LinkedInDegrees.kif 440-442 | |
| (domain expectedYearOfGraduation 1 Student) | LinkedInDegrees.kif 444-444 | The number 1 argument of expectedYearOfGraduation is an instance of student |
| (domain expectedYearOfGraduation 2 Year) | LinkedInDegrees.kif 445-445 | The number 2 argument of expectedYearOfGraduation is an instance of year |
| (instance expectedYearOfGraduation BinaryPredicate) | LinkedInDegrees.kif 446-446 | expectedYearOfGraduation is an instance of binary predicate |
| (subrelation expectedYearOfGraduation inScopeOfInterest) | LinkedInDegrees.kif 447-447 | expectedYearOfGraduation is a subrelation of in scope of interest |
| (termFormat expectedYearOfGraduation EnglishLanguage "expected year of graduation") | LinkedInDegrees.kif 448-448 | expectedYearOfGraduation is a subrelation of in scope of interest |
| consequent |
|
|
| (=> (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 |
|