part/whole

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

Example:
John's nose is a part of John.
(assert part #johnNose whole #john)
(assert member *johnNose class (build lex "nose"))
(assert object *john proper-name (build lex "John"))