Adding Metalogic Features to Knowledge Representation Languages