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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AwardingADegree
AwardingADegree

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


(documentation AwardingADegree EnglishLanguage "This refers to the process where some sort of PostSecondarySchool (i.e., a JuniorCollege, College, University, or GraduateSchool) awards an AcademicDegree to a graduating student. The patient of this action is the AcademicDegree or DegreeFn, the agent of the action is the PostSecondarySchool that is awarding the degree, and the destination of the action is the Student (or exceptional human, in the case of an HonoraryDegreeFn), that is receiving the award.") LinkedInDegrees.kif 22-29
(subclass AwardingADegree Declaring) LinkedInDegrees.kif 31-31

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


(termFormat EnglishLanguage AwardingADegree "awarding a degree") LinkedInDegrees.kif 32-32

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


(=>
    (and
        (instance ?A AwardingADegree)
        (patient ?A
            (DegreeFn ?FIELDOFSTUDY ?SCHOOL)))
    (and
        (instance ?H Human)
        (agent ?A ?SCHOOL)
        (destination ?A ?H)))
LinkedInDegrees.kif 86-93
(=>
    (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 ?H Human)
        (instance ?A AwardingADegree)
        (patient ?A
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL))
    (modalAttribute
        (equal
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL)
            (HonoraryDoctorateDegreeFn ?FIELDOFSTUDY ?SCHOOL)) Likely))
LinkedInDegrees.kif 132-140
(=>
    (and
        (instance ?H Human)
        (instance ?A AwardingADegree)
        (patient ?A
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (destination ?A ?H)
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (instance ?INTERVAL TimeInterval)))
    (and
        (not
            (modalAttribute
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)) Necessity))
        (modalAttribute
            (attribute ?H Student) Unlikely)))
LinkedInDegrees.kif 115-129
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (AssociateDegreeFn ?FIELDOFSTUDY ?JC))
        (agent ?A ?JC)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?JC)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))
LinkedInDegrees.kif 263-274
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 4 YearDuration)) Likely))
LinkedInDegrees.kif 291-303
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))
LinkedInDegrees.kif 306-315
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (DoctorateDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
        (agent ?A ?GRADSCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (and
        (greaterThan
            (MeasureFn 9 YearDuration) ?INTERVAL)
        (greaterThan ?INTERVAL
            (MeasureFn 1 YearDuration))))
LinkedInDegrees.kif 390-404
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (HonoraryBachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))
LinkedInDegrees.kif 191-200
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (MasterDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
        (agent ?A ?GRADSCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))
LinkedInDegrees.kif 335-347
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (SubstantiveDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (instance ?INTERVAL TimeInterval)))
    (holdsDuring ?INTERVAL
        (attends ?S ?SCHOOL)))
LinkedInDegrees.kif 236-246


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