ATermAppl p = ATermUtils.makeTermAppl( "p" );
ATermAppl o1 = ATermUtils.makePlainLiteral( "o1" );
ATermAppl o2 = ATermUtils.makePlainLiteral( "o2" );
kb.addIndividual( s );
kb.addAnnotationProperty( p );
assertTrue( kb.addAnnotation( s, p, o1 ) );
assertTrue( kb.addAnnotation( s, p, o2 ) );
assertTrue( kb.isIndividual( s ) );
assertTrue( kb.isAnnotationProperty( p ) );