member/class

Semantics:
[[m]] is the proposition that [[i]] is a member of the class [[j]].

Example:
Tweety is a bird
(build member #Tweety class (build lex "bird"))