Class: FORMULA

++Philosurfical: A syntactically well-formed formula, e.g. in any knowledge representation language.
++Philosurfical: A syntactically well-formed formula, e.g. in any knowledge representation language.

•owl:Thing
        •PHILOSURFICAL-ENTITY
                •CRM-ENTITY
                        •PERSISTENT-ITEM
                                •THING
                                        •LEGAL-OBJECT
                                                •INFORMATION-OBJECT
                                                        •EXPRESSION
                                                                •SELF-CONTAINED-EXPRESSION
                                                                        •SYMBOLIC-EXPRESSION
                                                                                •FORMULA
                                        •MAN-MADE-THING
                                                •CONCEPTUAL-OBJECT
                                                        •INFORMATION-OBJECT
                                                                •EXPRESSION
                                                                        •SELF-CONTAINED-EXPRESSION
                                                                                •SYMBOLIC-EXPRESSION
                                                                                        •FORMULA

Super Classes

SYMBOLIC-EXPRESSION
HAS-FORM ONLY ARTIFICIAL-LANGUAGE

Abstract Syntax

Class(FORMULA partial SYMBOLIC-EXPRESSION
                     restriction(HAS-FORM allValuesFrom(ARTIFICIAL-LANGUAGE)))
Generated with OWLDoc