is_type_of.
definition
Belongs to eg. House [ is_type_of ] Building
is_type_of.
Type_relation.
Vr.155, Dec 2010
Readme
..