Function CARDINALITY

Arity: 2

Range: Integer

Axioms:

(=> (Cardinality ?A ?B) (Or (Collection ?A) (Role ?A)))

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp
• Also defined in: Kif-extensions