- Defined in ontology: Kif-lists
- Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-lists.lisp
- Instance-Of@Frame-Ontology: Function@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Set@Ol-User%Kif-Sets
- Arity@Frame-Ontology: 4
- Documentation@Ol%Frame-Ontology:
The value of {tt subst} is the object or list obtained by
substituting the object supplied as first argument for all occurrences
of the object supplied as second argument in the object or list
supplied as third argument.