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

KB Term:  Term intersection
English Word: 

Sigma KEE - HonoraryDegreeFn
HonoraryDegreeFn

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


(documentation HonoraryDegreeFn EnglishLanguage "This is a binary function that represents an honorary degree. An honorary degree is an AcademicDegree for which the GraduateSchool has waived the usual requirements, such as Matriculation, residence, and EducationalCourses. The degree is typically a doctorate or, less commonly, a master's degree, and may be awarded to someone who has no prior connection with the University. Usually the degree is awarded as a way of honoring a person's contributions to a specific field, or to society in general. Note: HonoraryDegreeFn is not the same as DoctorateDegreeFn or MasterDegreeFn, as these in themselves are subrelations of SubstantiveDegreeFn.") LinkedInDegrees.kif 97-107
(instance HonoraryDegreeFn BinaryFunction) LinkedInDegrees.kif 109-109 Honorary degree is an instance of binary function
(subrelation HonoraryDegreeFn DegreeFn) LinkedInDegrees.kif 110-110 Honorary degree is a subrelation of degree
(domain HonoraryDegreeFn 1 FieldOfStudy) LinkedInDegrees.kif 111-111 The number 1 argument of honorary degree is an instance of field of study
(domain HonoraryDegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 112-112 The number 2 argument of honorary degree is an instance of post secondary school
(rangeSubclass HonoraryDegreeFn AcademicDegree) LinkedInDegrees.kif 113-113 The values returned by honorary degree are subclasses of academic degree

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


(termFormat EnglishLanguage HonoraryDegreeFn "honorary degree") LinkedInDegrees.kif 114-114
(subrelation HonoraryDoctorateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 156-156 Honorary doctorate degree is a subrelation of honorary degree
(subrelation HonoraryMasterDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 172-172 Honorary master's degree is a subrelation of honorary degree
(subrelation HonoraryBachelorDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 189-189 Honorary bachelor's degree is a subrelation of honorary degree
(subrelation HonoraryAssociateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 219-219 Honorary associate's degree is a subrelation of honorary degree

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


(=>
    (and
        (instance ?H Human)
        (instance ?A AwardingADegree)
        (instance ?D
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (destination ?A ?H)
        (agent ?A ?SCHOOL)
        (instance ?INTERVAL TimeInterval))
    (and
        (not
            (modalAttribute
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)) Necessity))
        (modalAttribute
            (attribute ?H Student) Unlikely)))		 LinkedInDegrees.kif 117-132 If All of the following hold: (1) X is an instance of human (2) Y is an instance of awarding a degree (3) Z is an instance of honorary degree W and V (4) Z is a patient of Y (5) Y ends up at X (6) V is an agent of Y (7) U is an instance of timeframe, then the statement V attends T doesn't hold during U doesn't have the modal force of necessity and the statement student is an attribute of X has the modal force of unlikely
(=>
    (and
        (instance ?A AwardingADegree)
        (instance ?D
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL))
    (modalAttribute
        (equal
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL)
            (HonoraryDoctorateDegreeFn ?FIELDOFSTUDY ?SCHOOL)) Likely))		 LinkedInDegrees.kif 136-145 If X is an instance of awarding a degree, Y is an instance of honorary degree Z and W, Y is a patient of X, and W is an agent of X, then the statement equal honorary degree Z, W, honorary doctorate degree Z, and W has the modal force of likely

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


(=>
    (and
        (instance ?A AwardingADegree)
        (instance ?D
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL))
    (modalAttribute
        (equal
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL)
            (HonoraryDoctorateDegreeFn ?FIELDOFSTUDY ?SCHOOL)) Likely))		 LinkedInDegrees.kif 136-145 If X is an instance of awarding a degree, Y is an instance of honorary degree Z and W, Y is a patient of X, and W is an agent of X, then the statement equal honorary degree Z, W, honorary doctorate degree Z, and W has the modal force of likely


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners