Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ProPublica
|
|
|
| appearance as argument number 1 |
|
|
| (instance Student SocialRole) | Mid-level-ontology.kif 24875-24875 | Student is an instance of social role |
| (documentation Student EnglishLanguage "A person who participates in an EducationalProcess in order to learn something.") | Mid-level-ontology.kif 24876-24877 | Student is an instance of social role |
| (externalImage Student "http://articulatesoftware.com/SUMOpictures/education/ kids/ students/ student.png") | pictureList.kif 757-757 | Student is an instance of social role |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain expectedYearOfGraduation 1 Student) | LinkedInDegrees.kif 444-444 | The number 1 argument of expectedYearOfGraduation is an instance of student |
| antecedent |
|
|
| (=> (attribute ?X Student) (exists (?EV) (and (instance ?EV EducationalProcess) (patient ?EV ?X)))) |
Mid-level-ontology.kif 24878-24883 | If student is an attribute of X, then there exists Y such that Y is an instance of educational process and X is a patient of Y |
| (=> (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 (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 (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 |
|
|
|
