Property: OLD-CONTEXT
Types
owl:ObjectProperty
Domain
THEORY-TRANSPOSITION
Abstract Syntax
ObjectProperty(OLD-CONTEXT domain(THEORY-TRANSPOSITION))
Generated with
OWLDoc