The following RIF constructs are not supported.
|•||DTB built-ins and aggregations, only ObjectLogic ones are supported.|
|•||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: