Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DegreeFn

Sigma KEE - DegreeFn
DegreeFn

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


(documentation DegreeFn EnglishLanguage "A binary function that, when given a FieldOfStudy and a PostSecondarySchool, will return an instance of an AcademicDegree. For (DegreeFn ?X ?Y), ?X will represent the FieldOfStudy and ?Y will represent the PostSecondarySchool from which the degree was earned.") LinkedInDegrees.kif 74-78
(domain DegreeFn 1 FieldOfStudy) LinkedInDegrees.kif 81-81
(domain DegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 82-82
(instance DegreeFn BinaryFunction) LinkedInDegrees.kif 80-80
(range DegreeFn AcademicDegree) LinkedInDegrees.kif 83-83

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


(format EnglishLanguage DegreeFn "a degree from %2 in %1") domainEnglishFormat.kif 815-815
(subrelation HonoraryDegreeFn DegreeFn) LinkedInDegrees.kif 108-108
(subrelation SubstantiveDegreeFn DegreeFn) LinkedInDegrees.kif 229-229
(termFormat EnglishLanguage DegreeFn "degree") LinkedInDegrees.kif 84-84

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


(=>
    (and
        (instance ?A AwardingADegree)
        (patient ?A
            (DegreeFn ?FIELDOFSTUDY ?SCHOOL)))
    (and
        (instance ?H Human)
        (agent ?A ?SCHOOL)
        (destination ?A ?H)))
LinkedInDegrees.kif 86-93

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


(=>
    (and
        (instance ?S Student)
        (instance ?SCHOOL PostSecondarySchool)
        (attends ?S ?SCHOOL))
    (expectedDegree ?S
        (DegreeFn ?FIELDOFSTUDY ?SCHOOL)))
LinkedInDegrees.kif 67-72


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners