Property: DEFINED-BY-ARGUMENT
Types
owl:ObjectProperty
Domain
PROBLEM-INTERPRETATION
Abstract Syntax
ObjectProperty(DEFINED-BY-ARGUMENT domain(PROBLEM-INTERPRETATION))
Generated with
OWLDoc