++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. |
Class(FORMULA partial SYMBOLIC-EXPRESSION restriction(HAS-FORM allValuesFrom(ARTIFICIAL-LANGUAGE)))