superclass/subclass

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

Example:
Mammals are animals.
(assert superclass (build lex "animal") subclass (build lex "mammal"))