Relation
LIST-MEMBERS
Arity
:
2
Domain
:
List
Subrelation-Of
:
Item
Axioms:
(<=> (
List-Members
?A ?B) (And (
Item
?A ?B) (
List
?A)))
Defined in theory:
Built-in-theory
Source code:
Built-In-Theory.lisp