You can browse all the published concept maps without signing in. If you'd like to create your own concept maps, all you have to do is
sign in with Twitter.
The predicate "is a" is used to describe sub-types. For example:
Capstone provides special features if you use certain "well known" predicates. All of these well known predicates are documented separately.