Relation Restricted-List-Of-Relsents

• Defined in ontology: Enterprise-v0.1

Notes for Restricted-List-Of-Relsents:

• This Relation is defined for the purpose of defining the class: State-Of-Affairs in a general way. Also, and IMPORTANTLY, it enables convenient definition of sub-classes of State-Of-Affairs that are restricted to only certain Relatoins.
• See-Also: Notes under the definition of State-Of-Affairs

• The type checking for ?Rs is done in the Relation Restricted-Relsent

Slots on relation Restricted-List-Of-Relsents:

Arity: 2

Documentation:

A Relationship between two lists ?List and ?Rs whereby:
1 - the List ?List is either
a. a Relational Sentence [Relsent@KIf-Meta] or
b. a List of Relational Sentences
--and--
2 - in either case, for every Relsent comprising ?List, the corresponding R is an item in ?Rs, a List of Relation and/or Function constants,

Domain: List

Instance-Of: Binary-Relation, Relation, Set

Equivalence Axioms for Restricted-List-Of-Relsents:

(<=> (Restricted-List-Of-Relsents ?List ?Rs)
     (And (List ?List)
          (Or (And (Relsent ?List) (Restricted-Relsent ?List ?Rs))
              (And (Forall (?Relsent)
                           (=> (Item ?Relsent ?List)
                               (Restricted-Relsent ?Relsent ?Rs)))
                   (>= (Length ?List) 1)))))

Other Related Equivalence Axioms for Restricted-List-Of-Relsents:

(<=> (State-Of-Affairs ?Soa)
     (Restricted-List-Of-Relsents ?Soa (Setofall ?R (Relation ?R))))

Other Related Axioms for Restricted-List-Of-Relsents:

(Restricted-List-Of-Relsents ?Soa (Setofall ?R (Relation ?R)))