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