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
-------------------------


(documentation Matriculation ChineseLanguage "这是学生加入一个 EducationalOrganization 的 OrganizationalProcess。") chinese_format.kif 2953-2954
(documentation Matriculation EnglishLanguage "The OrganizationalProcess of joining an EducationalOrganization as a student.") Merge.kif 10773-10774
(documentation Matriculation JapaneseLanguage "学生として EducationalOrganization に参加 する OrganizationalProcess 。") japanese_format.kif 1708-1709
(externalImage Matriculation "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Oxford_Matriculation_2003.jpg") pictureList.kif 4928-4928
(subclass Matriculation JoiningAnOrganization) Merge.kif 10771-10771 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
(termFormat FrenchLanguage Matriculation "inscription") french_format.kif 778-778
(termFormat Hindi Matriculation "praveshikaa-pariikshaa") terms-hindi.txt 310-310
(termFormat ItalianLanguage Matriculation "Iscrizione") terms-it.txt 313-313
(termFormat JapaneseLanguage Matriculation "入学") japanese_format.kif 2462-2462
(termFormat PortugueseLanguage Matriculation "Matricula") portuguese_format.kif 730-730
(termFormat cz Matriculation "matriculation") terms-cz.txt 349-349
(termFormat de Matriculation "Immatrikulation") terms-de.txt 608-608
(termFormat ro Matriculation "înmatriculare") relations-ro.kif 799-799
(termFormat tg Matriculation "Matrikula") terms-tg.txt 314-314

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


(=>
    (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 17618-17630
(=>
    (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 17599-17611
(=>
    (and
        (instance ?MAT Matriculation)
        (agent ?MAT ?ORG))
    (instance ?ORG EducationalOrganization))		 Merge.kif 10776-10780


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 3.0 is open source software produced by Articulate Software and its partners