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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


        (instance ?H Human)
        (instance ?A AwardingADegree)
        (patient ?A
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL))
            (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