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