Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AcademicDegree
AcademicDegree(academic degree)
academic_degree, degree

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


(subclass AcademicDegree Certificate) Mid-level-ontology.kif 18124-18124 Academic degree is a subclass of certificate
(documentation AcademicDegree EnglishLanguage "A Certificate that demonstrates that the holder of the Certificate has successfully completed an EducationalProgram.") Mid-level-ontology.kif 18125-18126 Academic degree is a subclass of certificate
(externalImage AcademicDegree "http://upload.wikimedia.org/wikipedia/en/ b/ b7/ SheepskinDiploma.jpg") pictureList.kif 2740-2740 Academic degree is a subclass of certificate

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


(rangeSubclass DegreeFn AcademicDegree) LinkedInDegrees.kif 84-84 The values returned by degree are subclasses of academic degree
(rangeSubclass HonoraryDegreeFn AcademicDegree) LinkedInDegrees.kif 113-113 The values returned by honorary degree are subclasses of academic degree
(rangeSubclass HonoraryDoctorateDegreeFn AcademicDegree) LinkedInDegrees.kif 159-159 The values returned by honorary doctorate degree are subclasses of academic degree
(rangeSubclass HonoraryMasterDegreeFn AcademicDegree) LinkedInDegrees.kif 175-175 The values returned by honorary master's degree are subclasses of academic degree
(rangeSubclass HonoraryBachelorDegreeFn AcademicDegree) LinkedInDegrees.kif 192-192 The values returned by honorary bachelor's degree are subclasses of academic degree
(rangeSubclass HonoraryAssociateDegreeFn AcademicDegree) LinkedInDegrees.kif 222-222 The values returned by honorary associate's degree are subclasses of academic degree
(rangeSubclass SubstantiveDegreeFn AcademicDegree) LinkedInDegrees.kif 238-238 The values returned by substantive degree are subclasses of academic degree
(rangeSubclass AssociateDegreeFn AcademicDegree) LinkedInDegrees.kif 265-265 The values returned by associate's degree are subclasses of academic degree
(rangeSubclass BachelorDegreeFn AcademicDegree) LinkedInDegrees.kif 295-295 The values returned by bachelor's degree are subclasses of academic degree
(rangeSubclass MasterDegreeFn AcademicDegree) LinkedInDegrees.kif 342-342 The values returned by master's degree are subclasses of academic degree
(range DoctorateDegreeFn AcademicDegree) LinkedInDegrees.kif 390-390 The range of doctorate degree is an instance of academic degree
(termFormat EnglishLanguage AcademicDegree "academic degree") domainEnglishFormat.kif 5203-5203 The range of doctorate degree is an instance of academic degree
(termFormat ChineseTraditionalLanguage AcademicDegree "學位") domainEnglishFormat.kif 5204-5204 The range of doctorate degree is an instance of academic degree
(termFormat ChineseLanguage AcademicDegree "学位") domainEnglishFormat.kif 5205-5205 The range of doctorate degree is an instance of academic degree

appearance as argument number 3
-------------------------


(domainSubclass expectedDegree 2 AcademicDegree) LinkedInDegrees.kif 63-63 The number 2 argument of expected degree is a subclass of academic degree

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 18128-18136 If X is an instance of academic degree and Y possesses X, then there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W

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 If X is an instance of awarding a degree, Y is an instance of human, Z is an instance of post secondary school, Y is a patient of X, and Z is an agent of X, then student is an attribute of Y holds during the beginning of the time of existence of X, Y possesses academic degree holds during the end of the time of existence of X, and equal the time of existence of X and graduation


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners