Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Professor(professor) |  | chair, prof, professor, professorship |
| appearance as argument number 1 |
|
|
| (subAttribute Professor Teacher) | Mid-level-ontology.kif 23262-23262 | Professor is a subattribute of teacher |
| (documentation Professor EnglishLanguage "The Profession of being a teacher at a PostSecondarySchool.") | Mid-level-ontology.kif 23263-23264 | Professor is a subattribute of teacher |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool))) |
Mid-level-ontology.kif 23266-23272 | If professor is an attribute of X and X holds the position of professor in Y, then X is a teacher in Y and Y is an instance of post secondary school |
|