Function OTHER-AXIOMS


Slots on this function:

Documentation:
Takes one argument, model-class.

The value is the quoted set of other-axioms for the model class

Instance-Of: Function
Arity: 2