Property: HAS-REMOVED-ELEMENT
Types
owl:ObjectProperty
Domain
THEORY-REFINEMENT
Abstract Syntax
ObjectProperty(HAS-REMOVED-ELEMENT domain(THEORY-REFINEMENT))
Generated with
OWLDoc