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