++Philosurfical: |
•owl:Thing |
•PHILOSURFICAL-ENTITY |
•CRM-ENTITY |
•TEMPORAL-ENTITY |
•PERIOD |
•EVENT |
•ACTIVITY |
•INTELLECTUAL-ACTIVITY |
•IDEA-USAGE |
•THEORY-TRANSPOSITION |
IDEA-USAGE |
NEW-CONTEXT ONLY PROBLEM-AREA |
OLD-CONTEXT ONLY PROBLEM-AREA |
IDEA-USED ONLY THEORY |
Class(THEORY-TRANSPOSITION partial IDEA-USAGE restriction(NEW-CONTEXT allValuesFrom(PROBLEM-AREA)) restriction(OLD-CONTEXT allValuesFrom(PROBLEM-AREA)) restriction(IDEA-USED allValuesFrom(THEORY)))