Property: PART-OF-THEORY
Types
owl:ObjectProperty
Domain
THEORY-INTERPRETATION
Abstract Syntax
ObjectProperty(PART-OF-THEORY domain(THEORY-INTERPRETATION))
Generated with
OWLDoc