Property: PART-OF-THEORY

Types

owl:ObjectProperty

Domain

THEORY-INTERPRETATION

Abstract Syntax

ObjectProperty(PART-OF-THEORY domain(THEORY-INTERPRETATION))

Generated with OWLDoc