Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Matriculation
Matriculation(matriculation)
matriculate

appearance as argument number 1
-------------------------


s__documentation(s__Matriculation,s__ChineseLanguage,'"这是学生加入一个 EducationalOrganizationOrganizationalProcess。"')

chinese_format.kif 2953-2954
s__documentation(s__Matriculation,s__EnglishLanguage,'"The OrganizationalProcess of joining an EducationalOrganization as a student."')

Merge.kif 9965-9966
s__externalImage(s__Matriculation,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Oxford_Matriculation_2003.jpg"')

pictureList.kif 4930-4930
s__instance(s__Matriculation,s__SetOrClass)

s__subclass(s__Matriculation,s__JoiningAnOrganization)

s__instance(s__JoiningAnOrganization,s__SetOrClass)

Merge.kif 9963-9963 Matriculation is a subclass of joining an organization

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__Matriculation,'"被大学录取"')

chinese_format.kif 1100-1100
s__termFormat(s__EnglishLanguage,s__Matriculation,'"matriculation"')

english_format.kif 1422-1422

antecedent
-------------------------


( ! [V__P,V__C,V__E] :
   ((s__instance(V__E,s__Matriculation) &
       s__agent(V__E,V__C)
     &
     s__patient(V__E,V__P)
   &
   s__instance(V__C,s__College))
=>
( ? [V__G, V__S] :
   ((s__instance(V__G,s__Graduation) &
       s__agent(V__G,V__S)
     &
     s__patient(V__G,V__P)
   &
   s__instance(V__S,s__SecondarySchool) &
   s__earlier(s__WhenFn(V__G)
,s__WhenFn(V__E)))))
)
)

Mid-level-ontology.kif 14291-14303
( ! [V__COLLEGE,V__STUDENT,V__ENTER] :
   ((s__instance(V__ENTER,s__Matriculation) &
       s__agent(V__ENTER,V__COLLEGE)
     &
     s__patient(V__ENTER,V__STUDENT)
   &
   s__instance(V__COLLEGE,s__College))
=>
( ? [V__GRAD, V__SCHOOL] :
   ((s__instance(V__GRAD,s__Graduation) &
       s__agent(V__GRAD,V__SCHOOL)
     &
     s__patient(V__GRAD,V__STUDENT)
   &
   s__instance(V__SCHOOL,s__HighSchool) &
   s__earlier(s__WhenFn(V__GRAD)
,s__WhenFn(V__ENTER)))))
)
)

Mid-level-ontology.kif 14272-14284
( ! [V__ORG,V__MAT] :
   (s__instance(V__ORG,s__Agent) =>
     (s__instance(V__MAT,s__Matriculation) &
       s__agent(V__MAT,V__ORG))
   =>
   s__instance(V__ORG,s__EducationalOrganization) )
)

Merge.kif 9968-9972


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners