Property: ASSUMED-IN-THEORY
Types
owl:ObjectProperty
Domain
ASSUMPTION
Abstract Syntax
ObjectProperty(ASSUMED-IN-THEORY domain(ASSUMPTION))
Generated with
OWLDoc