AcademicDegree |
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 16729-16730 | |
(externalImage AcademicDegree "http://upload.wikimedia.org/wikipedia/en/ b/ b7/ SheepskinDiploma.jpg") | pictureList.kif 2740-2740 | |
(subclass AcademicDegree Certificate) | Mid-level-ontology.kif 16728-16728 |
appearance as argument number 2 |
(termFormat ChineseLanguage AcademicDegree "学位") | domainEnglishFormat.kif 5201-5201 | |
(termFormat ChineseTraditionalLanguage AcademicDegree "學位") | domainEnglishFormat.kif 5200-5200 | |
(termFormat EnglishLanguage AcademicDegree "academic degree") | domainEnglishFormat.kif 5199-5199 |
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 16732-16740 |