|
members/class
|
| Syntax: |
|
(assert members i class j) |
| Semantics: |
|
[[m]] is the proposition that [[i]] are (members of
class) [[j]].
|
| Sample Context: |
| Knights are people. |
|
(describe (assert members (build lex "Knights") class (build lex "people"))) |
| Required Usage: |
|
If the class in question is basic-level (e.g., tables, people) then you *must* use the members/class case frame, and *not* the objects1/rel/object2 case frame. |