AcademicDegree(academic degree) | academic_degree, degree |
appearance as argument number 1 |
(documentation AcademicDegree EnglishLanguage "A Certificate that demonstrates that the holder of the Certificate has successfully completed an EducationalProgram.") | Mid-level-ontology.kif 16538-16539 | |
(externalImage AcademicDegree "http://upload.wikimedia.org/wikipedia/en/ b/ b7/ SheepskinDiploma.jpg") | pictureList.kif 2741-2741 | |
(subclass AcademicDegree Certificate) | Mid-level-ontology.kif 16537-16537 | Academic degree is a subclass of certificate |
appearance as argument number 2 |
(termFormat ChineseLanguage AcademicDegree "学位") | domainEnglishFormat.kif 5196-5196 | |
(termFormat ChineseTraditionalLanguage AcademicDegree "學位") | domainEnglishFormat.kif 5195-5195 | |
(termFormat EnglishLanguage AcademicDegree "academic degree") | domainEnglishFormat.kif 5194-5194 |
antecedent |
(=> (and (instance ?DEGREE AcademicDegree) (possesses ?AGENT ?DEGREE)) (exists (?PROGRAM ?STUDY) (and (instance ?PROGRAM EducationalProgram) (realization ?STUDY ?PROGRAM) (experiencer ?STUDY ?AGENT)))) |
Mid-level-ontology.kif 16541-16549 |
|