(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 142148 

(domain HonoraryDoctorateDegreeFn 1 FieldOfStudy) 
LinkedInDegrees.kif 152152 

(domain HonoraryDoctorateDegreeFn 2 GraduateSchool) 
LinkedInDegrees.kif 153153 

(instance HonoraryDoctorateDegreeFn BinaryFunction) 
LinkedInDegrees.kif 150150 

(range HonoraryDoctorateDegreeFn AcademicDegree) 
LinkedInDegrees.kif 154154 

(subrelation HonoraryDoctorateDegreeFn HonoraryDegreeFn) 
LinkedInDegrees.kif 151151 
