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


KB Term:  Term intersection
English Word: 

Sigma KEE - HonoraryAssociateDegreeFn
HonoraryAssociateDegreeFn

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


(documentation HonoraryAssociateDegreeFn EnglishLanguage "This is a binary function that represents an HonoraryDegreeFn that is awarded as an associate's degree. Within (HonoraryAssociateDegreeFn ?X ?Y), ?X will represent the FieldOfStudy and ?Y will represent the JuniorCollege that awarded the degree. Note: this is not to be confused with AssociateDegreeFn, as this is a subrelation of SubstantiveDegreeFn. This is also rare, as most HonoraryDegreeFns are HonoraryDoctorateDegreeFns and HonoraryMasterDegreeFns. To see what an honorary degree entails, see HonoraryDegreeFn.") LinkedInDegrees.kif 208-216
(instance HonoraryAssociateDegreeFn BinaryFunction) LinkedInDegrees.kif 218-218 Honorary associate's degree is an instance of binary function
(subrelation HonoraryAssociateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 219-219 Honorary associate's degree is a subrelation of honorary degree
(domain HonoraryAssociateDegreeFn 1 FieldOfStudy) LinkedInDegrees.kif 220-220 The number 1 argument of honorary associate's degree is an instance of field of study
(domain HonoraryAssociateDegreeFn 2 JuniorCollege) LinkedInDegrees.kif 221-221 The number 2 argument of honorary associate's degree is an instance of junior college
(rangeSubclass HonoraryAssociateDegreeFn AcademicDegree) LinkedInDegrees.kif 222-222 The values returned by honorary associate's degree are subclasses of academic degree

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


(termFormat EnglishLanguage HonoraryAssociateDegreeFn "honorary associate's degree") LinkedInDegrees.kif 223-223


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