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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Graduation

Sigma KEE - Graduation
Graduation(recevoir un dipl�me)

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


(documentation Graduation ChineseLanguage "这是由一个 EducationalOrganization 毕业的 OrganizationalProcess。") chinese_format.kif 2951-2952
(documentation Graduation EnglishLanguage "The OrganizationalProcess of graduating from an EducationalOrganization.") Merge.kif 10699-10700
(documentation Graduation JapaneseLanguage "EducationalOrganization を卒業する OrganizationalProcess 。") japanese_format.kif 1706-1707
(externalImage Graduation "http://articulatesoftware.com/SUMOpictures/education/ graduate/ graduation.png") pictureList.kif 469-469
(subclass Graduation LeavingAnOrganization) Merge.kif 10697-10697 Recevoir un dipl�me est une sous-classe de quitter une organization

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


(termFormat ChineseLanguage Graduation "毕业") chinese_format.kif 1099-1099
(termFormat EnglishLanguage Graduation "graduation") english_format.kif 1415-1415
(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 312-312
(termFormat JapaneseLanguage Graduation "卒業") japanese_format.kif 2461-2461
(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 ro Graduation "absolvire a unei ºcoli") relations-ro.kif 798-798
(termFormat tg Graduation "pagtatapos") terms-tg.txt 313-313

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


(=>
    (and
        (instance ?GRAD Graduation)
        (agent ?GRAD ?ORG))
    (instance ?ORG EducationalOrganization))
Merge.kif 10702-10706

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


(=>
    (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 16690-16702
(=>
    (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 16671-16683


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