TreeView Knowledge Base Browser - HonoraryDoctorateDegreeFn

appearance as argument number 1

(documentation HonoraryDoctorateDegreeFn EnglishLanguage "This is a binary function that represents an HonoraryDegreeFn that is awarded as a doctorate. Within (HonoraryDoctorateDegreeFn ?X ?Y), ?X will represent the FieldOfStudy and ?Y will represent the GraduateSchool that awarded the degree. Note: this is not to be confused with DoctorateDegreeFn, as this is a subrelation of SubstantiveDegreeFn. To see what an honorary degree entails, see HonoraryDegreeFn.")	LinkedInDegrees.kif 147-153
(instance HonoraryDoctorateDegreeFn BinaryFunction)	LinkedInDegrees.kif 155-155	Honorary doctorate degree is an instance of binary function
(subrelation HonoraryDoctorateDegreeFn HonoraryDegreeFn)	LinkedInDegrees.kif 156-156	Honorary doctorate degree is a subrelation of honorary degree
(domain HonoraryDoctorateDegreeFn 1 FieldOfStudy)	LinkedInDegrees.kif 157-157	The number 1 argument of honorary doctorate degree is an instance of field of study
(domain HonoraryDoctorateDegreeFn 2 GraduateSchool)	LinkedInDegrees.kif 158-158	The number 2 argument of honorary doctorate degree is an instance of graduate school
(rangeSubclass HonoraryDoctorateDegreeFn AcademicDegree)	LinkedInDegrees.kif 159-159	The values returned by honorary doctorate degree are subclasses of academic degree

appearance as argument number 2

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))