Slot: hasImplementation
has implementation is a relation between a specification and an implementation that conforms to it.
Domain and Range
Parents
- is_a: hasAttribute
has implementation is a relation between a specification and an implementation that conforms to it.