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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContinentalClimateZone

Sigma KEE - HonoraryDegreeFn
HonoraryDegreeFn

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


(documentation HonoraryDegreeFn EnglishLanguage "This is a binary function that represents an honorary degree. An honorary degree is an AcademicDegree for which the GraduateSchool has waived the usual requirements, such as Matriculation, residence, and EducationalCourses. The degree is typically a doctorate or, less commonly, a master's degree, and may be awarded to someone who has no prior connection with the University. Usually the degree is awarded as a way of honoring a person's contributions to a specific field, or to society in general. Note: HonoraryDegreeFn is not the same as DoctorateDegreeFn or MasterDegreeFn, as these in themselves are subrelations of SubstantiveDegreeFn.") LinkedInDegrees.kif 95-105
(domain HonoraryDegreeFn 1 FieldOfStudy) LinkedInDegrees.kif 109-109
(domain HonoraryDegreeFn 2 PostSecondarySchool) LinkedInDegrees.kif 110-110
(instance HonoraryDegreeFn BinaryFunction) LinkedInDegrees.kif 107-107
(range HonoraryDegreeFn AcademicDegree) LinkedInDegrees.kif 111-111
(subrelation HonoraryDegreeFn DegreeFn) LinkedInDegrees.kif 108-108

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


(format EnglishLanguage HonoraryDegreeFn "the honorary degree in %1 from %2") domainEnglishFormat.kif 923-923
(subrelation HonoraryAssociateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 213-213
(subrelation HonoraryBachelorDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 184-184
(subrelation HonoraryDoctorateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 151-151
(subrelation HonoraryMasterDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 167-167
(termFormat EnglishLanguage HonoraryDegreeFn "honorary degree") LinkedInDegrees.kif 112-112

antecedent
-------------------------


(=>
    (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
(=>
    (and
        (instance ?H Human)
        (instance ?A AwardingADegree)
        (patient ?A
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (destination ?A ?H)
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (instance ?INTERVAL TimeInterval)))
    (and
        (not
            (modalAttribute
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)) Necessity))
        (modalAttribute
            (attribute ?H Student) Unlikely)))
LinkedInDegrees.kif 115-129

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