Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| attends |
| appearance as argument number 1 |
|
| (subrelation attends experiencer) | Merge.kif 13381-13381 | attends is a subrelation of experiencer |
| (instance attends CaseRole) | Merge.kif 13382-13382 | attends is an instance of case role |
| (instance attends PartialValuedRelation) | Merge.kif 13383-13383 | attends is an instance of partial valued relation |
| (domain attends 1 Demonstrating) | Merge.kif 13384-13384 | The number 1 argument of attends is an instance of demonstrating |
| (domain attends 2 Human) | Merge.kif 13385-13385 | The number 2 argument of attends is an instance of human |
| (documentation attends EnglishLanguage "(attends ?DEMO ?PERSON) means that ?PERSON attends, i.e. is a member of the audience, of the performance event ?DEMO.") | Merge.kif 13386-13387 | The number 2 argument of attends is an instance of human |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?DEMO Demonstrating) (exists (?PERSON) (attends ?DEMO ?PERSON))) |
Merge.kif 13376-13379 | If X is an instance of demonstrating, then there exists Y such that Y attends X |
| (=> (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 ?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 |
|