Open ccrock4t opened 1 year ago
Variable terms, or certain compound terms containing variables, do not correspond to concepts.
It is not creating atomic variable terms, which is correct, but it is incorrectly creating first-order statements with variables.
e.g., For inputting a statement <<#x-->A>==><#x-->B>>, the concepts <#x-->A> and <#x-->B> appear in the Memory
Note that the higher-order statement (<<#x-->A>==><#x-->B>>) should remain the memory, despite that it contains variables.
Technical Report
More Info
It is not creating atomic variable terms, which is correct, but it is incorrectly creating first-order statements with variables.
e.g., For inputting a statement <<#x-->A>==><#x-->B>>, the concepts <#x-->A> and <#x-->B> appear in the Memory
Note that the higher-order statement (<<#x-->A>==><#x-->B>>) should remain the memory, despite that it contains variables.