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


KB Term:  Term intersection
English Word: 

Sigma KEE - HonoraryMasterDegreeFn
HonoraryMasterDegreeFn

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


(documentation HonoraryMasterDegreeFn EnglishLanguage "This is a binary function that represents an HonoraryDegreeFn that is awarded as a master's degree. Within (HonoraryMasterDegreeFn ?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 MasterDegreeFn, as this is a subrelation of SubstantiveDegreeFn. To see what an honorary degree entails, see HonoraryDegreeFn.") LinkedInDegrees.kif 163-169
(instance HonoraryMasterDegreeFn BinaryFunction) LinkedInDegrees.kif 171-171 Honorary master's degree is an instance of binary function
(subrelation HonoraryMasterDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 172-172 Honorary master's degree is a subrelation of honorary degree
(domain HonoraryMasterDegreeFn 1 FieldOfStudy) LinkedInDegrees.kif 173-173 The number 1 argument of honorary master's degree is an instance of field of study
(domain HonoraryMasterDegreeFn 2 GraduateSchool) LinkedInDegrees.kif 174-174 The number 2 argument of honorary master's degree is an instance of graduate school
(rangeSubclass HonoraryMasterDegreeFn AcademicDegree) LinkedInDegrees.kif 175-175 The values returned by honorary master's degree are subclasses of academic degree

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


(termFormat EnglishLanguage HonoraryMasterDegreeFn "honorary master's degree") LinkedInDegrees.kif 176-176


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



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