Warning:
This wiki has been archived and is now read-only.
Classification-inheritance 2
From RIF
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Christian de Sainte Marie | ||||
| Status | InDevelopment | ||||
| Record | |||||
| Dialect | PRD | ||||
| Purpose | Demonstrate and test behavior of frames and membership | ||||
| Description | |||||
| SeeAlso | Classification-inheritance | ||||
| SpecRef | |||||
| Premises |
|
||||
| Conclusion |
|