Relation _DISORDERED

Arity: 2

Domain: Biologic-function

Subrelation-Of: Typicality-property

Axioms:

(=> (_Disordered ?A ?B)
    (Or (Exists (?S1 ?S2)
                (And (Situation ?S1)
                     (Situation ?S2)
                     (Different ?S1 ?S2)
                     (Exists (?C ?D)
                             (And (The-Result ?A ?D)
                                  (The-Expected ?D ?C)
                                  (Context-Of ?S1 ?C)))
                     (Exists (?E)
                             (And (The-Result ?A ?E)
                                  (Context-Of ?S2 ?E)))
                     (Has-Existence ?S2 True)))
        (Exists (?Y) (Alters ?Y ?A))
        (_Aborted ?A ?B)
        (Not (_Integral ?A ?B))))

• Defined in theory: Biologic-functions
• Source code: Biologic-Functions.lisp