SubstantiveDegreeFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SubstantiveDegreeFn EnglishLanguage "This is a binary function that represents a Degree that was earned after a certain amount of time at a PostSecondarySchool. This is not to be confused with HonoraryDegreeFn, which is a degree that can be awarded by a PostSecondarySchool to someone who has made considerable advances in a certain FieldOfStudy. A SubstantiveDegreeFn is only awarded to a Student after they fulfill a set of graduation requirements (for example, a certain number of classes and a research thesis).")	LinkedInDegrees.kif 225-232
(instance SubstantiveDegreeFn BinaryFunction)	LinkedInDegrees.kif 234-234	Substantive degree is an instance of binary function
(subrelation SubstantiveDegreeFn DegreeFn)	LinkedInDegrees.kif 235-235	Substantive degree is a subrelation of degree
(domain SubstantiveDegreeFn 1 FieldOfStudy)	LinkedInDegrees.kif 236-236	The number 1 argument of substantive degree is an instance of field of study
(domain SubstantiveDegreeFn 2 PostSecondarySchool)	LinkedInDegrees.kif 237-237	The number 2 argument of substantive degree is an instance of post secondary school
(rangeSubclass SubstantiveDegreeFn AcademicDegree)	LinkedInDegrees.kif 238-238	The values returned by substantive degree are subclasses of academic degree

appearance as argument number 2

(termFormat EnglishLanguage SubstantiveDegreeFn "substantive degree")	LinkedInDegrees.kif 239-239
(subrelation AssociateDegreeFn SubstantiveDegreeFn)	LinkedInDegrees.kif 262-262	Associate's degree is a subrelation of substantive degree
(subrelation BachelorDegreeFn SubstantiveDegreeFn)	LinkedInDegrees.kif 292-292	Bachelor's degree is a subrelation of substantive degree
(subrelation MasterDegreeFn SubstantiveDegreeFn)	LinkedInDegrees.kif 339-339	Master's degree is a subrelation of substantive degree
(subrelation DoctorateDegreeFn SubstantiveDegreeFn)	LinkedInDegrees.kif 387-387	Doctorate degree is a subrelation of substantive degree

antecedent

(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (instance ?D
            (SubstantiveDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL)
        (instance ?INTERVAL TimeInterval))
    (holdsDuring ?INTERVAL
        (attends ?S ?SCHOOL)))

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 substantive degree W and V (5) Z is a patient of Y (6) V is an agent of Y (7) U is an instance of timeframe, then V attends X holds during U