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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HonoraryDoctorateDegreeFn

Sigma KEE - HonoraryDoctorateDegreeFn
HonoraryDoctorateDegreeFn

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


(documentation HonoraryDoctorateDegreeFn EnglishLanguage "This is a binary function that represents an HonoraryDegreeFn that is awarded as a doctorate. Within (HonoraryDoctorateDegreeFn ?X ?Y), ?X will represent the FieldOfStudy and ?Y will represent the GraduateSchool that awarded the degree. Note: this is not to be confused with DoctorateDegreeFn, as this is a subrelation of SubstantiveDegreeFn. To see what an honorary degree entails, see HonoraryDegreeFn.") LinkedInDegrees.kif 142-148
(domain HonoraryDoctorateDegreeFn 1 FieldOfStudy) LinkedInDegrees.kif 152-152
(domain HonoraryDoctorateDegreeFn 2 GraduateSchool) LinkedInDegrees.kif 153-153
(instance HonoraryDoctorateDegreeFn BinaryFunction) LinkedInDegrees.kif 150-150
(range HonoraryDoctorateDegreeFn AcademicDegree) LinkedInDegrees.kif 154-154
(subrelation HonoraryDoctorateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 151-151

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


(format EnglishLanguage HonoraryDoctorateDegreeFn "the honorary doctoral degree in %1 from %2") domainEnglishFormat.kif 924-924
(termFormat EnglishLanguage HonoraryDoctorateDegreeFn "honorary doctorate degree") LinkedInDegrees.kif 155-155

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


(=>
    (and
        (instance ?H Human)
        (instance ?A AwardingADegree)
        (patient ?A
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL))
    (modalAttribute
        (equal
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL)
            (HonoraryDoctorateDegreeFn ?FIELDOFSTUDY ?SCHOOL)) Likely))
LinkedInDegrees.kif 132-140


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