Relation _INTEGRAL

Something is integral when no essential part is absent.

Arity: 2

Subrelation-Of: Typicality-property

Axioms:

(=> (_Integral ?A ?B)
    (Forall (?P) (=> (Part-Of ?P ?A) (Has-Existence ?P True))))

• Defined in theory: Assessment
• Source code: Assessment.lisp