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