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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AcademicDegree

Sigma KEE - AcademicDegree
AcademicDegree
شهادة, شهادة عِلْمِيّة, درجة, درجة أكادِيمِيّة, درجة عِلْمِيّة,

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


(documentation AcademicDegree EnglishLanguage "A Certificate that demonstrates that the holder of the Certificate has successfully completed an EducationalProgram.") Mid-level-ontology.kif 13840-13841
(externalImage AcademicDegree "http://upload.wikimedia.org/wikipedia/en/ b/ b7/ SheepskinDiploma.jpg") pictureList.kif 2742-2742
(subclass AcademicDegree Certificate) Mid-level-ontology.kif 13839-13839

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


(range AssociateDegreeFn AcademicDegree) LinkedInDegrees.kif 259-259
(range BachelorDegreeFn AcademicDegree) LinkedInDegrees.kif 287-287
(range DegreeFn AcademicDegree) LinkedInDegrees.kif 83-83
(range DoctorateDegreeFn AcademicDegree) LinkedInDegrees.kif 373-373
(range HonoraryAssociateDegreeFn AcademicDegree) LinkedInDegrees.kif 216-216
(range HonoraryBachelorDegreeFn AcademicDegree) LinkedInDegrees.kif 187-187
(range HonoraryDegreeFn AcademicDegree) LinkedInDegrees.kif 111-111
(range HonoraryDoctorateDegreeFn AcademicDegree) LinkedInDegrees.kif 154-154
(range HonoraryMasterDegreeFn AcademicDegree) LinkedInDegrees.kif 170-170
(range MasterDegreeFn AcademicDegree) LinkedInDegrees.kif 331-331
(range SubstantiveDegreeFn AcademicDegree) LinkedInDegrees.kif 232-232
(termFormat EnglishLanguage AcademicDegree "academic degree") domainEnglishFormat.kif 1300-1300

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


(=>
    (and
        (instance ?DEGREE AcademicDegree)
        (possesses ?AGENT ?DEGREE))
    (exists (?PROGRAM ?STUDY)
        (and
            (instance ?PROGRAM EducationalProgram)
            (realization ?STUDY ?PROGRAM)
            (experiencer ?STUDY ?AGENT))))
Mid-level-ontology.kif 13843-13851

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


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