TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MasterDegreeFn EnglishLanguage "This binary function refers specifically to a Master's degree. For (MasterDegreeFn ?X ?Y), ?X will represent the FieldOfStudy and ?Y will represent the GraduateSchool from which it came. Note: this only covers master's degrees that were directly earned by attending a certain school and meeting the school's graduation requirements. This is not to be confused with %HonoraryMasterDegreeFn, which can be earned by someone who has never attended the university from which they are receiving the degree.")	LinkedInDegrees.kif 328-336
(instance MasterDegreeFn BinaryFunction)	LinkedInDegrees.kif 338-338	Master's degree is an instance of binary function
(subrelation MasterDegreeFn SubstantiveDegreeFn)	LinkedInDegrees.kif 339-339	Master's degree is a subrelation of substantive degree
(domain MasterDegreeFn 1 FieldOfStudy)	LinkedInDegrees.kif 340-340	The number 1 argument of master's degree is an instance of field of study
(domain MasterDegreeFn 2 GraduateSchool)	LinkedInDegrees.kif 341-341	The number 2 argument of master's degree is an instance of graduate school
(rangeSubclass MasterDegreeFn AcademicDegree)	LinkedInDegrees.kif 342-342	The values returned by master's degree are subclasses of academic degree

appearance as argument number 2

(termFormat EnglishLanguage MasterDegreeFn "master's degree")

LinkedInDegrees.kif 343-343

antecedent

(=> (and (instance ?S Student) (instance ?A AwardingADegree) (destination ?A ?S) (instance ?D (MasterDegreeFn ?FIELDOFSTUDY ?SCHOOL)) (patient ?A ?D) (agent ?A ?GRADSCHOOL) (holdsDuring ?INTERVAL (attends ?S ?GRADSCHOOL))) (modalAttribute (duration ?INTERVAL (MeasureFn 2 YearDuration)) Likely))	LinkedInDegrees.kif 346-358	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 master's degree W and V (5) Z is a patient of Y (6) U is an agent of Y (7) U attends X holds during T, then the statement duration of T is 2 year duration(s) has the modal force of likely
(=> (and (instance ?S Student) (instance ?GRADSCHOOL GraduateSchool) (subOrganization ?GRADSCHOOL ?SCHOOL) (attends ?S ?GRADSCHOOL) (expectedDegree ?S (MasterDegreeFn ?FIELDOFSTUDY1 ?GRADSCHOOL))) (exists (?D) (and (possesses ?S ?D) (instance ?D (BachelorDegreeFn ?FIELDOFSTUDY2 ?SCHOOL)))))	LinkedInDegrees.kif 363-374	If X is an instance of student, Y is an instance of graduate school, Y is a part of the organization Z, Y attends X, and expected degree X, master's degree W, and Y, then there exists V such that X possesses V, V is an instance of bachelor's degree U, and Z

consequent

(=>
    (and
        (attribute ?S Student)
        (instance ?GRADSCHOOL GraduateSchool)
        (attends ?S ?GRADSCHOOL)
        (expectedDegree ?S
            (DoctorateDegreeFn ?FIELDOFSTUDY3 ?GRADSCHOOL2)))
    (exists (?BD ?MD)
        (and
            (possesses ?S ?BD)
            (instance ?BD
                (BachelorDegreeFn ?FIELDOFSTUDY1 ?SCHOOL))
            (modalAttribute
                (and
                    (instance ?MD
                        (MasterDegreeFn ?FIELDOFSTUDY2 ?GRADSCHOOL1))
                    (possesses ?S ?MD)) Likely))))

LinkedInDegrees.kif 394-409

If student is an attribute of X, Y is an instance of graduate school, Y attends X, and expected degree X, doctorate degree Z, and W, then All of the following hold: (1) there exist V (2) U such that X possesses V (3) V is an instance of bachelor's degree T (4) S (5) the statement U is an instance of master's degree R (6) Q (7) X possesses U has the modal force of likely

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: