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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Matriculation

appearance as argument number 1

(documentation Matriculation ChineseLanguage "这是学生加入一个 EducationalOrganizationOrganizationalProcess。") chinese_format.kif 2953-2954
(documentation Matriculation EnglishLanguage "The OrganizationalProcess of joining an EducationalOrganization as a student.") Merge.kif 10598-10599
(externalImage Matriculation " 1/ 1f/ Oxford_Matriculation_2003.jpg") pictureList.kif 4930-4930
(subclass Matriculation JoiningAnOrganization) Merge.kif 10596-10596 Matriculation is a subclass of joining an organization

appearance as argument number 2

(termFormat ChineseLanguage Matriculation "被大学录取") chinese_format.kif 1100-1100
(termFormat EnglishLanguage Matriculation "matriculation") english_format.kif 1417-1417


        (instance ?E Matriculation)
        (agent ?E ?C)
        (patient ?E ?P)
        (instance ?C College))
    (exists (?G ?S)
            (instance ?G Graduation)
            (agent ?G ?S)
            (patient ?G ?P)
            (instance ?S SecondarySchool)
                (WhenFn ?G)
                (WhenFn ?E)))))
Mid-level-ontology.kif 16110-16122
        (instance ?ENTER Matriculation)
        (agent ?ENTER ?COLLEGE)
        (patient ?ENTER ?STUDENT)
        (instance ?COLLEGE College))
    (exists (?GRAD ?SCHOOL)
            (instance ?GRAD Graduation)
            (agent ?GRAD ?SCHOOL)
            (patient ?GRAD ?STUDENT)
            (instance ?SCHOOL HighSchool)
                (WhenFn ?GRAD)
                (WhenFn ?ENTER)))))
Mid-level-ontology.kif 16091-16103
        (instance ?MAT Matriculation)
        (agent ?MAT ?ORG))
    (instance ?ORG EducationalOrganization))
Merge.kif 10601-10605

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners