Professor
|
|
appearance as argument number 1 |
(documentation Professor EnglishLanguage "The Profession of being a teacher at a PostSecondarySchool.") | Mid-level-ontology.kif 21048-21049 | |
(subAttribute Professor Teacher) | Mid-level-ontology.kif 21047-21047 | Professor est un sous-attribut de Teacher |
appearance as argument number 2 |
(termFormat ChineseLanguage Professor "教授") | domainEnglishFormat.kif 47620-47620 | |
(termFormat ChineseTraditionalLanguage Professor "教授") | domainEnglishFormat.kif 47619-47619 | |
(termFormat EnglishLanguage Professor "professor") | domainEnglishFormat.kif 47618-47618 |
antecedent |
(=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool))) |
Mid-level-ontology.kif 21051-21057 |