TreeView Knowledge Base Browser

appearance as argument number 1

(documentation expectedDegree EnglishLanguage "This refers to the relation in which a Student is working towards a degree that they have not yet earned. (expectedDegree ?STUDENT (DegreeFn ?F ?S)) will document the case of a Student (?STUDENT) who is working towards a degree in a FieldOfStudy ?F at a PostSecondarySchool ?S. For further information on DegreeFn, see DegreeFn.")	LinkedInDegrees.kif 55-60
(domain expectedDegree 1 Human)	LinkedInDegrees.kif 62-62	The number 1 argument of expected degree is an instance of human
(domainSubclass expectedDegree 2 AcademicDegree)	LinkedInDegrees.kif 63-63	The number 2 argument of expected degree is a subclass of academic degree
(instance expectedDegree BinaryPredicate)	LinkedInDegrees.kif 64-64	expected degree is an instance of binary predicate

appearance as argument number 2

(termFormat EnglishLanguage expectedDegree "expected degree")

LinkedInDegrees.kif 65-65

antecedent

(=> (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
(=> (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

consequent

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

LinkedInDegrees.kif 68-73

If student is an attribute of X, Y is an instance of post secondary school, and Y attends X, then expected degree X, degree Z, and Y

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

KB Term:			Term intersection

English Word: