Relation Restricted-Relsent

• Defined in ontology: Enterprise-v0.1

Slots on relation Restricted-Relsent:

Arity: 2

Documentation:

A Relationship between a Relational Sentence ?Relsent and a list ?Rs whereby
1. - ?Rs is a list of relation or function constants.
--and--
2. the R in ?Relsent is an item in the list ?Rs

Domain: Relsent

Instance-Of: Binary-Relation, Relation, Set

Equivalence Axioms for Restricted-Relsent:

(<=> (Restricted-Relsent ?Relsent ?Rs)
     (And (Relsent ?Relsent)
          (Forall (?R)
                  (=> (Item ?R ?Rs) (Or (Relconst ?R) (Funconst ?R))))
          (Exists (?R ?Args)
                  (And (Item ?R ?Rs) (= ?Relsent (Cons ?R ?Args))))))

Other Related Equivalence Axioms for Restricted-Relsent:

(<=> (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)))))