(documentation DegreeFn EnglishLanguage "A binary function that, when given a FieldOfStudy and a PostSecondarySchool, will return an instance of an AcademicDegree. For (DegreeFn ?X ?Y), ?X will represent the FieldOfStudy and ?Y will represent the PostSecondarySchool from which the degree was earned.") 
LinkedInDegrees.kif 7478 

(domain DegreeFn 1 FieldOfStudy) 
LinkedInDegrees.kif 8181 

(domain DegreeFn 2 PostSecondarySchool) 
LinkedInDegrees.kif 8282 

(instance DegreeFn BinaryFunction) 
LinkedInDegrees.kif 8080 

(range DegreeFn AcademicDegree) 
LinkedInDegrees.kif 8383 
