/users/cjm/cvs/blipkit/packages/blip/ontol/ontol_db.pro
All
Application
Manual
Name
Summary
Help
class_pair_subclass_lca
(+X, +Y, ?LCA)
true if
LCA
is a common ancestor of
X
and
Y
by
subclassRT/2
, and if there exists no other more recent CA