Relation TARGET-POPULATION

Arity: 2

Domain: Generic-plan

Range: Entity

Subrelation-Of: Inverse-of-planning-relation

Axioms:

(<=> (Target-Population ?A ?B)
     (And (Exists (?C)
                  (And (Exists (?D)
                               (And (Method-Of ?A ?D) (Target ?D ?C)))
                       (Abstraction ?A)
                       (Entity ?C)
                       (Inverse-Of-Planning-Relation ?A ?C)
                       (Generic-Plan ?A)
                       (Health-Condition ?C)
                       (Scattered-Location ?C ?B)))
          (Inverse-Of-Planning-Relation ?A ?B)
          (Generic-Plan ?A)
          (Entity ?B)))

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