Property: NEW-CONTEXT

Types

owl:ObjectProperty

Domain

Abstract Syntax

ObjectProperty(NEW-CONTEXT domain(THEORY-TRANSPOSITION))

Generated with OWLDoc