Warning:
This wiki has been archived and is now read-only.
Local Predicate
From RIF
| Test Type | NegativeEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||
| Status | Approved | ||||
| Record | F2F13 | ||||
| Dialect | Core | ||||
| Purpose | Test that the entailment relation does not preserve names of local predicates | ||||
| Description | The entailment relation does not preserve labels of local constants, neither when they are used as individuals, nor when they are used as predicates (as in this case). | ||||
| SeeAlso | Local_Constant | ||||
| SpecRef | http://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment | ||||
| Premises |
|
||||
| Non-conclusion |
|