++Philosurfical: This class inherits also from the generic teaching class |
++Philosurfical: This class inherits also from the generic teaching class |
WORKING-FOR-ORGANIZATION |
WORKING-ROLE ONLY TEACHING-ROLE |
GROUP-JOINED ONLY EDUCATIONAL-ORGANIZATION |
TEACHING |
Class(TEACHING-AT-INSTITUTION partial WORKING-FOR-ORGANIZATION restriction(WORKING-ROLE allValuesFrom(TEACHING-ROLE)) restriction(GROUP-JOINED allValuesFrom(EDUCATIONAL-ORGANIZATION)) TEACHING)