Previous topic  Top  Next topic  Print this Topic

Unsupported RIF Features


The following RIF constructs are not supported.

Imports with a profile.
DTB built-ins and aggregations, only ObjectLogic ones are supported.
RIF lists terms.
RIF remote term references and formulas.
Terms with named arguments.
Annotations on non top level formulas.
An exception is the special annotation for ObjectLogic modules.
Annotations which are not a frame or a group or conjunction of frames.
Non constant terms as a leading term within a positional term.
Equality as a fact or within the conclusion of a top level implication.


These RIF terms must be used in formula positions only.



These RIF terms must not be used backwards in formula positions: