TreeView Knowledge Base Browser - HonoraryBachelorDegreeFn

appearance as argument number 1

(documentation HonoraryBachelorDegreeFn EnglishLanguage "This is a binary function that represents an HonoraryDegreeFn that is awarded as a bachelor's degree. Within (HonoraryBachelorDegreeFn ?X ?Y), ?X will represent the FieldOfStudy and ?Y will represent the College or University that awarded the degree. Note: this is not to be confused with BachelorDegreeFn, as this is a subrelation of SubstantiveDegreeFn. This is also rare, as most HonoraryDegreeFns are HonoraryDoctorateDegreeFns and HonoraryMasterDegreeFns. To see what an honorary degree entails, see HonoraryDegreeFn.")	LinkedInDegrees.kif 178-186
(instance HonoraryBachelorDegreeFn BinaryFunction)	LinkedInDegrees.kif 188-188	Honorary bachelor's degree is an instance of binary function
(subrelation HonoraryBachelorDegreeFn HonoraryDegreeFn)	LinkedInDegrees.kif 189-189	Honorary bachelor's degree is a subrelation of honorary degree
(domain HonoraryBachelorDegreeFn 1 FieldOfStudy)	LinkedInDegrees.kif 190-190	The number 1 argument of honorary bachelor's degree is an instance of field of study
(domain HonoraryBachelorDegreeFn 2 PostSecondarySchool)	LinkedInDegrees.kif 191-191	The number 2 argument of honorary bachelor's degree is an instance of post secondary school
(rangeSubclass HonoraryBachelorDegreeFn AcademicDegree)	LinkedInDegrees.kif 192-192	The values returned by honorary bachelor's degree are subclasses of academic degree

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (instance ?D
            (HonoraryBachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))

If All of the following hold: (1) X is an instance of student (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is an instance of honorary bachelor's degree W and V (5) Z is a patient of Y (6) V is an agent of Y, then equal V and college or equal V and university