AssociateDegreeFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AssociateDegreeFn EnglishLanguage "This is a binary function that refers to an Associate's degree. This is a degree that is earned after 2 years at a JuniorCollege. For (AssociateDegreeFn ?X ?Y), the ?X should represent the FieldOfStudy and ?Y should represent the JuniorCollege. Note: this is not to be confused with HonoraryAssociateDegreeFn (HonoraryAssociateDegreeFn).")	LinkedInDegrees.kif 254-259
(instance AssociateDegreeFn BinaryFunction)	LinkedInDegrees.kif 261-261	Associate's degree is an instance of binary function
(subrelation AssociateDegreeFn SubstantiveDegreeFn)	LinkedInDegrees.kif 262-262	Associate's degree is a subrelation of substantive degree
(domain AssociateDegreeFn 1 FieldOfStudy)	LinkedInDegrees.kif 263-263	The number 1 argument of associate's degree is an instance of field of study
(domain AssociateDegreeFn 2 JuniorCollege)	LinkedInDegrees.kif 264-264	The number 2 argument of associate's degree is an instance of junior college
(rangeSubclass AssociateDegreeFn AcademicDegree)	LinkedInDegrees.kif 265-265	The values returned by associate'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
            (AssociateDegreeFn ?FIELDOFSTUDY ?JC))
        (patient ?A ?D)
        (agent ?A ?JC)
        (instance ?INTERVAL TimeInterval)
        (holdsDuring ?INTERVAL
            (attends ?S ?JC)))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))

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 associate's 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 (8) V attends X holds during U, then the statement equal U and 2 year duration(s) has the modal force of likely