<< Previous

member/class

@@alt@@

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

Next >>