Class: DISTINCTION

Class(DISTINCTION partial PHILOSOPHICAL-IDEA
                         restriction(CONTAINS-CONCEPT allValuesFrom(CONCEPT))
                         restriction(DEFINED-BY-VIEW allValuesFrom(VIEW))
                         restriction(RELATED-TO-PROBLEM allValuesFrom(PROBLEM))
                         restriction(EXISTS-IN-AREA allValuesFrom(PROBLEM-AREA)))