Relation SUBLIST

• Defined in theory: Kif-lists
• Source code: kif-lists.lisp

Slots on this relation:

Documentation:

The sentence {tt (sublist $tau_1$ $tau_2$)} is true if and only if the object denoted by $tau_1$ is a final segment of the list denoted by $tau_2$.

Instance-Of: Relation

Arity: 2

Domain: List

Range: List

Other Related Axioms:

(=> (Sublist $X $Y) (List $Y))

(=> (Sublist $X $Y) (List $X))

(=> (Sublist ?L1 ?L2) (Or (= ?L1 ?L2) (Sublist ?L1 (Rest ?L2))))