Property: PRODUCES-CONCLUSION
Types
owl:ObjectProperty
Domain
DEMONSTRATION
Abstract Syntax
ObjectProperty(PRODUCES-CONCLUSION domain(DEMONSTRATION))
Generated with
OWLDoc