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



KB Term:  Term intersection
English Word: 

  Entity

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

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