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 ) );
assertFalse( kb.isIndividual( o1 ) );
assertFalse( kb.isIndividual( o2 ) );