Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  coworker

 Sigma KEE - BachelorDegreeFn
BachelorDegreeFn

appearance as argument number 1
-------------------------


(documentation BachelorDegreeFn EnglishLanguage "A binary function that refers specifically to a Bachelor's degree. (BachelorDegreeFn ?X ?Y) will represent the %AcademicDegree that is awarded to someone who has completed their undergraduate studies. ?X will represent the FieldOfStudy and ?Y will represent the College or University it came from.") LinkedInDegrees.kif 284-289
(instance BachelorDegreeFn BinaryFunction) LinkedInDegrees.kif 291-291 Bachelor's degree is an instance of binary function
(subrelation BachelorDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 292-292 Bachelor's degree is a subrelation of substantive degree
(domain BachelorDegreeFn 1 FieldOfStudy) LinkedInDegrees.kif 293-293 The number 1 argument of bachelor's degree is an instance of field of study
(domain BachelorDegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 294-294 The number 2 argument of bachelor's degree is an instance of post secondary school
(rangeSubclass BachelorDegreeFn AcademicDegree) LinkedInDegrees.kif 295-295 The values returned by bachelor's degree are subclasses of academic degree

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage BachelorDegreeFn "bachelor's degree") LinkedInDegrees.kif 296-296

antecedent
-------------------------


(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (instance ?D
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL)
        (instance ?INTERVAL TimeInterval)
        (holdsDuring ?INTERVAL
            (attends ?S ?SCHOOL)))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 4 YearDuration)) Likely))		 LinkedInDegrees.kif 299-312 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 bachelor'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 4 year duration(s) has the modal force of likely
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (instance ?D
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (agent ?A ?SCHOOL))
    (or
        (equal ?SCHOOL College)
        (equal ?SCHOOL University)))		 LinkedInDegrees.kif 316-326 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 bachelor's degree W and V (5) Z is a patient of Y (6) V is an agent of Y, then equal V and college or equal V and university

consequent
-------------------------


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


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners