Class: DEMONSTRATION

++PhiloSURFical : The propositions describing the middle steps in the argumentation

•owl:Thing

•PHILOSURFICAL-ENTITY

•CRM-ENTITY

•PERSISTENT-ITEM

•THING

•MAN-MADE-THING

•CONCEPTUAL-OBJECT

•PROPOSITIONAL-CONTENT

•PRODUCT-PROPOSITION

•PHILOSOPHICAL-IDEA

•ARGUMENT-STRUCTURE

•ARGUMENT-PART

•DEMONSTRATION

Super Classes

ARGUMENT-PART

PRODUCES-CONCLUSION ONLY THESIS

DEVELOPS-PREMISE ONLY HYPOTHESIS

Abstract Syntax

Class(DEMONSTRATION partial ARGUMENT-PART
                           restriction(PRODUCES-CONCLUSION allValuesFrom(THESIS))
                           restriction(DEVELOPS-PREMISE allValuesFrom(HYPOTHESIS)))

Usage

Class Description/Definition (Necessary Conditions)

ASSUMPTION, CONCLUSION

Domain of

DEVELOPS-PREMISE, PRODUCES-CONCLUSION

Generated with OWLDoc