Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Matriculation(matriculation)
|  | matriculate |
| appearance as argument number 1 |
|
|
| (subclass Matriculation JoiningAnOrganization) | Merge.kif 10955-10955 | Matriculation is a subclass of joining an organization |
| (documentation Matriculation EnglishLanguage "The OrganizationalProcess of joining an EducationalOrganization as a student.") | Merge.kif 10957-10958 | Matriculation is a subclass of joining an organization |
| (externalImage Matriculation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Oxford_Matriculation_2003.jpg") | pictureList.kif 4928-4928 | Matriculation is a subclass of joining an organization |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Matriculation "matriculation") | english_format.kif 1421-1421 |
| antecedent |
|
|
| (=> (and (instance ?MAT Matriculation) (agent ?MAT ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10960-10964 | If X is an instance of matriculation and Y is an agent of X, then Y is an instance of educational organization |
| (=> (and (instance ?ENTER Matriculation) (agent ?ENTER ?COLLEGE) (patient ?ENTER ?STUDENT) (instance ?COLLEGE College)) (exists (?GRAD ?SCHOOL) (and (instance ?GRAD Graduation) (agent ?GRAD ?SCHOOL) (patient ?GRAD ?STUDENT) (instance ?SCHOOL HighSchool) (earlier (WhenFn ?GRAD) (WhenFn ?ENTER))))) |
Mid-level-ontology.kif 18285-18297 | If X is an instance of matriculation, Y is an agent of X, Z is a patient of X, and Y is an instance of college, then there exist W, V such that W is an instance of graduation, V is an agent of W, Z is a patient of W, V is an instance of high school, and the time of existence of W happens earlier than the time of existence of X |
| (=> (and (instance ?E Matriculation) (agent ?E ?C) (patient ?E ?P) (instance ?C College)) (exists (?G ?S) (and (instance ?G Graduation) (agent ?G ?S) (patient ?G ?P) (instance ?S SecondarySchool) (earlier (WhenFn ?G) (WhenFn ?E))))) |
Mid-level-ontology.kif 18304-18316 | If X is an instance of matriculation, Y is an agent of X, Z is a patient of X, and Y is an instance of college, then there exist W, V such that W is an instance of graduation, V is an agent of W, Z is a patient of W, V is an instance of secondary school, and the time of existence of W happens earlier than the time of existence of X |
|