adding equative type sentences 

@ruiting @AmeBel @linas  please have a look on binary relationships.