6667686970717273747576
ATermAppl p = term( "p" ); ATermAppl l = ATermUtils.makeTermAppl( "l" ); ATermAppl v = ATermUtils.makeValue( ATermUtils.makeLiteral( l ) ); ATermAppl c = ATermUtils.makeSomeValues( p, v ); kb.addProperty( p ); assertTrue( kb.isClass( c ) ); } @Test