**Defined in ontology: Enterprise-v1.0****Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp**

**Instance-Of: **Binary-Relation, Relation, *Set*
**Domain: **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

## Implication Axioms for Restricted-Relsent:

(=> (Restricted-Relsent ?Relsent ?Rs)
(Exists (?R ?Args)
(And (Item ?R ?Rs) (= ?Relsent (Cons ?R ?Args)))))

## 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))))))

## Axioms for Restricted-Relsent:

(Forall (?R) (=> (Item ?R ?Rs) (Or (Relconst ?R) (Funconst ?R))))
(Relsent ?Relsent)

## Implication Axioms mentioning Restricted-Relsent:

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

## Equivalence Axioms mentioning 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)))))