| Professor(professor) | | chair, prof, professor, professorship |
| appearance as argument number 1 |
|
|
| (documentation Professor EnglishLanguage "The Profession of being a teacher at a PostSecondarySchool.") | Mid-level-ontology.kif 21279-21280 | |
| (subAttribute Professor Teacher) | Mid-level-ontology.kif 21278-21278 | Professor is a subattribute of teacher |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Professor "教授") | domainEnglishFormat.kif 47656-47656 | |
| (termFormat ChineseTraditionalLanguage Professor "教授") | domainEnglishFormat.kif 47655-47655 | |
| (termFormat EnglishLanguage Professor "professor") | domainEnglishFormat.kif 47654-47654 |
| antecedent |
|
|
| (=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool))) |
Mid-level-ontology.kif 21282-21288 |
|
|
|
|