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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Graduation

Sigma KEE - Graduation
Graduation
ConseguimentoDiplomiAccademici, Graduacao, graduation, paggrawar, pagtatapos, recevoir_un_dipl�me, snaatakataa, 毕业

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


(documentation Graduation ChineseLanguage "这是由一个 EducationalOrganization 毕业的 OrganizationalProcess。") Merge.kif 10595-10596
(documentation Graduation EnglishLanguage "The OrganizationalProcess of graduating from an EducationalOrganization.") Merge.kif 10593-10594
(externalImage Graduation "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ education/ graduate/ graduation.png") pictureList.kif 469-469
(subclass Graduation LeavingAnOrganization) Merge.kif 10592-10592

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


(termFormat ChineseLanguage Graduation "毕业") chinese_format.kif 1099-1099
(termFormat EnglishLanguage Graduation "graduation") english_format.kif 786-786
(termFormat FrenchLanguage Graduation "recevoir un dipl�me") french_format.kif 777-777
(termFormat Hindi Graduation "snaatakataa") terms-hindi.txt 309-309
(termFormat ItalianLanguage Graduation "ConseguimentoDiplomiAccademici") terms-it.txt 310-310
(termFormat PortugueseLanguage Graduation "Graduacao") portuguese_format.kif 729-729
(termFormat cb Graduation "paggrawar") terms-cb.txt 314-314
(termFormat cz Graduation "graduation") terms-cz.txt 348-348
(termFormat tg Graduation "pagtatapos") terms-tg.txt 313-313

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


(=>
    (and
        (instance ?GRAD Graduation)
        (agent ?GRAD ?ORG))
    (instance ?ORG EducationalOrganization))
Merge.kif 10598-10602
(=>
    (and
        (instance ?STUDENT Student)
        (instance ?SCHOOL School)
        (attends ?STUDENT ?SCHOOL)
        (instance ?GRADUATE Graduation)
        (exists (?YEAR ?TIMEINTERVAL1)
            (and
                (instance ?YEAR Year)
                (time ?TIMEINTERVAL1 ?GRADUATE)
                (agent ?GRADUATE ?SCHOOL)
                (patient ?GRADUATE ?STUDENT)
                (during ?TIMEINTERVAL1 ?YEAR))))
    (expectedYearOfGraduation ?STUDENT
        (YearFn ?YEAR)))
LinkedInDegrees.kif 447-460

consequent
-------------------------


(=>
    (and
        (instance ?AWARD AwardingADegree)
        (instance ?PERSON Human)
        (instance ?SCHOOL PostSecondarySchool)
        (patient ?AWARD ?PERSON)
        (agent ?AWARD ?SCHOOL))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?AWARD))
            (attribute ?PERSON Student))
        (holdsDuring
            (EndFn
                (WhenFn ?AWARD))
            (possesses ?PERSON AcademicDegree))
        (equal
            (WhenFn ?AWARD) Graduation)))
LinkedInDegrees.kif 37-53
(=>
    (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 14290-14302
(=>
    (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 14271-14283


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners