Class TRIPLE

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

Slots on this class:

Documentation:

A list of length 3.

Subclass-Of: List

Axioms:

(<=> (Triple ?List) (And (List ?List) (= (Length ?List) 3)))