kb.addClass( term( "D" ) );
kb.addDatatypeProperty( term( "p" ) );
kb.addFunctionalProperty( term( "p" ) );
kb.addSubClass( term( "C" ), ATermUtils.makeSomeValues( term( "p" ), ATermUtils
.makeValue( ATermUtils.makePlainLiteral( "0" ) ) ) );
kb.addSubClass( term( "D" ), ATermUtils.makeSomeValues( term( "p" ), ATermUtils
.makeValue( ATermUtils.makePlainLiteral( "1" ) ) ) );
kb.addType( term( "x" ), ATermUtils.makeOr( ATermUtils.makeList( new ATerm[] {