DegreeFn - Sigma Knowledge base Browser

appearance as argument number 1

(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 75-79
(instance DegreeFn BinaryFunction)	LinkedInDegrees.kif 81-81	Degree is an instance of binary function
(domain DegreeFn 1 FieldOfStudy)	LinkedInDegrees.kif 82-82	The number 1 argument of degree is an instance of field of study
(domain DegreeFn 2 PostSecondarySchool)	LinkedInDegrees.kif 83-83	The number 2 argument of degree is an instance of post secondary school
(rangeSubclass DegreeFn AcademicDegree)	LinkedInDegrees.kif 84-84	The values returned by degree are subclasses of academic degree

appearance as argument number 2

(termFormat EnglishLanguage DegreeFn "degree")	LinkedInDegrees.kif 85-85
(subrelation HonoraryDegreeFn DegreeFn)	LinkedInDegrees.kif 110-110	Honorary degree is a subrelation of degree
(subrelation SubstantiveDegreeFn DegreeFn)	LinkedInDegrees.kif 235-235	Substantive degree is a subrelation of degree

antecedent

(=>
    (and
        (instance ?A AwardingADegree)
        (instance ?D
            (DegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D))
    (and
        (instance ?H Human)
        (agent ?A ?SCHOOL)
        (destination ?A ?H)))

If X is an instance of awarding a degree, Y is an instance of degree Z and W, and Y is a patient of X, then V is an instance of human, W is an agent of X, and X ends up at V

consequent

(=>
    (and
        (attribute ?S Student)
        (instance ?SCHOOL PostSecondarySchool)
        (attends ?S ?SCHOOL))
    (expectedDegree ?S
        (DegreeFn ?FIELDOFSTUDY ?SCHOOL)))