++Philosurfical: the has-string-content property is not ontologically sound... but quite a useful shortcut when instantiating hundreds of sentences of a text! |
++Philosurfical: the has-string-content property is not ontologically sound... but quite a useful shortcut when instantiating hundreds of sentences of a text! |
EXPRESSION-FRAGMENT |
HAS-STRING-CONTENT ONLY STRING |
HAS-NUMBER-REFERENCE ONLY NUMBER |
HAS-FORM ONLY SYMBOLIC-FORM |
Class(SYMBOLIC-EXPRESSION-FRAGMENT partial EXPRESSION-FRAGMENT restriction(HAS-STRING-CONTENT allValuesFrom(STRING)) restriction(HAS-NUMBER-REFERENCE allValuesFrom(NUMBER)) restriction(HAS-FORM allValuesFrom(SYMBOLIC-FORM)))