The KIF vocabulary concerning relations and functions.
Relation Function One-One Many-One Unary-Function Binary-Function Unary-Relation Binary-Relation One-One Many-One One-Many Many-Many Unary-Function
Apply Composition Inverse Map Universe Value
The following constants were used from included theories:
The following constants were used from theories not included:
All constants that were mentioned were defined.