Class: THEORY-REFINEMENT

++Philosurfical:

•owl:Thing

•PHILOSURFICAL-ENTITY

•CRM-ENTITY

•TEMPORAL-ENTITY

•PERIOD

•EVENT

•ACTIVITY

•INTELLECTUAL-ACTIVITY

•IDEA-MODIFICATION

•THEORY-REFINEMENT

Super Classes

IDEA-MODIFICATION

HAS-REMOVED-ELEMENT ONLY PHILOSOPHICAL-IDEA

HAS-ADDED-ELEMENT ONLY PHILOSOPHICAL-IDEA

HAS-NEW-IDEA ONLY THEORY

HAS-OLD-IDEA ONLY THEORY

Abstract Syntax

Class(THEORY-REFINEMENT partial IDEA-MODIFICATION
                               restriction(HAS-REMOVED-ELEMENT allValuesFrom(PHILOSOPHICAL-IDEA))
                               restriction(HAS-ADDED-ELEMENT allValuesFrom(PHILOSOPHICAL-IDEA))
                               restriction(HAS-NEW-IDEA allValuesFrom(THEORY))
                               restriction(HAS-OLD-IDEA allValuesFrom(THEORY)))

Usage

Domain of

HAS-ADDED-ELEMENT, HAS-REMOVED-ELEMENT

Generated with OWLDoc